Scholarly Index
J.J.M.M. Rutten
Centrum Wiskunde & Informatica; 2,797 total citations; 81 total publications; best world rank #171
Centrum Wiskunde & Informatica
2,797Total citations
81Total publications
23H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 171 | NL 8 | 97.38 |
| Formal Methods in Verification | Lifetime | 377 | NL 16 | 96.34 |
| semigroups and automata theory | Lifetime | 324 | NL 4 | 94.03 |
| Logic, Reasoning, and Knowledge | Lifetime | 547 | NL 34 | 93.77 |