| biblio | Emerging Patterns in Tumor Systems: Simulating the Dynamics of Multicellular Clusters with an Agent-based Spatial Agglomeration Model | milazzo |
| Story | News | admin |
| biblio | The effects of EFG-receptor density on multiscale tumor growth patterns | milazzo |
| biblio | Qualitative and Quantitative Formal Modeling of Biological Systems | milazzo |
| biblio | Bisimulation Congruences in the Calculus of Looping Sequences | milazzo |
| biblio | A Calculus of Looping Sequences form Modelling Microbiological Systems | milazzo |
| biblio | A Probabilistic Model for Molecular Systems | milazzo |
| biblio | Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level | milazzo |
| biblio | The Calculus of Looping Sequences for Modeling Biological Membranes | milazzo |
| biblio | An Intermediate Language for Simulation of Biological Systems | milazzo |
| biblio | Compositional Semantics and Behavioral Equivalences for P Systems | milazzo |
| biblio | Bisimulations in Calculi Modelling Membranes | milazzo |
| Page | School SFM-08:Bio (Bertinoro, 2-7 June 2008) | admin |
| Page | Mini Workshop on Computational Approaches to Biology (Pisa, 18-26 October 2007) | admin |
| Page | Trento | admin |
| Page | Bologna | admin |
| Page | Siena | admin |
| Page | The Unit of Pisa | admin |
| Page | Consortium | admin |
| Page | The Unit of Udine | admin |
| Page | Kick-off meeting at Siena | admin |
| Page | About the BISCA Project | admin |
| biblio | Test Article | testcoordinator |
| biblio | Test Proceeding Article | comini |
