A rewriting approach to binary decision diagrams
PRUNING NESTED-DFS FOR PARAMETRIC TIMED AUTOMATA
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
4 "Jaco Van De Pol" profiles | LinkedIn
PDF) Multi-core symbolic bisimulation minimisation
Jaco van de Pol — University of Twente Research Information
Integrated Formal Methods: 5th International Conference, Ifm 2005, Eindhoven, the Netherlands, November 29 - December 2, 2005. Proceedings (Paperback) | The Vermont Book Shop
Dr. Jaco van de Pol is appointed Group Leader of SEN2
Step on the Box
King Bikes Amsterdam - Tourguide Jaco Van De Pol and owner Musa in front of the bike shop. | Facebook
A State Space Distribution Policy Based on Abstract Interpretation – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
Zero, successor and equality in BDDs
Jaco van de Pol
Vidéothèque de l'UL - Jaco Van De Pol : Explainable Verification O…
Lace: Non-Blocking Split Deque for Work-Stealing
Generalizing DPLL and satisfiability for equalities
Jaco van de Pol
jaco van de pol, INVITATION Inaugural of Professor Jaco van de Pol - ciclomobilidade.org
4 "Jaco Van De Pol" profiles | LinkedIn
Keynotes – FMICS 2019
LIP6 - MoVe - Energy-optimization for Embedded Devices
Cas van de Pol - YouTube
Jaco van de Pol - SPIN 2021
Scalable Multi-core Model Checking: Technology & Applications of Brute Force Day I: Reachability
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings: van der Pol, Jaco, Weber, Michael: 9783642161650: Amazon.com: Books
