Scholarly Index
Martin Leucker
University of Lübeck; 2,857 total citations; 138 total publications; best world rank #446
University of Lübeck
2,857Total citations
138Total publications
21H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 446 | DE 40 | 95.82 |
| Logic, programming, and type systems | Lifetime | 876 | DE 83 | 91.34 |
| semigroups and automata theory | Lifetime | 760 | DE 65 | 88.47 |