 | 2011 |
| 14 |  | Laurence Loewe,
Maria Luisa Guerriero,
Steven Watterson,
Stuart L. Moodie,
Peter Ghazal,
Jane Hillston:
Translation from the Quantified Implicit Process Flow Abstraction in SBGN-PD Diagrams to Bio-PEPA Illustrated on the Cholesterol Pathway.
T. Comp. Sys. Biology 13: 13-38 (2011) |
| 2010 |
| 13 |  | Allan Clark,
Stephen Gilmore,
Maria Luisa Guerriero,
Peter Kemper:
On verifying Bio-PEPA models.
CMSB 2010: 23-32 |
| 12 |  | Ozgur E. Akman,
Maria Luisa Guerriero,
Laurence Loewe,
Carl Troein:
Complementary approaches to understanding the plant circadian clock
FBTC 2010: 1-19 |
| 11 |  | Federica Ciocchetta,
Maria Luisa Guerriero,
Jane Hillston:
Investigating modularity in the analysis of process algebra models of biochemical systems
FBTC 2010: 55-69 |
| 10 |  | Paolo Ballarini,
Maria Luisa Guerriero:
Query-based verification of qualitative trends and oscillations in biochemical systems.
Theor. Comput. Sci. 411(20): 2019-2036 (2010) |
| 2009 |
| 9 |  | Ozgur E. Akman,
Federica Ciocchetta,
Andrea Degasperi,
Maria Luisa Guerriero:
Modelling Biological Clocks with Bio-PEPA: Stochasticity and Robustness for the Neurospora crassa Circadian Network.
CMSB 2009: 52-67 |
| 8 |  | Federica Ciocchetta,
Adam Duguid,
Maria Luisa Guerriero:
A compartmental model of the cAMP/PKA/MAPK pathway in Bio-PEPA
MeCBIC 2009: 71-90 |
| 7 |  | Federica Ciocchetta,
Adam Duguid,
Stephen Gilmore,
Maria Luisa Guerriero,
Jane Hillston:
The Bio-PEPA Tool Suite.
QEST 2009: 309-310 |
| 6 |  | Adam Duguid,
Stephen T. Gilmore,
Maria Luisa Guerriero,
Jane Hillston,
Laurence Loewe:
Design and Development of Software Tools for Bio-PEPA.
Winter Simulation Conference 2009: 956-967 |
| 5 |  | Federica Ciocchetta,
Maria Luisa Guerriero:
Modelling Biological Compartments in Bio-PEPA.
Electr. Notes Theor. Comput. Sci. 227: 77-95 (2009) |
| 4 |  | 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) |
| 3 |  | Maria Luisa Guerriero:
Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway.
T. Comp. Sys. Biology 11: 90-115 (2009) |
| 2007 |
| 2 |  | Maria Luisa Guerriero,
Corrado Priami,
Alessandro Romanel:
Modeling Static Biological Compartments with Beta-binders.
AB 2007: 247-261 |
| 1 |  | Maria Luisa Guerriero,
John K. Heath,
Corrado Priami:
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra.
CMSB 2007: 136-151 |