Scholarly Index
Cesare Tinelli
University of Iowa; 3,023 total citations; 91 total publications; best world rank #304
University of Iowa
3,023Total citations
91Total publications
26H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 304 | US 114 | 96.19 |
| Formal Methods in Verification | Lifetime | 452 | US 178 | 95.80 |
| Constraint Satisfaction and Optimization | Lifetime | 425 | US 116 | 89.15 |
| Formal Methods in Verification | 2021-2025 | 682 | US 143 | 61.18 |
| Logic, programming, and type systems | 2021-2025 | 671 | US 127 | 46.10 |