Scholarly Index
Wan Fokkink
Vrije Universiteit Amsterdam; 2,563 total citations; 245 total publications; best world rank #75
Vrije Universiteit Amsterdam
2,563Total citations
245Total publications
26H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 289 | NL 14 | 96.98 |
| Logic, programming, and type systems | Lifetime | 225 | NL 13 | 96.91 |
| Logic, Reasoning, and Knowledge | Lifetime | 467 | NL 29 | 94.40 |
| Petri Nets in System Modeling | Lifetime | 536 | NL 27 | 90.99 |
| Formal Methods in Verification | 2021-2025 | 185 | NL 9 | 84.91 |
| Petri Nets in System Modeling | 2021-2025 | 75 | NL 4 | 81.96 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 521 | NL 18 | 41.28 |
| Real-Time Systems Scheduling | 2021-2025 | 781 | NL 18 | 39.15 |