Scholarly Index
Tom Smeding
Utrecht University; 28 total citations; 3 total publications; best world rank #177
Utrecht University
28Total citations
3Total publications
3H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | 2021-2025 | 177 | NL 10 | 76.91 |
| Formal Methods in Verification | 2021-2025 | 371 | NL 16 | 73.86 |