| |
| 2009 | ||
|---|---|---|
| 4 | EE | Federica Ciocchetta, Maria Luisa Guerriero: Modelling Biological Compartments in Bio-PEPA. Electr. Notes Theor. Comput. Sci. 227: 77-95 (2009) |
| 3 | EE | Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston: Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. Electr. Notes Theor. Comput. Sci. 232: 17-38 (2009) |
| 2007 | ||
| 2 | EE | Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel: Modeling Static Biological Compartments with Beta-binders. AB 2007: 247-261 |
| 1 | EE | Maria Luisa Guerriero, John K. Heath, Corrado Priami: An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. CMSB 2007: 136-151 |
| 1 | Federica Ciocchetta | [3] [4] |
| 2 | Stephen Gilmore (Stephen T. Gilmore) | [3] |
| 3 | John K. Heath | [1] |
| 4 | Jane Hillston | [3] |
| 5 | Corrado Priami | [1] [2] |
| 6 | Alessandro Romanel | [2] |