Scholarly Index
Kevin Batz
RWTH Aachen University; 136 total citations; 9 total publications; best world rank #106
RWTH Aachen University
136Total citations
9Total publications
6H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 106 | DE 9 | 82.79 |
| Formal Methods in Verification | 2021-2025 | 216 | DE 18 | 82.91 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 533 | DE 55 | 57.70 |