Scholarly Index
Martin Hofmann
Ludwig-Maximilians-Universität München; 2,192 total citations; 95 total publications; best world rank #132
Ludwig-Maximilians-Universität München
2,192Total citations
95Total publications
25H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 132 | DE 10 | 98.02 |
| Formal Methods in Verification | Lifetime | 329 | DE 28 | 96.70 |
| Logic, Reasoning, and Knowledge | Lifetime | 273 | DE 18 | 96.35 |
| Computability, Logic, AI Algorithms | Lifetime | 839 | DE 59 | 85.71 |