Jaco van de Pol

Jaco van de Pol publication distribution in Computer Science in 2026

The chart shows the distribution of publications by all Research.com ranked scientists in the field of Computer Science in 2026. The highlighted bar marks where Jaco van de Pol sits on this spectrum.

Jaco van de Pol D-index placement in Computer Science in 2026

The chart shows the D-index (discipline H-index) distribution of Computer Science scientists ranked by Research.com in 2026. The highlighted bar marks where Jaco van de Pol sits on this spectrum.

Best Publications

• µCRL: A Toolset for Analysing Algebraic Specifications

  Stefan Blom;Wan Fokkink;Jan Friso Groote;Izak van Langevelde

  235
  Citations

• LTSmin: High-Performance Language-Independent Model Checking

  Unknown

  199
  Citations

• LTSMIN: distributed and symbolic reachability

  Unknown

  155
  Citations

• A Bounded Retransmission Protocol for Large Data Packets

  Jan Friso Groote;Jaco van de Pol

  135
  Citations

• State Space Reduction by Proving Confluence

  Unknown

  101
  Citations

• Boosting multi-core reachability performance with shared hash tables

  Unknown

  95
  Citations

• Formal Methods: Applications and Technology

  Luboš Brim;Boudewijn Haverkort;Martin Leucker;Jaco van de Pol

  91
  Citations

• Termination Proofs for Higher-order Rewrite Systems

  Unknown

  82
  Citations

• Improved multi-core nested depth-first search

  Unknown

  74
  Citations

• Sylvan: multi-core framework for decision diagrams

  Unknown

  73
  Citations

• A Database Approach to Distributed State-Space Generation

  Unknown

  70
  Citations

• The 2020 Expert Survey on Formal Methods

  Unknown

  70
  Citations

• Strict Functionals for Termination Proofs

  Unknown

  70
  Citations

• Sylvan: Multi-Core Decision Diagrams

  Unknown

  70
  Citations

• State Space Reduction Using Partial tau-Confluence

  Jan Friso Groote;Jan Friso Groote;Jaco van de Pol

  68
  Citations

• Distributed Algorithms for SCC Decomposition

  Unknown

  68
  Citations

• Multi-core nested depth-first search

  Unknown

  66
  Citations

• Towards Model Checking Executable UML Specifications in mCRL2

  Unknown

  65
  Citations

• Multi-core LTSmin: marrying modularity and scalability

  Unknown

  64
  Citations

• Equational binary decision diagrams

  Jan Friso Groote;Jaco van de Pol

  62
  Citations