Two new DIREC projects led by Aarhus Univsersity
Solving Satisfiability of Ground Term Algebras Using DPLL and Unification
Cas van de Pol - YouTube
Vidéothèque de l'UL - Jaco Van De Pol : Explainable Verification O…
Multi-Core On-The-Fly SCC Decomposition
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings | SpringerLink
PDL over Accelerated Labeled Transition Systems
Solving Satisfiability of Ground Term Algebras Using DPLL and Unification
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
Abstraction of parallel uniform processes with data
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
From Symbolic Verification To Domain Specific Languages
Kit van hi-res stock photography and images - Alamy
Matthijs Pol Poses in Saint Laurent for Fashion For Men #9 Issue
Cas van de Pol - YouTube
PDF) Solving satisfiability of ground term algebras using DPLL and unification | Hans Zantema - Academia.edu
Zero, successor and equality in BDDs
Associate Professor Graeme Smith - School of Information Technology and Electrical Engineering - University of Queensland
