Mark Timmer

Available identifiers

zbMath Open timmer.markDBLP93/1126WikidataQ62058082 ScholiaQ62058082MaRDI QIDQ507379

List of research outcomes

Publication	Date of Publication	Type
Testing divergent transition systems	2020-02-24	Paper
Confluence reduction for Markov automata	2017-02-06	Paper
Modelling and analysis of Markov reward automata	2015-12-17	Paper
Analysis of timed and long-run objectives for Markov automata	2014-09-30	Paper
A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time	2014-06-06	Paper
Confluence reduction for Markov automata	2013-08-16	Paper
Efficient modelling and generation of Markov automata	2012-09-25	Paper
A linear process-algebraic format with data for probabilistic automata	2012-03-13	Paper
Confluence Reduction for Probabilistic Systems	2011-05-19	Paper
State space reduction of linear processes using control flow reconstruction	2009-12-01	Paper

Research outcomes over time

This page was built for person: Mark Timmer