Scholarly Index
Richard Mayr
University of Edinburgh; 1,329 total citations; 64 total publications; best world rank #449
University of Edinburgh
1,329Total citations
64Total publications
18H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 513 | GB 45 | 95.46 |
| Petri Nets in System Modeling | Lifetime | 449 | GB 17 | 92.21 |
| Logic, programming, and type systems | Lifetime | 950 | GB 116 | 90.73 |
| semigroups and automata theory | Lifetime | 839 | GB 58 | 87.70 |