Jeroen J. A. Keiren

Available identifiers

zbMath Open keiren.jeroen-j-aMaRDI QIDQ1656551

List of research outcomes

Publication	Date of Publication	Type
Extensible Proof Systems for Infinite-State Systems	2024-02-21	Paper
Deadlock in packet switching networks	2022-06-17	Paper
An O(m log n) algorithm for branching bisimilarity on labelled transition systems	2021-11-10	Paper
Corrections to “A Menagerie of Timed Automata”	2019-08-09	Paper
Parity game reductions	2018-08-10	Paper
https://portal.mardi4nfdi.de/entity/Q4596797	2017-12-11	Paper
An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation	2017-07-13	Paper
Branching Bisimulation Games	2016-10-19	Paper
Liveness Analysis for Parameterised Boolean Equation Systems	2015-12-17	Paper
Structural Analysis of Boolean Equation Systems	2015-09-17	Paper
An Overview of the mCRL2 Toolset and Its Recent Advances	2013-08-05	Paper
A Cure for Stuttering Parity Games	2012-09-21	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jeroen J. A. Keiren