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 |