Jaco van de Pol - Google Scholar

Citata da

	Tutte	Dal 2015
Citazioni	3555	1429
Indice H	32	19
i10-index	96	46

300

150

225

1995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202025 22 26 23 37 37 71 64 74 86 125 101 162 132 146 153 179 181 223 217 286 246 226 251 287 130

Coautori

Stefan BlomUniversity of TwenteEmail verificata su utwente.nl
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of TechnologyEmail verificata su tue.nl
Alfons LaarmanAssistant Professor, Leiden UniversityEmail verificata su liacs.leidenuniv.nl
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of TwenteEmail verificata su utwente.nl
Wan FokkinkProfessor of Computer Science, Vrije Universiteit AmsterdamEmail verificata su vu.nl
Michael WeberInstart LogicEmail verificata su foldr.org
Jeroen MeijerEijsinkEmail verificata su eijsink.nl
Tom van DijkUniversity of TwenteEmail verificata su utwente.nl
Rom LangerakAssociate Professor, Computer Science, University of TwenteEmail verificata su ewi.utwente.nl
Mark TimmerLecturer in Mathematics Education, University of Twente, The NetherlandsEmail verificata su utwente.nl
Jun PangUniversity of LuxembourgEmail verificata su uni.lu
Stefano SchivoOpen University - NLEmail verificata su ou.nl
Marcel KarperienProfessor in Developmental BioEngineering, University of TwenteEmail verificata su utwente.nl
Janine N. PostTechMed Centre, University of TwenteEmail verificata su utwente.nl
Anton WijsAssistant Professor at Eindhoven University of TechnologyEmail verificata su tue.nl
hans zantemaEindhoven university of technologyEmail verificata su tue.nl
Vincent BloemenUniversity of TwenteEmail verificata su utwente.nl
Simona Orzanfreelance technical consultant, Antracit (University ;-))Email verificata su antracit.nl
Jozef HoomanProfessor of Computer Science, Radboud University NijmegenEmail verificata su cs.ru.nl
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwenteEmail verificata su cs.rwth-aachen.de

Jaco van de Pol

Professor of Computer Science, Aarhus University

Email verificata su cs.au.dk - Home page

Formal Methods verification and validation high-performance model checking


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
µ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	218	2001
LTSmin: Distributed and symbolic reachability S Blom, J van de Pol, M Weber International Conference on Computer Aided Verification, 354-359, 2010	133	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	122	2015
A bounded retransmission protocol for large data packets JF Groote, J van de Pol International Conference on Algebraic Methodology and Software Technology …, 1996	121	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	89	2002
Termination proofs for higher-order rewrite systems J Van de Pol International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993	75	1993
Termination of higher-order rewrite systems JC van de Pol Univ. Utrecht, Faculteit Wijsbegeerte, 1996	72	1996
Strict functionals for termination proofs J Van de Pol, H Schwichtenberg International Conference on Typed Lambda Calculi and Applications, 350-364, 1995	67	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	54	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-2), 83-90, 2010	52	2010
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
Distributed algorithms for SCC decomposition J Barnat, J Chaloupka, J Van De Pol Journal of Logic and Computation 21 (1), 23-44, 2011	49	2011
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	49	2008
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	49	2005
Efficient modelling and generation of Markov automata M Timmer, JP Katoen, J Van De Pol, MIA Stoelinga International Conference on Concurrency Theory, 364-379, 2012	47*	2012

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Carica PDF

Segui questo autore

Citata da

Coautori