Federica Ciocchetta

According to our database1, Federica Ciocchetta authored at least 24 papers between 2003 and 2013.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Social and landscape effects on food webs: a multi-level network simulation model.
J. Complex Networks, 2013

2011
A semi-quantitative equivalence for abstracting from fast reactions
Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

2010
Modelling and Analysis of the NF-kappaB Pathway in Bio-PEPA.
Trans. Computational Systems Biology, 2010

Bio-PEPA for Epidemiological Models.
Electr. Notes Theor. Comput. Sci., 2010

Investigating modularity in the analysis of process algebra models of biochemical systems
Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

2009
Bio-PEPA with Events.
Trans. Computational Systems Biology, 2009

Bio-PEPA: A framework for the modelling and analysis of biological systems.
Theor. Comput. Sci., 2009

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems.
Electr. Notes Theor. Comput. Sci., 2009

Modelling Biological Compartments in Bio-PEPA.
Electr. Notes Theor. Comput. Sci., 2009

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA.
Electr. Notes Theor. Comput. Sci., 2009

A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA
Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

The Bio-PEPA Tool Suite.
Proceedings of the QEST 2009, 2009

Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA.
Proceedings of the Formal Methods in Molecular Biology, 22.02. - 27.02.2009, 2009

Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network.
Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008
The BlenX Language with Biological Transactions.
Trans. Computational Systems Biology, 2008

Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA.
Theor. Comput. Sci., 2008

An Automatic Translation of SBML into Beta-Binders.
IEEE/ACM Trans. Comput. Biology Bioinform., 2008

Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks.
Electr. Notes Theor. Comput. Sci., 2008

Process Algebras in Systems Biology.
Proceedings of the Formal Methods for Computational Systems Biology, 2008

Integrated Analysis from Abstract Stochastic Process Algebra Models.
Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007
Biological Transactions for Quantitative Models.
Electr. Notes Theor. Comput. Sci., 2007

Modelling Yeast Pre-rRNA Processing.
Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2005
Modeling Kohn Interaction Maps with Beta-Binders: An Example.
, 2005

2003
Combining Supervised and Unsupervised Methods to Support Early Diagnosis of Hepatocellular Carcinoma.
Proceedings of the Artificial Intelligence in Medicine, 2003


  Loading...