Scholarly Index
Cristiano Calcagno
Meta (United States); 2,161 total citations; 45 total publications; best world rank #233
Meta (United States)
2,161Total citations
45Total publications
21H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 233 | US 92 | 96.77 |
| Formal Methods in Verification | Lifetime | 588 | US 217 | 95.03 |
| Logic, Reasoning, and Knowledge | Lifetime | 830 | US 225 | 91.25 |