Jaco van de Pol 个人学术档案

引用次数

	总计	2019 年至今
引用	4786	1460
h 指数	37	17
i10 指数	119	48

320

160

240

19951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 22 24 26 38 33 73 69 77 107 144 102 174 144 158 158 174 198 219 227 298 258 237 273 319 205 244 269 286 135

开放获取的出版物数量

查看全部

19 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Stefan BlomUniversity of Twente在 utwente.nl 的电子邮件经过验证
Alfons LaarmanLeiden University在 liacs.leidenuniv.nl 的电子邮件经过验证
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Marielle StoelingaProfessor of Risk Management for high tex systems, Radboud University & University of Twente在 utwente.nl 的电子邮件经过验证
Wan FokkinkProfessor of Computer Science, Vrije Universiteit Amsterdam在 vu.nl 的电子邮件经过验证
Jeroen MeijerEijsink在 eijsink.nl 的电子邮件经过验证
Tom van DijkUniversity of Twente在 utwente.nl 的电子邮件经过验证
Michael WeberInstart Logic在 foldr.org 的电子邮件经过验证
Rom LangerakAssociate Professor, Computer Science, University of Twente在 ewi.utwente.nl 的电子邮件经过验证
Mark TimmerLecturer in Mathematics Education, University of Twente, The Netherlands在 utwente.nl 的电子邮件经过验证
Laure PetrucciLIPN, CNRS UMR 7030, Université Paris 13在 lipn.univ-paris13.fr 的电子邮件经过验证
Jun PangUniversity of Luxembourg在 uni.lu 的电子邮件经过验证
Stefano SchivoOpen University - NL在 ou.nl 的电子邮件经过验证
Janine N. PostTechMed Centre, University of Twente在 utwente.nl 的电子邮件经过验证
Marcel KarperienProfessor in Developmental BioEngineering, University of Twente在 utwente.nl 的电子邮件经过验证
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Simona OrzanFontys University of Applied Sciences在 fontys.nl 的电子邮件经过验证
Jozef HoomanProfessor of Computer Science, Radboud University Nijmegen在 cs.ru.nl 的电子邮件经过验证
Jiří BarnatMasaryk University, Faculty of Informatics在 fi.muni.cz 的电子邮件经过验证
Gijs KantPhD Student in Computer Science, University of Twente在 cs.utwente.nl 的电子邮件经过验证

关注

Jaco van de Pol

Professor of Computer Science, Aarhus University

在 cs.au.dk 的电子邮件经过验证 - 首页

Formal Methods verification and validation high-performance model checking


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
µ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	235	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	208	2015
LTSmin: Distributed and Symbolic Reachability S Blom, J van de Pol, M Weber Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010	158	2010
A bounded retransmission protocol for large data packets: A case study in computer checked algebraic verification JF Groote, J van de Pol International Conference on Algebraic Methodology and Software Technology …, 1996	144	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	98	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 International Workshop on Higher-Order Algebra, Logic, and Term Rewriting …, 1993	80	1993
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	76	2017
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	75	2012
The 2020 expert survey on formal methods H Garavel, MH Beek, J Pol Formal Methods for Industrial Critical Systems: 25th International …, 2020	73	2020
Sylvan: Multi-core decision diagrams T Van Dijk, J Van De Pol Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015	72	2015
Strict functionals for termination proofs J Van de Pol, H Schwichtenberg International Conference on Typed Lambda Calculi and Applications, 350-364, 1995	70	1995
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	66	2011
State space reduction using partial τ-confluence JF Groote, J van de Pol International Symposium on Mathematical Foundations of Computer Science, 383-393, 2000	66	2000
Multi-Core LTSmin: Marrying Modularity and Scalability A Laarman, J van de Pol, M Weber NASA Formal Methods, 506-511, 2011	65	2011
Distributed algorithms for SCC decomposition J Barnat, J Chaloupka, J Van De Pol Journal of Logic and Computation 21 (1), 23-44, 2011	64	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	64	2010
Equational binary decision diagrams J Friso Groote, J van de Pol International Conference on Logic for Programming Artificial Intelligence …, 2000	60	2000
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	59	2012

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用