Jaco van de Pol

Cited by

	All	Since 2018
Citations	4371	1404
h-index	36	18
i10-index	113	50

320

160

240

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320 26 24 25 39 34 65 59 75 91 136 100 172 138 146 159 175 189 213 235 289 246 229 270 308 189 239 261 136

Public access

View all

18 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Stefan BlomUniversity of TwenteVerified email at utwente.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Alfons LaarmanLeiden UniversityVerified email at liacs.leidenuniv.nl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Jeroen MeijerEijsinkVerified email at eijsink.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Michael WeberInstart LogicVerified email at foldr.org
Tom van DijkUniversity of TwenteVerified email at utwente.nl
Rom LangerakAssociate Professor, Computer Science, University of TwenteVerified email at ewi.utwente.nl
Mark TimmerLecturer in Mathematics Education, University of Twente, The NetherlandsVerified email at utwente.nl
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr
Jun PangUniversity of LuxembourgVerified email at uni.lu
Stefano SchivoOpen University - NLVerified email at ou.nl
Janine N. PostTechMed Centre, University of TwenteVerified email at utwente.nl
Marcel KarperienProfessor in Developmental BioEngineering, University of TwenteVerified email at utwente.nl
Anton WijsAssistant Professor at Eindhoven University of TechnologyVerified email at tue.nl
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Simona OrzanFontys University of Applied SciencesVerified email at fontys.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
Jiří BarnatMasaryk University, Faculty of InformaticsVerified email at fi.muni.cz

Jaco van de Pol

Professor of Computer Science, Aarhus University

Verified email at cs.au.dk - Homepage

Formal Methods verification and validation high-performance model checking


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
µCRL: A Toolset for Analysing Algebraic Specifications S Blom, W Fokkink, J Groote, I Van Langevelde, B Lisser, J van de Pol Computer Aided Verification, 250-254, 2001	227	2001
LTSmin: high-performance language-independent model checking G Kant, A Laarman, J Meijer, J Van de Pol, S Blom, T Van Dijk Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	182	2015
LTSmin: Distributed and Symbolic Reachability S Blom, J van de Pol, M Weber Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	148	2010
A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verification JF Groote, J van de Pol Algebraic Methodology and Software Technology: 5th International Conference …, 1996	134	1996
Boosting multi-core reachability performance with shared hash tables A Laarman, J van de Pol, M Weber Formal Methods in Computer Aided Design, 247-255, 2010	109	2010
State space reduction by proving confluence S Blom, J van de Pol Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002	95	2002
Termination of higher-order rewrite systems JC van de Pol Univ. Utrecht, Faculteit Wijsbegeerte, 1996	83	1996
Termination proofs for higher-order rewrite systems J Van de Pol Higher-Order Algebra, Logic, and Term Rewriting: First International …, 1994	83	1994
Strict functionals for termination proofs J Van de Pol, H Schwichtenberg Typed Lambda Calculi and Applications: Second International Conference on …, 1995	72	1995
Improved multi-core nested depth-first search S Evangelista, A Laarman, L Petrucci, J Van De Pol Automated Technology for Verification and Analysis: 10th International …, 2012	67	2012
State space reduction using partial τ-confluence JF Groote, J van de Pol Mathematical Foundations of Computer Science 2000: 25th International …, 2000	67	2000
Sylvan: Multi-core decision diagrams T Van Dijk, J Van De Pol Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	65	2015
Distributed algorithms for SCC decomposition J Barnat, J Chaloupka, J Van De Pol Journal of Logic and Computation 21 (1), 23-44, 2011	62	2011
Multi-Core LTSmin: Marrying Modularity and Scalability A Laarman, J van de Pol, M Weber NASA Formal Methods, 506-511, 2011	61	2011
Towards model checking executable UML specifications in mCRL2 HH Hansen, J Ketema, B Luttik, MR Mousavi, J van de Pol Innovations in Systems and Software Engineering 6, 83-90, 2010	61	2010
Multi-core nested depth-first search A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs Automated Technology for Verification and Analysis: 9th International …, 2011	58	2011
Equational binary decision diagrams J Friso Groote, J van de Pol International Conference on Logic for Programming Artificial Intelligence …, 2000	58	2000
Sylvan: multi-core framework for decision diagrams T Van Dijk, J Van de Pol International Journal on Software Tools for Technology Transfer 19, 675-696, 2017	56	2017
Symbolic reachability for process algebras with recursive data types S Blom, J Van De Pol Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008	54	2008
Verification of a sliding window protocol in μCRL and PVS B Badban, W Fokkink, JF Groote, J Pang, J Pol Formal Aspects of Computing 17, 342-388, 2005	54	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors