Scholarly Index
Nevin Heintze
Carnegie Mellon University; 2,492 total citations; 42 total publications; best world rank #375
Carnegie Mellon University
2,492Total citations
42Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 474 | US 182 | 95.67 |
| Logic, programming, and type systems | Lifetime | 375 | US 143 | 95.64 |
| Security and Verification in Computing | Lifetime | 766 | US 366 | 90.39 |