Scholarly Index
Francesco Logozzo
Meta (United States); 1,362 total citations; 63 total publications; best world rank #526
Meta (United States)
1,362Total citations
63Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 711 | US 256 | 94.21 |
| Logic, programming, and type systems | Lifetime | 526 | US 200 | 94.14 |
| Security and Verification in Computing | Lifetime | 963 | US 449 | 88.31 |