Scholarly Index
Nils Klarlund
Google (United States); 4,624 total citations; 60 total publications; best world rank #610
Google (United States)
4,624Total citations
60Total publications
17H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 610 | US 222 | 94.89 |
| Logic, programming, and type systems | Lifetime | 721 | US 248 | 92.56 |
| semigroups and automata theory | Lifetime | 614 | US 191 | 90.46 |