Federica Ciocchetta

Publication Activity (10 Years)

Years Active: 2003-2013
Publications (10 Years): 0

Top Topics

Agent Based Models

Individual Level

Network Effects

Simulation Models

Top Venues

J. Complex Networks

Publications

Marco Scotti, Federica Ciocchetta, Ferenc Jordán
Social and landscape effects on food webs: a multi-level network simulation model. J. Complex Networks 1 (2) (2013)
Vashti Galpin, Jane Hillston, Federica Ciocchetta
A semi-quantitative equivalence for abstracting from fast reactions CompMod (2011)
Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston
Investigating modularity in the analysis of process algebra models of biochemical systems FBTC (2010)
Federica Ciocchetta, Jane Hillston
Bio-PEPA for Epidemiological Models. Electron. Notes Theor. Comput. Sci. 261 (2010)
Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston
B Pathway in Bio-PEPA. Trans. Comp. Sys. Biology 12 (2010)
Federica Ciocchetta, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. Electron. Notes Theor. Comput. Sci. 232 (2009)
Federica Ciocchetta
Bio-PEPA with Events. Trans. Comp. Sys. Biology 11 (2009)
Federica Ciocchetta, Maria Luisa Guerriero
Modelling Biological Compartments in Bio-PEPA. Electron. Notes Theor. Comput. Sci. 227 (2009)
Federica Ciocchetta, Adam Duguid, Maria Luisa Guerriero
A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA MeCBIC (2009)
Federica Ciocchetta, Andrea Degasperi, Jane Hillston, Muffy Calder
Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Federica Ciocchetta, Jane Hillston
Bio-PEPA: A framework for the modelling and analysis of biological systems. Theor. Comput. Sci. 410 (33-34) (2009)
Ozgur E. Akman, Federica Ciocchetta, Andrea Degasperi, Maria Luisa Guerriero
Circadian Network. CMSB (2009)
Federica Ciocchetta, Andrea Degasperi, John K. Heath, Jane Hillston
Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA. Formal Methods in Molecular Biology (2009)
Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
The Bio-PEPA Tool Suite. QEST (2009)
Federica Ciocchetta, Corrado Priami, Paola Quaglia
An Automatic Translation of SBML into Beta-Binders. IEEE ACM Trans. Comput. Biol. Bioinform. 5 (1) (2008)
Jane Hillston, Federica Ciocchetta, Adam Duguid, Stephen Gilmore
Integrated Analysis from Abstract Stochastic Process Algebra Models. CMSB (2008)
Federica Ciocchetta
The BlenX Language with Biological Transactions. Trans. Comp. Sys. Biology 9 (2008)
Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey
Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA. Theor. Comput. Sci. 408 (1) (2008)
Federica Ciocchetta, Jane Hillston
Process Algebras in Systems Biology. SFM (2008)
Federica Ciocchetta, Jane Hillston
Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. Electron. Notes Theor. Comput. Sci. 194 (3) (2008)
Federica Ciocchetta, Jane Hillston, Martin Kos, David Tollervey
Modelling Yeast Pre-rRNA Processing. CMSB (2007)
Federica Ciocchetta, Corrado Priami
Biological Transactions for Quantitative Models. Electron. Notes Theor. Comput. Sci. 171 (2) (2007)
Federica Ciocchetta, Corrado Priami, Paola Quaglia
Modeling Kohn Interaction Maps with Beta-Binders: An Example. Trans. Comp. Sys. Biology 3 (2005)
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)