Scholarly Index
Philipp G. Haselwarter
Aarhus University; 83 total citations; 12 total publications; best world rank #506
Aarhus University
83Total citations
12Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | 2021-2025 | 616 | DK 12 | 63.43 |
| Logic, programming, and type systems | 2021-2025 | 506 | DK 23 | 55.20 |