Scholarly Index
Mariangiola Dezani-Ciancaglini
Istituto Nazionale di Fisica Nucleare, Sezione di Torino; 3,228 total citations; 160 total publications; best world rank #181
Istituto Nazionale di Fisica Nucleare, Sezione di Torino
3,228Total citations
160Total publications
24H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 181 | IT 5 | 97.32 |
| Logic, Reasoning, and Knowledge | Lifetime | 312 | IT 24 | 95.88 |
| Formal Methods in Verification | Lifetime | 526 | IT 25 | 95.36 |
| Advanced Algebra and Logic | Lifetime | 576 | IT 20 | 92.65 |
| Security and Verification in Computing | Lifetime | 961 | IT 37 | 88.31 |
| Formal Methods in Verification | 2021-2025 | 279 | IT 22 | 78.24 |
| Logic, programming, and type systems | 2021-2025 | 199 | IT 12 | 74.97 |
| Business Process Modeling and Analysis | 2021-2025 | 974 | IT 92 | 38.36 |