Scholarly Index
Yde Venema
University of Amsterdam; 2,414 total citations; 131 total publications; best world rank #93
University of Amsterdam
2,414Total citations
131Total publications
23H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Advanced Algebra and Logic | Lifetime | 93 | NL 2 | 97.80 |
| Logic, Reasoning, and Knowledge | Lifetime | 221 | NL 12 | 96.88 |
| Logic, programming, and type systems | Lifetime | 220 | NL 12 | 96.97 |
| Formal Methods in Verification | Lifetime | 878 | NL 32 | 93.11 |
| Logic, programming, and type systems | 2021-2025 | 802 | NL 30 | 39.20 |