Scholarly Index

Davide Sangiorgi

University of Bologna; 3,816 total citations; 119 total publications; best world rank #53

University of Bologna

3,816Total citations
119Total publications
32H-index

Published ranking records

FieldWindowWorld rankNational rankImpact score
Logic, programming, and type systemsLifetime53IT 298.91
Formal Methods in VerificationLifetime114IT 698.58
Logic, Reasoning, and KnowledgeLifetime96IT 898.32
Distributed systems and fault toleranceLifetime609IT 1796.08
semigroups and automata theoryLifetime574IT 1991.00
Logic, programming, and type systems2021-2025841IT 6236.82