Scholarly Index
Martin Lange
University of Kassel; 765 total citations; 104 total publications; best world rank #534
University of Kassel
765Total citations
104Total publications
15H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 664 | DE 62 | 94.52 |
| Logic, programming, and type systems | Lifetime | 534 | DE 52 | 94.08 |
| Logic, Reasoning, and Knowledge | Lifetime | 865 | DE 53 | 90.94 |
| semigroups and automata theory | Lifetime | 798 | DE 72 | 88.08 |
| Logic, programming, and type systems | 2021-2025 | 621 | DE 62 | 49.37 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 825 | DE 175 | 18.95 |