Concepedia

Jaco van de Pol

JV

55

Publications

1.1K

Citations

20

H-Index

1996

Active since

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

55

Publications

55

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

Rows per page

1–5 of 55