Jaco van de Pol - SPIN 2021
Cas van de Pol - YouTube
Proof reflection in Coq
Multi-Core On-The-Fly SCC Decomposition
PDF) Sound black-box checking in the LearnLib
Abstraction of parallel uniform processes with data
Award: Teacher of the year 2019
Setting Parameters for Biological Models With ANIMO
Mathias Weller Berg Thomasen | DeepAI
Associate Professor Graeme Smith - School of Information Technology and Electrical Engineering - University of Queensland
Jaco van de Pol - Business controller Covebo Productie & Logistiek - House of Covebo | LinkedIn
Symbolic Model Checking using Zero-suppressed Decision Diagrams
Explicit State Model Checking with Generalized Büchi and Rabin Automata
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings | SpringerLink
Matthijs Pol Poses in Saint Laurent for Fashion For Men #9 Issue
arXiv:2104.12101v5 [cs.DS] 4 Jan 2023
Model Checking with Generalized Rabin and Fin-less automata
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
PDF) Solving satisfiability of ground term algebras using DPLL and unification | Hans Zantema - Academia.edu
Conformance Testing of Cyber-Physical Systems: A Comparative Study
Vidéothèque de l'UL - Jaco Van De Pol : Explainable Verification O…
Zero, successor and equality in BDDs
PDL over Accelerated Labeled Transition Systems
Jaco van de Pol — University of Twente Research Information
Australia reach Davis Cup semis by beating the Netherlands | Arab News
