Scholarly Index
Petar Vukmirović
Vrije Universiteit Amsterdam; 145 total citations; 15 total publications; best world rank #66
Vrije Universiteit Amsterdam
145Total citations
15Total publications
7H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 66 | NL 4 | 87.37 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 87 | NL 9 | 86.77 |
| Formal Methods in Verification | 2021-2025 | 356 | NL 14 | 74.55 |