Scholarly Index
Jaco van de Pol
Aarhus University; 1,315 total citations; 163 total publications; best world rank #251
Aarhus University
1,315Total citations
163Total publications
19H-index
Published ranking records
| Field | Window | World rank | National rank | Impact score |
|---|---|---|---|---|
| Formal Methods in Verification | Lifetime | 678 | DK 8 | 94.46 |
| Logic, programming, and type systems | Lifetime | 814 | DK 14 | 91.83 |
| Logic, programming, and type systems | 2021-2025 | 251 | DK 18 | 70.47 |
| Model-Driven Software Engineering Techniques | 2021-2025 | 476 | DK 6 | 43.72 |
| Simulation Techniques and Applications | 2021-2025 | 557 | DK 12 | 34.02 |