Scholarly Index
Gopalan Nadathur
University of Minnesota System; 1,502 total citations; 64 total publications; best world rank #382
University of Minnesota System
1,502Total citations
64Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 382 | US 147 | 95.57 |
| Logic, Reasoning, and Knowledge | Lifetime | 397 | US 118 | 94.99 |
| Formal Methods in Verification | Lifetime | 946 | US 318 | 92.66 |