Scholarly Index
André Platzer
Karlsruhe Institute of Technology; 2,653 total citations; 99 total publications; best world rank #149
Karlsruhe Institute of Technology
2,653Total citations
99Total publications
27H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 228 | DE 18 | 97.59 |
| Logic, programming, and type systems | Lifetime | 600 | DE 67 | 93.54 |
| Safety Systems Engineering in Autonomy | Lifetime | 290 | DE 45 | 85.86 |
| Formal Methods in Verification | 2021-2025 | 149 | DE 11 | 86.40 |