 | Up a level |
Breitling, Rainer and Bruggeman, Frank J. and Priami, Corrado and Uhrmacher, Adelinde M. (2011) Formal Methods in Molecular Biology (Dagstuhl Seminar 11151). Schloss Dagstuhl--Leibniz-Zentrum für Informatik.
Leye, Stefan and Uhrmacher, Adelinde M. and Priami, Corrado (2008) A Bounded-Optimistic, Parallel Beta-Binders Simulator. In: 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, 2008, October 27-29, Vancouver, BC, Canada. Proceedings,, pp. 139-148.
Leye, Stefan and Priami, Corrado and Uhrmacher, Adelinde M. (2007) A Parallel Beta-binders Simulator. Technical Report. The Microsoft Research - University of Trento, Centre for Computational and Systems Biology.
Nicol, David M. and Priami, Corrado and Nielson, Hanne Riis and Uhrmacher, Adelinde M. (2006) 06161 Abstracts Collection — Simulation and Verification of Dynamic Systems. In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006.
Nielson, Hanne Riis and Nicol, David M. and Priami, Corrado and Uhrmacher, Adelinde M. (2006) 06161 Executive Summary — Simulation and Verification of Dynamic Systems. In: Simulation and Verification of Dynamic Systems, 17.04. - 22.04.2006.
Himmelspach, Jan and Lecca, Paola and Prandi, Davide and Priami, Corrado and Quaglia, Paola and Uhrmacher, Adelinde M. (2006) Developing An Hierarchical Simulator for Beta-binders. In: 20th IEEE/ACM/SCS Workshop on Principles of Advanced and Distributed Simulation, PADS 2006, Singapore, May 23-26, 2006. Proceedings,, pp. 92-102.
Uhrmacher, Adelinde M. and Priami, Corrado (2005) Discrete Event Systems Specification in Systems Biology - A Discussion of Stochastic Pi calculius and DEVS. In: Winter Simulation Conference (WSC'2005), December 4-7, Orlando, FL, USA. Proceedings,, pp. 317-326.
