Scholarly Index
Travis Hance
Carnegie Mellon University; 143 total citations; 8 total publications; best world rank #578
Carnegie Mellon University
143Total citations
8Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 843 | US 171 | 56.49 |
| Logic, programming, and type systems | 2021-2025 | 578 | US 111 | 51.81 |