Scholarly Index
Tom Schrijvers
KU Leuven; 2,364 total citations; 180 total publications; best world rank #222
KU Leuven
2,364Total citations
180Total publications
25H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 222 | BE 5 | 96.92 |
| Logic, Reasoning, and Knowledge | Lifetime | 502 | BE 7 | 94.11 |
| Formal Methods in Verification | Lifetime | 714 | BE 10 | 94.19 |
| Constraint Satisfaction and Optimization | Lifetime | 236 | BE 4 | 92.88 |
| Security and Verification in Computing | Lifetime | 851 | BE 16 | 89.40 |
| Model-Driven Software Engineering Techniques | Lifetime | 842 | BE 18 | 88.82 |
| Logic, programming, and type systems | 2021-2025 | 281 | BE 3 | 68.32 |