Scholarly Index
Matthew Might
University of Alabama at Birmingham; 3,820 total citations; 143 total publications; best world rank #259
University of Alabama at Birmingham
3,820Total citations
143Total publications
36H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 323 | US 134 | 96.73 |
| Logic, programming, and type systems | Lifetime | 259 | US 98 | 96.49 |
| Security and Verification in Computing | Lifetime | 781 | US 376 | 90.24 |
| Genomics and Rare Diseases | 2021-2025 | 503 | US 201 | 89.86 |