Mark Timmer

Identifiers

• name variant Mark Timmer 0.60 · backfill

Papers (2)

1. Modelling, Reduction and Analysis of Markov Automata (extended version) cs.LO · 2013 · author #5
2. Confluence Reduction for Probabilistic Systems (extended version) cs.LO · 2010 · author #1

Mentions

• 1305.7050 #5 · backfill · confidence 0.70 Mark Timmer
• 1011.2314 #1 · backfill · confidence 0.70 Mark Timmer

Frequent Coauthors

• Dennis Guck 1 shared papers
• Hassan Hatefi 1 shared papers
• Holger Hermanns 1 shared papers
• Jaco van de Pol 1 shared papers
• Joost-Pieter Katoen 1 shared papers
• Mari\"elle Stoelinga 1 shared papers