Scholarly Index
E. Allen Emerson
The University of Texas at Austin; 12,825 total citations; 92 total publications; best world rank #40
The University of Texas at Austin
12,825Total citations
92Total publications
39H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 48 | US 30 | 99.26 |
| Logic, programming, and type systems | Lifetime | 40 | US 23 | 99.14 |
| Model-Driven Software Engineering Techniques | Lifetime | 60 | US 16 | 98.29 |
| semigroups and automata theory | Lifetime | 101 | US 45 | 97.20 |
| Petri Nets in System Modeling | Lifetime | 441 | US 104 | 92.36 |