Scholarly Index
Ezio Bartocci
TU Wien; 2,054 total citations; 106 total publications; best world rank #50
TU Wien
2,054Total citations
106Total publications
24H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 700 | AT 8 | 94.31 |
| Formal Methods in Verification | 2021-2025 | 50 | AT 1 | 94.84 |
| Software Reliability and Analysis Research | 2021-2025 | 233 | AT 2 | 88.01 |
| Software Testing and Debugging Techniques | 2021-2025 | 288 | AT 4 | 87.01 |
| Logic, programming, and type systems | 2021-2025 | 231 | AT 6 | 71.81 |
| Advanced Database Systems and Queries | 2021-2025 | 428 | AT 3 | 58.48 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 391 | AT 19 | 50.11 |