Jaco van de Pol
Scholar

Jaco van de Pol

Google Scholar ID: gbSSgnkAAAAJ
Professor of Computer Science, Aarhus University
Formal Methodsverification and validationhigh-performance model checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
1,520
 
H-index
19
 
i10-index
44
 
Publications
20
 
Co-authors
92
list available
Contact
No contact links provided.
Publications
6 items
Random Generation of Small Quantitative Automata for Algorithm Debugging
2026
Cited
0
State-Space Abstractions for Parametric Timed Games
2026
Cited
0
Exact Quantum Circuit Optimization is co-NQP-hard
2025
Cited
0
Controller Synthesis for Parametric Timed Games
2025
Cited
0
CNOT-Optimal Clifford Synthesis as SAT
2025
Cited
0
Adiar Binary Decision Diagrams in External Memory
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2021
Cited
2
Resume (English only)
Co-authors
92 total
Co-author 1
Co-author 1
Alfons Laarman
Alfons Laarman
Leiden University
Jan Friso Groote
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Wan Fokkink
Wan Fokkink
Professor of Computer Science, Vrije Universiteit Amsterdam
Marielle Stoelinga
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Co-author 6
Co-author 6
Co-author 7
Co-author 7
Co-author 8
Co-author 8