Scholarly Index
Benjamin Aminof
Sapienza University of Rome; 415 total citations; 40 total publications; best world rank #404
Sapienza University of Rome
415Total citations
40Total publications
12H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 585 | IT 40 | 64.45 |
| Logic, programming, and type systems | 2021-2025 | 404 | IT 28 | 61.04 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 730 | IT 44 | 26.82 |