Jaco van de Pol

Cited by

	All	Since 2016
Citations	3676	1225
h-index	32	18
i10-index	102	45

300

150

225

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202123 22 26 24 38 35 63 58 78 90 128 102 167 133 148 155 182 171 222 226 284 245 221 257 292 184 26

Co-authors

Stefan BlomUniversity of TwenteVerified email at utwente.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyVerified email at tue.nl
Alfons LaarmanAssistant Professor, Leiden UniversityVerified email at liacs.leidenuniv.nl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteVerified email at utwente.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamVerified email at vu.nl
Michael WeberInstart LogicVerified email at foldr.org
Jeroen MeijerEijsinkVerified email at eijsink.nl
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
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
Simona Orzanfreelance technical consultant, Antracit (University ;-))Verified email at antracit.nl
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenVerified email at cs.ru.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteVerified email at cs.rwth-aachen.de
hans zantemaEindhoven university of technologyVerified email at tue.nl
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13Verified email at lipn.univ-paris13.fr

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	222	2001
LTSmin: Distributed and symbolic reachability S Blom, J van de Pol, M Weber International Conference on Computer Aided Verification, 354-359, 2010	139	2010
LTSmin: high-performance language-independent model checking G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk International Conference on Tools and Algorithms for the Construction and …, 2015	128	2015
A bounded retransmission protocol for large data packets JF Groote, J van de Pol International Conference on Algebraic Methodology and Software Technology …, 1996	122	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	101	2010
State space reduction by proving confluence S Blom, J van de Pol International Conference on Computer Aided Verification, 596-609, 2002	90	2002
Termination of higher-order rewrite systems JC van de Pol Univ. Utrecht, Faculteit Wijsbegeerte, 1996	75	1996
Termination proofs for higher-order rewrite systems J Van de Pol International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993	75	1993
Strict functionals for termination proofs J Van de Pol, H Schwichtenberg International Conference on Typed Lambda Calculi and Applications, 350-364, 1995	66	1995
State space reduction using partial τ-confluence JF Groote, J van de Pol International Symposium on Mathematical Foundations of Computer Science, 383-393, 2000	64	2000
Improved multi-core nested depth-first search S Evangelista, A Laarman, L Petrucci, J Van De Pol International Symposium on Automated Technology for Verification and …, 2012	59	2012
Multi-Core LTSmin: Marrying Modularity and Scalability A Laarman, J van de Pol, M Weber NASA Formal Methods, 506-511, 2011	58	2011
Equational binary decision diagrams JF Groote, J Van De Pol International Conference on Logic for Programming Artificial Intelligence …, 2000	58	2000
Multi-core nested depth-first search A Laarman, R Langerak, J Van De Pol, M Weber, A Wijs International Symposium on Automated Technology for Verification and …, 2011	53	2011
Distributed algorithms for SCC decomposition J Barnat, J Chaloupka, J Van De Pol Journal of Logic and Computation 21 (1), 23-44, 2011	53	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 (1), 83-90, 2010	53	2010
Verifying a Sliding Window Protocol in μCRL W Fokkink, JF Groote, J Pang, B Badban, J Van De Pol International Conference on Algebraic Methodology and Software Technology …, 2004	51	2004
Equivalence checking for infinite systems using parameterized boolean equation systems T Chen, B Ploeger, J Van De Pol, TAC Willemse International Conference on Concurrency Theory, 120-135, 2007	50	2007
Verification of a sliding window protocol in μ CRL and PVS B Badban, W Fokkink, JF Groote, J Pang, J van de Pol Formal Aspects of Computing 17 (3), 342-388, 2005	50	2005
A database approach to distributed state space generation S Blom, B Lisser, J Van De Pol, M Weber Electronic Notes in Theoretical Computer Science 198 (1), 17-32, 2008	48	2008

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

Upload PDF

Follow this author

Cited by

Co-authors