FBTC 2008 Accepted Papers

1. Paolo Ballarini, Radu Mardare, Ivan Mura.
   Analysing Biochemical Oscillation through Probabilistic Model Checking
2. Roberto Barbuti, Andrea Maggiolo Schettini, Paolo Milazzo, Giovanni Pardini.
   Topological Calculus of Looping Sequences
3. Ezio Bartocci, Flavio Corradini, Emanuela Merelli, Luca Tesei.
   Model Checking Biological Oscillators
4. Luca Bortolussi, Alberto Policriti.
   The Importance of Being (a little bit) Discrete
5. Dario Campagna, Carla Piazza.
   Hybrid Automata in Systems Biology: How far can we go?
6. Igor Cappello, Paola Quaglia.
   A Translation of Beta-binders in a Prioritized pi-calculus
7. Luca Cardelli, Emmanuelle Caron, Philippa Gardner, Ozan Kahramanogullari, Andrew Phillips.
   A Process Model of Actin Polymerisation
8. Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder.
   Some Investigations Concerning the CTMC and the ODE Model Derived from Bio-PEPA
9. Alessio Coletta, Roberta Gori, Francesca Levi.
   Approximating Probabilistic Behaviours of Biological Systems using Abstract Interpretation
10. Soufiene Benkirane, Jane Hillston, Chris McCaig, Rachel Norman, Carron Shankland.
    Improved Continuous Approximation of PEPA Models through Epidemiological Examples

Back to FBTC 2008 Webpage