Scholarly Index
Matt Kaufmann
The University of Texas at Austin; 1,322 total citations; 108 total publications; best world rank #515
The University of Texas at Austin
1,322Total citations
108Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 886 | US 306 | 93.07 |
| Logic, programming, and type systems | Lifetime | 785 | US 269 | 92.00 |
| Advanced Topology and Set Theory | Lifetime | 958 | US 320 | 84.47 |
| Mathematical and Theoretical Analysis | Lifetime | 515 | US 182 | 78.41 |
| Digital Rights Management and Security | Lifetime | 635 | US 197 | 70.70 |