Logic and Semantics
jaco van de pol, INVITATION Inaugural of Professor Jaco van de Pol - ciclomobilidade.org
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
Job VAN BOVEN | Professor (Associate) | PharmD, PhD | University of Groningen, Groningen | RUG | Department of Clinical Pharmacology | Research profile
Jaco van de Pol - Zelfstandige - van de Pol Maritime Services | LinkedIn
Contribution to LTL and -Automata for Model Checking
Associate Professor Graeme Smith - School of Information Technology and Electrical Engineering - University of Queensland
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Two new DIREC projects led by Aarhus Univsersity
Logic and Semantics
Jaco van de Pol - Zelfstandige - van de Pol Maritime Services | LinkedIn
Andreas Pavlogiannis
Researchers at Department of Computer Science - Aarhus University
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Researchers at Department of Computer Science - Aarhus University
Researchers at Department of Computer Science - Aarhus University
Software Engineering Research Community | Facebook
Award: Teacher of the year 2019
Petri Nets 2021
Étienne ANDRÉ | Professor | Professor | LIPN | Research profile
Jaco van de Pol - SPIN 2021
Jaco van de Pol – Professor of Computer Science – Aarhus University | LinkedIn
Peter LARSEN | Professor (Full) | MSc, PhD | Aarhus University | AU | Department of Engineering | Research profile
Jaco van de Pol - Sales Executive - CrowdLED | LinkedIn
GPU IMPLEMENTATION OF PARTIAL-ORDER REDUCTION
Frédéric HERBRETEAU | Associate Professor | PhD | Bordeaux INP, Talence | LaBRI | Research profile
