Jaco van de Pol
Aarhus Universitet
H-index: 36
Europe-Denmark
Top articles of Jaco van de Pol
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Fast Symbolic Computation of Bottom SCCs | Anna Blume Jakobsen Rasmus Skibdahl Melanchton Jørgensen Jaco van de Pol Andreas Pavlogiannis | 2024/4/5 | |
Optimal Layout Synthesis for Deep Quantum Circuits on NISQ Processors with 100+ Qubits | arXiv preprint arXiv:2403.11598 | Irfansha Shaik Jaco van de Pol | 2024/3/18 |
On-The-Fly Algorithm for Reachability in Parametric Timed Games (Extended Version) | arXiv preprint arXiv:2401.11287 | Mikael Bisgaard Dahlsen-Jensen Baptiste Fievet Laure Petrucci Jaco van de Pol | 2024/1/20 |
Concise QBF Encodings for Games on a Grid (extended version) | arXiv preprint arXiv:2303.16949 | Irfansha Shaik Jaco van de Pol | 2023/3/29 |
Predicting Memory Demands of BDD Operations using Maximum Graph Cuts | Steffan Christ Sølvsten Jaco van de Pol | 2023/10/19 | |
Implicit state and goals in QBF encodings for positional games (extended version) | arXiv preprint arXiv:2301.07345 | Irfansha Shaik Valentin Mayer-Eichberger Jaco van de Pol Abdallah Saffidine | 2023/1/18 |
Fast and Efficient Boolean Unification for Hindley-Milner-Style Type and Effect Systems | Proceedings of the ACM on Programming Languages | Magnus Madsen Jaco Van De Pol Troels Henriksen | 2023/10/16 |
Validation of QBF Encodings with Winning Strategies | Irfansha Shaik Maximilian Heisinger Martina Seidl Jaco van de Pol | 2023 | |
Adiar 1.1: zero-suppressed decision diagrams in external memory | Steffan Christ Sølvsten Jaco van de Pol | 2023/5/16 | |
Programming with Purity Reflection: Peaceful Coexistence of Effects, Laziness, and Parallelism | Magnus Madsen Jaco van de Pol | 2023 | |
A manifesto for applicable formal methods | Software and Systems Modeling | Mario Gleirscher Jaco van de Pol Jim Woodcock | 2023/12 |
Search-Space Pruning with Int-Splits for Faster QBF Solving | arXiv preprint arXiv:2304.08308 | Maximilian Heisinger Irfansha Shaik Martina Seidl Jaco van de Pol | 2023/4/17 |
Implicit QBF Encodings for Positional Games | Irfansha Shaik Valentin Mayer-Eichberger Jaco van de Pol Abdallah Saffidine | 2023/11/28 | |
Operations on Fixpoint Equation Systems | arXiv preprint arXiv:2304.07162 | Thomas Neele Jaco van de Pol | 2023/4/14 |
Optimal layout synthesis for quantum circuits as classical planning | Irfansha Shaik Jaco van de Pol | 2023/10/28 | |
Safe and secure future AI-driven railway technologies: challenges for formal methods in railway | Monika Seisenberger Maurice H ter Beek Xiuyi Fan Alessio Ferrari Anne E Haxthausen | 2022/10/17 | |
Efficient Convex Zone Merging in Parametric Timed Automata | Étienne André Dylan Marinho Laure Petrucci Jaco van de Pol | 2022/8/29 | |
Classical planning as QBF without grounding | Proceedings of the International Conference on Automated Planning and Scheduling | Irfansha Shaik Jaco van de Pol | 2022/6/13 |
Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones | Information Systems | Vincent Bloemen Sebastiaan van Zelst Wil van der Aalst Boudewijn van Dongen Jaco van de Pol | 2022/1/1 |
Verification and synthesis of co-simulation algorithms subject to algebraic loops and adaptive steps | International Journal on Software Tools for Technology Transfer | Simon Thrane Hansen Casper Thule Cláudio Gomes Jaco van de Pol Maurizio Palmieri | 2022/12 |