Scholarly Index
Bart Jacobs
Radboud University Nijmegen; 4,652 total citations; 230 total publications; best world rank #41
Radboud University Nijmegen
4,652Total citations
230Total publications
38H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Logic, programming, and type systems | Lifetime | 41 | NL 1 | 99.13 |
| Formal Methods in Verification | Lifetime | 104 | NL 1 | 98.64 |
| Logic, Reasoning, and Knowledge | Lifetime | 103 | NL 3 | 98.24 |
| Security and Verification in Computing | Lifetime | 209 | NL 5 | 96.70 |
| Advanced Algebra and Logic | Lifetime | 536 | NL 11 | 93.02 |
| Logic, Reasoning, and Knowledge | 2021-2025 | 569 | NL 27 | 55.86 |
| Logic, programming, and type systems | 2021-2025 | 514 | NL 19 | 55.01 |