1 | -- | 3 | Nicola Cannata, Emanuela Merelli. Preface |
5 | -- | 18 | Bogdan Aman, Gabriel Ciobanu. Describing the Immune System Using Enhanced Mobile Membranes |
19 | -- | 34 | Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo. An Intermediate Language for the Simulation of Biological Systems |
35 | -- | 50 | Jiri Barnat, Lubos Brim, Ivana Cerná, S. Drazan, David Safránek. Parallel Model Checking Large-Scale Genetic Regulatory Networks with DiVinE |
51 | -- | 67 | Ezio Bartocci, Flavio Corradini, Maria Rita Di Berardini, Emilia Entcheva, Radu Grosu, Scott A. Smolka. Spatial Networks of Hybrid I/O Automata for Modeling Excitable Tissue |
69 | -- | 85 | Chiara Bodei. A Static Analysis for Beta-Binders |
87 | -- | 102 | Luca Cardelli, Philippa Gardner, Ozan Kahramanogullari. A Process Model of Rho GTP-binding Proteins in the Context of Phagocytosis |
103 | -- | 117 | Federica Ciocchetta, Jane Hillston. Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks |
119 | -- | 131 | David Harel, Yaki Setty, Sol Efroni, Naamah Swerdlin, Irun R. Cohen. Concurrency in Biological Modeling: Behavior, Execution and Visualization |
133 | -- | 148 | Mathias John, Roland Ewald, Adelinde M. Uhrmacher. A Spatial Extension to the pi Calculus |
149 | -- | 164 | Claudia Täubner, Silke Eckstein. Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine |
165 | -- | 180 | Cristian Versari, Nadia Busi. Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes |