Scholarly Index
J. C. M. Baeten
Centrum Wiskunde & Informatica; 2,473 total citations; 130 total publications; best world rank #227
Centrum Wiskunde & Informatica
2,473Total citations
130Total publications
24H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 251 | NL 10 | 97.29 |
| Logic, programming, and type systems | Lifetime | 345 | NL 18 | 95.85 |
| Petri Nets in System Modeling | Lifetime | 227 | NL 12 | 95.37 |
| Computability, Logic, AI Algorithms | Lifetime | 611 | NL 17 | 88.63 |
| Cognitive Computing and Networks | Lifetime | 304 | NL 6 | 74.41 |
| semigroups and automata theory | 2021-2025 | 753 | NL 9 | 25.79 |