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

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: Mark Timmer