Scholar
Jaco van de Pol
Google Scholar ID: gbSSgnkAAAAJ
Professor of Computer Science, Aarhus University
Formal Methods
verification and validation
high-performance model checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,520
H-index
19
i10-index
44
Publications
20
Co-authors
92
list available
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
Co-authors
7 total
Alfons Laarman
Leiden University
Jan Friso Groote
Full Professor (Hoogleraar), Eindhoven University of Technology
Wan Fokkink
Professor of Computer Science, Vrije Universiteit Amsterdam
Marielle Stoelinga
Professor of Risk Management for high tex systems, Radboud University & University of Twente
Laure Petrucci
LIPN, CNRS UMR 7030, Université Paris 13
Jun Pang
University of Luxembourg
Anton Wijs
Associate Professor on Parallel Software Development at Eindhoven University of Technology
