Scholarly Index
Aart Middeldorp
Universität Innsbruck; 1,656 total citations; 109 total publications; best world rank #227
Universität Innsbruck
1,656Total citations
109Total publications
24H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 227 | AT 4 | 96.89 |
| semigroups and automata theory | Lifetime | 367 | AT 6 | 93.53 |
| Formal Methods in Verification | Lifetime | 833 | AT 11 | 93.39 |
| Logic, Reasoning, and Knowledge | Lifetime | 886 | AT 21 | 90.76 |
| Logic, programming, and type systems | 2021-2025 | 419 | AT 16 | 60.58 |