Scholarly Index
Mario Bravetti
University of Bologna; 955 total citations; 81 total publications; best world rank #525
University of Bologna
955Total citations
81Total publications
16H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 954 | IT 67 | 92.60 |
| Petri Nets in System Modeling | Lifetime | 525 | IT 50 | 91.21 |
| Logic, programming, and type systems | 2021-2025 | 588 | IT 39 | 51.26 |