Scholarly Index
René Thiemann
Universität Innsbruck; 812 total citations; 73 total publications; best world rank #350
Universität Innsbruck
812Total citations
73Total publications
12H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 923 | AT 14 | 91.01 |
| Logic, programming, and type systems | 2021-2025 | 350 | AT 14 | 64.02 |
| Formal Methods in Verification | 2021-2025 | 753 | AT 20 | 58.99 |