Federica Ciocchetta

Ferenc Jordán

J. Complex Networks, 2013

2011

A semi-quantitative equivalence for abstracting from fast reactions

[BibT_eX]

[DOI]

Vashti Galpin

Proceedings of the Proceedings Third International Workshop on Computational Models for Cell Processes, 2011

2010

Modelling and Analysis of the NF-<i>kappa</i>B Pathway in Bio-PEPA.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2010

Investigating modularity in the analysis of process algebra models of biochemical systems

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third Workshop From Biology To Concurrency and back, 2010

A Hierarchy of Networks Spanning from Individual Organisms to Ecological Landscapes.

[BibT_eX]

[DOI]

Ferenc Jordán

Gabriella Baranyi

Proceedings of the Network Science - Complexity in Nature and Technology., 2010

2009

Bio-PEPA with Events.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2009

Bio-PEPA: A framework for the modelling and analysis of biological systems.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2009

Bio-PEPA for Epidemiological Models.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on the Practical Application of Stochastic Modelling, 2009

A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA

[BibT_eX]

[DOI]

Adam Duguid

Proceedings of the Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2009

The Bio-PEPA Tool Suite.

[BibT_eX]

[DOI]

Adam Duguid

Stephen Gilmore

Proceedings of the QEST 2009, 2009

Modelling and analysis of the NF-$kappa$B pathway in Bio-PEPA.

[BibT_eX]

[DOI]

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 <i>Neurospora crassa</i> Circadian Network.

[BibT_eX]

[DOI]

Ozgur E. Akman

Andrea Degasperi

Proceedings of the Computational Methods in Systems Biology, 7th International Conference, 2009

2008

The BlenX Language with Biological Transactions.

[BibT_eX]

[DOI]

Trans. Comp. Sys. Biology, 2008

Modelling co-transcriptional cleavage in the synthesis of yeast pre-rRNA.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2008

An Automatic Translation of SBML into Beta-Binders.

[BibT_eX]

[DOI]

Corrado Priami

Paola Quaglia

IEEE ACM Trans. Comput. Biol. Bioinform., 2008

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems.

[BibT_eX]

[DOI]

Stephen Gilmore

Proceedings of the Third International Workshop on the Practical Application of Stochastic Modelling, 2008

Modelling Biological Compartments in Bio-PEPA.

[BibT_eX]

[DOI]

Proceedings of the Second International Meeting on Membrane Computing and Biologically Inspired Process Calculi, 2008

Some Investigations Concerning the CTMC and the ODE Model Derived From Bio-PEPA.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

Process Algebras in Systems Biology.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Computational Systems Biology, 2008

Integrated Analysis from Abstract Stochastic Process Algebra Models.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, 6th International Conference, 2008

2007

Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks.

[BibT_eX]

[DOI]

Proceedings of the First Workshop "From Biology To Concurrency and back", 2007

Modelling Yeast Pre-rRNA Processing.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2007

2006

Biological Transactions for Quantitative Models.

[BibT_eX]

[DOI]

Corrado Priami

Proceedings of the First Workshop on Membrane Computing and Biologically Inspired Process Calculi, 2006

2005

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

[BibT_eX]

[DOI]