Concepedia
Statistics
Publications
55
Citations
1.1K
H-Index
20
Active since
1996
Affiliations
University of Twente(Current)
Centrum Wiskunde & Informatica
Eindhoven University of Technology
Aarhus University
RWTH Aachen University
Jaco van de Pol is an author at University of Twente specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceFormal MethodsFormal VerificationAutomated ReasoningSystems EngineeringVerificationComputer EngineeringParallel ProgrammingParallel Computing
Publications per year
1996–2023
Sylvan: multi-core framework for decision diagrams
Tom van Dijk, Jaco van de Pol · International Journal on Software Tools for Technology Transfer · 2016 · 77 citations · Full text
Boosting multi-core reachability performance with shared hash tables
Alfons Laarman, Jaco van de Pol, Michael Weber · Formal Methods in Computer-Aided Design · 2010 · 49 citations
Cluster Computing, State Storage, Engineering +21
Towards model checking executable UML specifications in mCRL2
Helle Hvid Hansen, Jeroen Ketema, Bas Luttik et al. · Innovations in Systems and Software Engineering · 2010 · 42 citations · Full text
Boosting Multi-Core Reachability Performance with Shared Hash Tables
Alfons Laarman, Jaco van de Pol, Michael Weber · arXiv (Cornell University) · 2010 · 42 citations · Full text
Cluster Computing, Hash Table, Shared Hash Tables +18
Distributed Algorithms for SCC Decomposition
Jǐŕı Barnat, Jakub Chaloupka, Jaco van de Pol · Journal of Logic and Computation · 2009 · 40 citations
1–5 of 55