World's Best Scientists 2026 revealed!
Jaco van de Pol

Jaco van de Pol

D-Index & Metrics

Computer Science

D-Index
31
Citations
4143
World Ranking
13657
National Ranking
65

Best Publications

  • µCRL: A Toolset for Analysing Algebraic Specifications

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

  • LTSmin: High-Performance Language-Independent Model Checking

    Unknown

  • LTSMIN: distributed and symbolic reachability

    Unknown

  • A Bounded Retransmission Protocol for Large Data Packets

    Jan Friso Groote;Jaco van de Pol

  • State Space Reduction by Proving Confluence

    Unknown

  • Boosting multi-core reachability performance with shared hash tables

    Unknown

  • Formal Methods: Applications and Technology

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

  • Termination Proofs for Higher-order Rewrite Systems

    Unknown

  • Improved multi-core nested depth-first search

    Unknown

  • Sylvan: multi-core framework for decision diagrams

    Unknown

  • A Database Approach to Distributed State-Space Generation

    Unknown

  • The 2020 Expert Survey on Formal Methods

    Unknown

  • Strict Functionals for Termination Proofs

    Unknown

  • Sylvan: Multi-Core Decision Diagrams

    Unknown

  • State Space Reduction Using Partial tau-Confluence

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

  • Distributed Algorithms for SCC Decomposition

    Unknown

  • Multi-core nested depth-first search

    Unknown

  • Towards Model Checking Executable UML Specifications in mCRL2

    Unknown

  • Multi-core LTSmin: marrying modularity and scalability

    Unknown

  • Equational binary decision diagrams

    Jan Friso Groote;Jaco van de Pol

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: