| 2009 |
| 12 | EE | Federica Ciocchetta,
Maria Luisa Guerriero:
Modelling Biological Compartments in Bio-PEPA.
Electr. Notes Theor. Comput. Sci. 227: 77-95 (2009) |
| 11 | EE | Federica Ciocchetta,
Andrea Degasperi,
Jane Hillston,
Muffy Calder:
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA.
Electr. Notes Theor. Comput. Sci. 229(1): 145-163 (2009) |
| 10 | 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) |
| 2008 |
| 9 | EE | Jane Hillston,
Federica Ciocchetta,
Adam Duguid,
Stephen Gilmore:
Integrated Analysis from Abstract Stochastic Process Algebra Models.
CMSB 2008: 2-4 |
| 8 | EE | Federica Ciocchetta,
Jane Hillston:
Process Algebras in Systems Biology.
SFM 2008: 265-312 |
| 7 | EE | Federica Ciocchetta,
Jane Hillston:
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks.
Electr. Notes Theor. Comput. Sci. 194(3): 103-117 (2008) |
| 6 | EE | Federica Ciocchetta,
Corrado Priami,
Paola Quaglia:
An Automatic Translation of SBML into Beta-Binders.
IEEE/ACM Trans. Comput. Biology Bioinform. 5(1): 80-90 (2008) |
| 5 | EE | Federica Ciocchetta,
Jane Hillston,
Martin Kos,
David Tollervey:
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA.
Theor. Comput. Sci. 408(1): 41-54 (2008) |
| 2007 |
| 4 | EE | Federica Ciocchetta,
Jane Hillston,
Martin Kos,
David Tollervey:
Modelling Yeast Pre-rRNA Processing.
CMSB 2007: 32-47 |
| 3 | EE | Federica Ciocchetta,
Corrado Priami:
Biological Transactions for Quantitative Models.
Electr. Notes Theor. Comput. Sci. 171(2): 55-67 (2007) |
| 2005 |
| 2 | EE | Federica Ciocchetta,
Corrado Priami,
Paola Quaglia:
Modeling Kohn Interaction Maps with Beta-Binders: An Example.
T. Comp. Sys. Biology: 33-48 (2005) |
| 2003 |
| 1 | EE | Federica Ciocchetta,
Rossana Dell'Anna,
Francesca Demichelis,
Amar Paul Dhillon,
Alberto Quaglia,
Andrea Sboner:
Combining Supervised and Unsupervised Methods to Support Early Diagnosis of Hepatocellular Carcinoma.
AIME 2003: 239-243 |