Scholarly Index
Kenneth L. McMillan
The University of Texas at Austin; 10,100 total citations; 82 total publications; best world rank #55
The University of Texas at Austin
10,100Total citations
82Total publications
38H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 55 | US 32 | 99.16 |
| Software Testing and Debugging Techniques | Lifetime | 281 | US 132 | 97.37 |
| Logic, programming, and type systems | Lifetime | 245 | US 96 | 96.65 |
| Embedded Systems Design Techniques | Lifetime | 602 | US 273 | 96.44 |
| VLSI and Analog Circuit Testing | Lifetime | 665 | US 283 | 94.54 |
| Petri Nets in System Modeling | Lifetime | 603 | US 135 | 89.97 |
| Logic, programming, and type systems | 2021-2025 | 975 | US 166 | 30.13 |