Mark D. Timmer, Ph.D. - Publications

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

33 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2015 Timmer M, Katoen JP, van de Pol J, Stoelinga M. Confluence reduction for Markov automata Theoretical Computer Science. DOI: 10.1016/j.tcs.2016.01.017  0.96
2015 Hartmanns A, Timmer M. Sound statistical model checking for MDP using partial order and confluence reduction International Journal On Software Tools For Technology Transfer. 17: 429-456. DOI: 10.1007/s10009-014-0349-7  0.96
2014 Guck D, Hatefi H, Hermanns H, Katoen JP, Timmer M. Analysis of timed and long-run objectives for markov automata Logical Methods in Computer Science. 10. DOI: 10.2168/LMCS-10(3:17)2014  0.96
2014 Hansen H, Timmer M. A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time Theoretical Computer Science. 538: 103-123. DOI: 10.1016/j.tcs.2013.07.014  0.96
2014 Guck D, Timmer M, Hatefi H, Ruijters E, Stoelinga M. 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.  0.96
2013 Tijink M, Janssen J, Timmer M, Austen J, Aldenhoff Y, Kooman J, Koole L, Damoiseaux J, Van Oerle R, Henskens Y, Stamatialis D. 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. DOI: 10.1039/c3tb20964d  0.96
2013 Guck D, Hatefi H, Hermanns H, Katoen JP, Timmer M. 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. DOI: 10.1007/978-3-642-40196-1_5  0.96
2013 Stokkink WGJ, Timmer M, Stoelinga MIA. Divergent quiescent transition systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7942: 214-231. DOI: 10.1007/978-3-642-38916-0_13  0.96
2013 Hartmanns A, Timmer M. 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. DOI: 10.1007/978-3-642-38088-4_23  0.96
2012 Stokkink G, Timmer M, Stoelinga M. Talking quiescence: A rigorous theory that supports parallel composition, action hiding and determinisation Electronic Proceedings in Theoretical Computer Science, Eptcs. 80: 73-87. DOI: 10.4204/EPTCS.80.6  0.96
2012 Katoen JP, Van De Pol J, Stoelinga M, Timmer M. A linear process-algebraic format with data for probabilistic automata Theoretical Computer Science. 413: 36-57. DOI: 10.1016/j.tcs.2011.07.021  0.96
2012 Timmer M, Katoen JP, Van De Pol J, Stoelinga MIA. Efficient modelling and generation of Markov automata Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 7454: 364-379. DOI: 10.1007/978-3-642-32940-1_26  0.96
2011 Timmer M. SCOOP: A tool for symbolic optimisations of probabilistic processes Proceedings of the 2011 8th International Conference On Quantitative Evaluation of Systems, Qest 2011. 149-150. DOI: 10.1109/QEST.2011.27  0.96
2011 Timmer M, Stoelinga M, Van De Pol J. Confluence reduction for probabilistic systems Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 6605: 311-325. DOI: 10.1007/978-3-642-19835-9_29  0.96
2010 Katoeny JP, Van De Pol J, Stoelinga M, Timmer M. A linear process-algebraic format for probabilistic systems with data Proceedings - International Conference On Application of Concurrency to System Design, Acsd. 213-222. DOI: 10.1109/ACSD.2010.15  0.96
2009 Stoelinga M, Timmer M. Interpreting a successful testing process: Risk and actual coverage Proceedings - 2009 3rd Ieee International Symposium On Theoretical Aspects of Software Engineering, Tase 2009. 251-258. DOI: 10.1109/TASE.2009.26  0.96
2009 Van De Pol J, Timmer M. State space reduction of linear processes using control flow reconstruction Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 5799: 54-68. DOI: 10.1007/978-3-642-04761-9_5  0.96
2007 Dines JS, Weber L, Razzano P, Prajapati R, Timmer M, Bowman S, Bonasser L, Dines DM, Grande DP. The effect of growth differentiation factor-5-coated sutures on tendon repair in a rat model Journal of Shoulder and Elbow Surgery. 16: S215-S221. PMID 17507245 DOI: 10.1016/j.jse.2007.03.001  0.96
2006 Timmer M, De Boer PT, Pras A. How to identify the speed limiting factor of a TCP flow 4th Ieee/Ifip Workshop On End-to-End Monitoring Techniques and Services, E2emon. 2006: 17-24.  0.96
2005 Hedberg EL, Shih CK, Lemoine JJ, Timmer MD, Liebschner MA, Jansen JA, Mikos AG. In vitro degradation of porous poly(propylene fumarate)/poly(DL-lactic-co-glycolic acid) composite scaffolds. Biomaterials. 26: 3215-25. PMID 15603816 DOI: 10.1016/j.biomaterials.2004.09.012  0.96
2004 Horch RA, Shahid N, Mistry AS, Timmer MD, Mikos AG, Barron AR. Nanoreinforcement of poly(propylene fumarate)-based networks with surface modified alumoxane nanoparticles for bone tissue engineering. Biomacromolecules. 5: 1990-8. PMID 15360315 DOI: 10.1021/bm049768s  0.96
2004 Hedberg EL, Shih CK, Timmer MD, Lemoine JJ, Liebschner MAK, Jansen JA, Mikos AG. In vitro degradation of poly(propylene fumarate)-based controlled release scaffolds Transactions - 7th World Biomaterials Congress. 331.  0.96
2003 Fisher JP, Timmer MD, Holland TA, Dean D, Engel PS, Mikos AG. Photoinitiated cross-linking of the biodegradable polyester poly(propylene fumarate). Part I. Determination of network structure. Biomacromolecules. 4: 1327-34. PMID 12959602 DOI: 10.1021/bm030028d  0.96
2003 Timmer MD, Carter C, Ambrose CG, Mikos AG. Fabrication of poly(propylene fumarate)-based orthopaedic implants by photo-crosslinking through transparent silicone molds. Biomaterials. 24: 4707-14. PMID 12951014 DOI: 10.1016/S0142-9612(03)00364-8  0.96
2003 Timmer MD, Ambrose CG, Mikos AG. Evaluation of thermal- and photo-crosslinked biodegradable poly(propylene fumarate)-based networks. Journal of Biomedical Materials Research. Part A. 66: 811-8. PMID 12926033 DOI: 10.1002/jbm.a.10011  0.96
2003 Timmer MD, Shin H, Horch RA, Ambrose CG, Mikos AG. In vitro cytotoxicity of injectable and biodegradable poly(propylene fumarate)-based networks: unreacted macromers, cross-linked networks, and degradation products. Biomacromolecules. 4: 1026-33. PMID 12857088 DOI: 10.1021/bm0300150  0.96
2003 Timmer MD, Horch RA, Ambrose CG, Mikos AG. Effect of physiological temperature on the mechanical properties and network structure of biodegradable poly(propylene fumarate)-based networks. Journal of Biomaterials Science. Polymer Edition. 14: 369-82. PMID 12747675 DOI: 10.1163/156856203321478874  0.96
2003 Timmer MD, Ambrose CG, Mikos AG. In vitro degradation of polymeric networks of poly(propylene fumarate) and the crosslinking macromer poly(propylene fumarate)-diacrylate. Biomaterials. 24: 571-7. PMID 12437951 DOI: 10.1016/S0142-9612(02)00368-X  0.96
2002 Behravesh E, Timmer MD, Lemoine JJ, Liebschner MA, Mikos AG. Evaluation of the in vitro degradation of macroporous hydrogels using gravimetry, confined compression testing, and microcomputed tomography. Biomacromolecules. 3: 1263-70. PMID 12425664 DOI: 10.1021/bm020067+  0.96
2002 Shung AK, Timmer MD, Jo S, Engel PS, Mikos AG. Kinetics of poly(propylene fumarate) synthesis by step polymerization of diethyl fumarate and propylene glycol using zinc chloride as a catalyst. Journal of Biomaterials Science. Polymer Edition. 13: 95-108. PMID 12003078 DOI: 10.1163/156856202753525963  0.96
2002 Timmer MD, Jo S, Wang C, Ambrose CG, Mikos AG. Characterization of the cross-linked structure of fumarate-based degradable polymer networks Macromolecules. 35: 4373-4379. DOI: 10.1021/ma020028q  0.96
2002 Behravesh E, Timmer MD, Lemoine JJ, Liebschner MAK, Mikos AG. In vitro degradation of in situ crosslinkable poly(propylene fumarate-co-ethylene glycol)-based macroporous hydrogels Annual International Conference of the Ieee Engineering in Medicine and Biology - Proceedings. 1: 804-805.  0.96
2001 He S, Timmer MD, Yaszemski MJ, Yasko AW, Engel PS, Mikos AG. Synthesis of biodegradable poly(propylene fumarate) networks with poly(propylene fumarate)-diacrylate macromers as crosslinking agents and characterization of their degradation products Polymer. 42: 1251-1260.  0.96
Show low-probability matches.