Scholarly Index
Zachary Kincaid
Princeton University; 997 total citations; 65 total publications; best world rank #152
Princeton University
997Total citations
65Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 676 | US 244 | 94.46 |
| Logic, programming, and type systems | Lifetime | 822 | US 278 | 91.77 |
| Formal Methods in Verification | 2021-2025 | 154 | US 33 | 86.11 |
| Logic, programming, and type systems | 2021-2025 | 152 | US 30 | 78.53 |