Scholarly Index
Michael Hanus
Christian-Albrechts-Universität zu Kiel; 3,970 total citations; 130 total publications; best world rank #212
Christian-Albrechts-Universität zu Kiel
3,970Total citations
130Total publications
22H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 242 | DE 24 | 96.69 |
| Formal Methods in Verification | Lifetime | 344 | DE 30 | 96.56 |
| Logic, Reasoning, and Knowledge | Lifetime | 328 | DE 21 | 95.76 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 249 | DE 28 | 74.11 |
| Logic, programming, and type systems | 2021-2025 | 212 | DE 19 | 73.36 |
| Formal Methods in Verification | 2021-2025 | 476 | DE 45 | 68.69 |