Scholarly Index
Harald Ganzinger
TU Dortmund University; 2,215 total citations; 89 total publications; best world rank #182
TU Dortmund University
2,215Total citations
89Total publications
25H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 182 | DE 17 | 97.32 |
| Formal Methods in Verification | Lifetime | 777 | DE 75 | 93.78 |
| Logic, Reasoning, and Knowledge | Lifetime | 652 | DE 40 | 92.71 |