Mark D. Timmer, Ph.D.

Affiliations: 
Rice University, Houston, TX 
Area:
biomaterials for use as scaffolds for tissue engineering, as carriers for controlled drug delivery, and as non-viral vectors for gene therapy
Google:
"Mark Timmer"
Mean distance: 9.18
 
SNBCP

Parents

Sign in to add mentor
Antonios Georgios Mikos grad student 2004 Rice University
 (Development of a biodegradable interbody fusion device.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Timmer M, Katoen JP, van de Pol J, et al. (2015) Confluence reduction for Markov automata Theoretical Computer Science
Hartmanns A, Timmer M. (2015) Sound statistical model checking for MDP using partial order and confluence reduction International Journal On Software Tools For Technology Transfer. 17: 429-456
Guck D, Hatefi H, Hermanns H, et al. (2014) Analysis of timed and long-run objectives for markov automata Logical Methods in Computer Science. 10
Hansen H, Timmer M. (2014) A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time Theoretical Computer Science. 538: 103-123
Guck D, Timmer M, Hatefi H, et al. (2014) Modelling and analysis of markov reward automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8837: 168-184
Tijink M, Janssen J, Timmer M, et al. (2013) Development of novel membranes for blood purification therapies based on copolymers of N-vinylpyrrolidone and n-butylmethacrylate Journal of Materials Chemistry B. 1: 6066-6077
Guck D, Hatefi H, Hermanns H, et al. (2013) Modelling, reduction and analysis of Markov automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8054: 55-71
Stokkink WGJ, Timmer M, Stoelinga MIA. (2013) Divergent quiescent transition systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7942: 214-231
Hartmanns A, Timmer M. (2013) On-the-fly confluence detection for statistical model checking Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7871: 337-351
Stokkink G, Timmer M, Stoelinga M. (2012) Talking quiescence: A rigorous theory that supports parallel composition, action hiding and determinisation Electronic Proceedings in Theoretical Computer Science, Eptcs. 80: 73-87
See more...