| 1 | -- | 2 | Nicola Cannata, Emanuela Merelli, Irek Ulidowski. Preface |
| 3 | -- | 19 | Paolo Ballarini, Radu Mardare, Ivan Mura. Analysing Biochemical Oscillation through Probabilistic Model Checking |
| 21 | -- | 39 | Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Giovanni Pardini. Spatial Calculus of Looping Sequences |
| 41 | -- | 58 | Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei. Model Checking Biological Oscillators |
| 59 | -- | 74 | Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland. Improved Continuous Approximation of PEPA Models through Epidemiological Examples |
| 75 | -- | 92 | Luca Bortolussi, Alberto Policriti. The Importance of Being (A Little Bit) Discrete |
| 93 | -- | 108 | Dario Campagna, Carla Piazza. Hybrid Automata in Systems Biology: How Far Can We Go? |
| 109 | -- | 125 | Igor Cappello, Paola Quaglia. A Translation of Beta-binders in a Prioritized Pi-calculus |
| 127 | -- | 144 | Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips. A Process Model of Actin Polymerisation |
| 145 | -- | 163 | Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder. Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA |
| 165 | -- | 182 | Alessio Coletta, Roberta Gori, Francesca Levi. Approximating Probabilistic Behaviors of Biological Systems Using Abstract Interpretation |