Mark Timmer

The effect of growth differentiation factor-5–coated sutures on tendon repair in a rat model

Joshua S. Dines, Lawrence Weber, Pasquale Razzano et al. · Journal of Shoulder and Elbow Surgery · 2007 · 128 citations

Medicine, Orthopaedic Surgery, Orthopedic Surgery +16

Analysis of Timed and Long-Run Objectives for Markov Automata

Dennis Guck, Hassan Hatefi, Holger Hermanns et al. · Logical Methods in Computer Science · 2014 · 33 citations · Full text

Engineering, Computer Systems, Systems Engineering +16

SCOOP: A Tool for SymboliC Optimisations of Probabilistic Processes

Mark Timmer · 2011 · 22 citations · Full text

Computing, Computer Science, Algorithms +16

A linear process-algebraic format with data for probabilistic automata

Joost-Pieter Katoen, Jaco van de Pol, Mariëlle Stoelinga et al. · Theoretical Computer Science · 2011 · 15 citations

Computing, Computer Science, Mathematics +14

Sound statistical model checking for MDP using partial order and confluence reduction

Arnd Hartmanns, Mark Timmer · International Journal on Software Tools for Technology Transfer · 2014 · 11 citations · Full text

Computing, Computer Science, Algorithms +8