Modeling Static Biological Compartments with Beta-binders. - Maria Luisa Guerriero; Corrado Priami; Alessandro Romanel (AB, 2007)

An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. - Maria Luisa Guerriero; John K. Heath; Corrado Priami (CMSB, 2007)

Modelling Biological Compartments in Bio-PEPA. - Federica Ciocchetta; Maria Luisa Guerriero (MeCBIC, 2008)

Integrated Simulation and Model-Checking for the Analysis of Biochemical Systems. - Federica Ciocchetta; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (PASM@EPEW, 2008)

Process Calculi Abstractions for Biology. - Maria Luisa Guerriero; Davide Prandi; Corrado Priami; Paola Quaglia (Algorithmic Bioprocesses, 2009)

Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network. - Ozgur E. Akman; Federica Ciocchetta; Andrea Degasperi; Maria Luisa Guerriero (CMSB, 2009)

The Bio-PEPA Tool Suite. - Federica Ciocchetta; Adam Duguid; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (QEST, 2009)

Design and Development of Software Tools for Bio-PEPA. - Adam Duguid; Stephen T. Gilmore; Maria Luisa Guerriero; Jane Hillston; Laurence Loewe (WSC, 2009)

Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway. - Maria Luisa Guerriero; Anna Dudka; Nicholas Underhill-Day; John K. Heath; Corrado Priami (BMC Syst. Biol., 2009)

A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA - Federica Ciocchetta; Adam Duguid; Maria Luisa Guerriero (MeCBIC, 2009)

Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway. - Maria Luisa Guerriero (Trans. Comp. Sys. Biology, 2009)

On verifying Bio-PEPA models. - Allan Clark; Stephen Gilmore; Maria Luisa Guerriero; Peter Kemper (CMSB, 2010)

Investigating modularity in the analysis of process algebra models of biochemical systems - Federica Ciocchetta; Maria Luisa Guerriero; Jane Hillston (FBTC, 2010)

Complementary approaches to understanding the plant circadian clock - Ozgur E. Akman; Maria Luisa Guerriero; Laurence Loewe; Carl Troein (FBTC, 2010)

Query-based verification of qualitative trends and oscillations in biochemical systems. - Paolo Ballarini; Maria Luisa Guerriero (Theor. Comput. Sci., 2010)

Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway. - Laurence Loewe; Maria Luisa Guerriero; Steven Watterson; Stuart L. Moodie; Peter Ghazal; Jane Hillston (Trans. Comp. Sys. Biology, 2011)

Conservation of Mass Analysis for Bio-PEPA. - Allan Clark; Stephen Gilmore; Maria Luisa Guerriero; Jane Hillston (PASM/PDMC, 2012)

A Software Interface Between the Narrative Language and Bio-PEPA. - Anastasis Georgoulas; Maria Luisa Guerriero (CS2Bio, 2012)

On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. - Chiara Bodei; Luca Bortolussi; Davide Chiarugi; Maria Luisa Guerriero; Alberto Policriti; Alessandro Romanel (Comput. Biol. Chem., 2015)