Jeroen Keiren 个人学术档案

引用次数

	总计	2019 年至今
引用	846	458
h 指数	15	9
i10 指数	18	9

120

20102011201220132014201520162017201820192020202120222023202411 19 33 40 40 52 50 39 86 65 75 74 93 111 36

开放获取的出版物数量

查看全部

1 篇文章

0 篇文章

可查看的文章

无法查看的文章

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

合著作者

Tim WillemseAssociate Professor, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Jan Friso GrooteFull Professor (Hoogleraar), Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Wieger WesselinkAI Research Engineer, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Erik P. de VinkAssociate Professor, Eindhoven University of Technology在 win.tue.nl 的电子邮件经过验证
Anton WijsAssociate Professor on Parallel Software Development at Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Frank StappersPhD Student, Technische Universiteit Eindhoven在 tue.nl 的电子邮件经过验证
David N. JansenRadboud Universiteit Nijmegen在 cs.ru.nl 的电子邮件经过验证
Thomas NeeleAssistant Professor, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Maurice LaveauxPhD student, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
DAVID DE FRUTOS ESCRIGUniv.Complutense de Madrid (Spain)在 ucm.es 的电子邮件经过验证
M.A. ReniersTU/e在 tue.nl 的电子邮件经过验证
Vincent KustersETH Zurich在 inf.ethz.ch 的电子邮件经过验证
Yi-Ling HwongInstitute of Science and Technology Austria (ISTA)在 ist.ac.at 的电子邮件经过验证
Sander J.J. LeemansRWTH Aachen University在 bpm.rwth-aachen.de 的电子邮件经过验证
Rance CleavelandDepartment of Computer Science, University of Maryland在 cs.umd.edu 的电子邮件经过验证
Bas LuttikAssociate Professor of Computer Science, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Jan Martijn van der WerfAssistant Professor in Software Architecture, Universiteit Utrecht在 UU.nl 的电子邮件经过验证
Natalia SidorovaTechnische Universiteit Eindhoven在 tue.nl 的电子邮件经过验证
Kees van HeeEmeritus Professor of Computer Science, Eindhoven University of Technology在 tue.nl 的电子邮件经过验证
Alexander WolffChair for Algorithms and Complexity, Institute of Computer Science, University of Würzburg在 uni-wuerzburg.de 的电子邮件经过验证

关注

Jeroen Keiren

Assistant Professor, Eindhoven University of Technology, The Netherlands

在 tue.nl 的电子邮件经过验证 - 首页

Formal Methods Verification Testing Model Checking


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
An overview of the mCRL2 toolset and its recent advances S Cranen, JF Groote, JJA Keiren, FPM Stappers, EP de Vink, ... International Conference on Tools and Algorithms for the Construction and …, 2013	204	2013
The mCRL2 toolset for analysing concurrent systems: improvements in expressivity and usability O Bunte, JF Groote, JJA Keiren, M Laveaux, T Neele, EP de Vink, ... 25th International Conference on Tools and Algorithms for the Construction …, 2019	183	2019
Experiences in developing the mCRL2 toolset JF Groote, JJA Keiren, FPM Stappers, JW Wesselink, TAC Willemse Software: Practice and Experience 41 (2), 143-153, 2011	73	2011
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation JF Groote, DN Jansen, JJA Keiren, AJ Wijs ACM Transactions on Computational Logic (TOCL) 18 (2), 1-34, 2017	54	2017
An O (m log n) algorithm for branching bisimilarity on labelled transition systems DN Jansen, JF Groote, JJA Keiren, A Wijs 26th International Conference on Tools and Algorithms for the Construction …, 2020	35	2020
Formalising and Analysing the Control Software of the Compact Muon Solenoid Experiment at the Large Hadron Collider YL Hwong, JJA Keiren, VJJ Kusters, S Leemans, TAC Willemse Science of Computer Programming 78 (12), 2435-2452, 2013	35	2013
Benchmarks for parity games JJA Keiren Fundamentals of Software Engineering: 6th International Conference, FSEN …, 2015	29	2015
Games for Bisimulations and Abstraction TAC Willemse, JJA Keiren, DDF Escrig Logical Methods in Computer Science 13, 2017	26*	2017
Bisimulation minimisations for boolean equation systems JJA Keiren, TAC Willemse Haifa Verification Conference, 102-116, 2009	23	2009
Modelling and analysing software in mCRL2 JF Groote, JJA Keiren, B Luttik, EP de Vink, TAC Willemse International Conference on Formal Aspects of Component Software, 25-48, 2019	22	2019
Liveness Analysis for Parameterised Boolean Equation Systems JJA Keiren, W Wesselink, TAC Willemse Automated Technology for Verification and Analysis 8837, 219-234, 2014	17*	2014
Advanced Reduction Techniques for Model Checking JJA Keiren Eindhoven University of Technology, 2013	17	2013
Stuttering mostly speeds up solving parity games S Cranen, JJA Keiren, TAC Willemse NASA Formal Methods Symposium, 207-221, 2011	17	2011
A cure for stuttering parity games S Cranen, JJA Keiren, TAC Willemse Theoretical Aspects of Computing-ICTAC 2012 7521, 198-212, 2012	15	2012
Designing case handling systems KM van Hee, J Keiren, R Post, N Sidorova, JM van der Werf Transactions on Petri Nets and Other Models of Concurrency I, 119-133, 2008	15	2008
Structural Analysis of Boolean Equation Systems JJA Keiren, MA Reniers, TAC Willemse ACM Transactions on Computational Logic (TOCL), 2010	11	2010
Tutorial: Designing Distributed Software in mCRL2 JF Groote, JJA Keiren International Conference on Formal Techniques for Distributed Objects …, 2021	10	2021
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2 JJA Keiren, MD Klabbers Electronic Communications of the EASST 53, 2013	10	2013
An experimental study of algorithms and optimisations for parity games, with an application to Boolean Equation Systems J Keiren Master’s thesis, Eindhoven University of Technology, 2009	8	2009
Constructability of trip-lets JJA Keiren, F van Walderveen, A Wolff Abstracts 25th European Workshop on Computational Geometry (EuroCG'09 …, 2009	8	2009

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

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用