Scholarly Index
Matthijs Vákár
Utrecht University; 117 total citations; 10 total publications; best world rank #59
Utrecht University
117Total citations
10Total publications
5H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 59 | NL 3 | 88.23 |
| Formal Methods in Verification | 2021-2025 | 170 | NL 8 | 85.40 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 325 | NL 18 | 69.29 |