Author Info
Name
Affiliation
Papers
J. J. A. KEIREN
Department of Mathematics and Computer Science, Technische Universiteit Eindhoven, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
18
Collaborators
Citations 
PageRank 
22
97
8.13
Referers 
Referees 
References 
151
265
227
Search Limit
100265
Title
Citations
PageRank
Year
The mCRL2 Toolset for Analysing Concurrent Systems - Improvements in Expressivity and Usability.00.342019
Parity Game Reductions.00.342018
An O(mlogn) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation.60.502017
GAMES FOR BISIMULATIONS AND ABSTRACTION00.342017
Corrections to A Menagerie of Timed Automata.00.342017
Stuttering equivalence is too slow!00.342016
Benchmarks for Parity Games.00.342015
Liveness Analysis for Parameterised Boolean Equation Systems.30.402014
An overview of the mCRL2 toolset and its recent advances581.512013
Formalising and analysing the control software of the Compact Muon Solenoid Experiment at the Large Hadron Collider.60.462013
Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction10.362013
Structural Analysis of Boolean Equation Systems00.342012
Modelling and verifying IEEE Std 11073-20601 session setup using mCRL2.20.392012
A cure for stuttering parity games50.462012
Experiences in developing the mCRL2 toolset40.402011
Stuttering mostly speeds up solving parity games50.482011
Stuttering Equivalence for Parity Games00.342011
Bisimulation minimisations for boolean equation systems70.482009