Scholarly Index
Tarmo Uustalu
Tallinn University of Technology; 1,340 total citations; 108 total publications; best world rank #107
Tallinn University of Technology
1,340Total citations
108Total publications
20H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 246 | EE 1 | 96.62 |
| Logic, Reasoning, and Knowledge | Lifetime | 382 | EE 1 | 95.20 |
| Formal Methods in Verification | Lifetime | 941 | EE 1 | 92.69 |
| semigroups and automata theory | Lifetime | 906 | EE 2 | 86.95 |
| Logic, programming, and type systems | 2021-2025 | 107 | EE 3 | 82.48 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 286 | EE 1 | 71.61 |