Scholarly Index
Luca Padovani
University of Bologna; 1,251 total citations; 66 total publications; best world rank #205
University of Bologna
1,251Total citations
66Total publications
16H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 555 | IT 23 | 93.90 |
| Security and Verification in Computing | Lifetime | 904 | IT 34 | 88.91 |
| Logic, programming, and type systems | 2021-2025 | 205 | IT 13 | 74.49 |
| Formal Methods in Verification | 2021-2025 | 441 | IT 31 | 70.33 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 654 | IT 94 | 51.89 |