Maria Luisa Guerriero

Publication Activity (10 Years)

Years Active: 2007-2015
Publications (10 Years): 1

Top Topics

Script Language

Graphical User Interfaces

Gene Regulatory

Human Problem Solving

Top Venues

Electron. Notes Theor. Comput. Sci.

Comput. Biol. Chem.

Publications

Chiara Bodei, Luca Bortolussi, Davide Chiarugi, Maria Luisa Guerriero, Alberto Policriti, Alessandro Romanel
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks. Comput. Biol. Chem. 56 (2015)
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
Conservation of Mass Analysis for Bio-PEPA. Electron. Notes Theor. Comput. Sci. 296 (2013)
Anastasis Georgoulas, Maria Luisa Guerriero
A Software Interface Between the Narrative Language and Bio-PEPA. Electron. Notes Theor. Comput. Sci. 293 (2013)
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. Trans. Comp. Sys. Biology 13 (2011)
Federica Ciocchetta, Maria Luisa Guerriero, Jane Hillston
Investigating modularity in the analysis of process algebra models of biochemical systems FBTC (2010)
Allan Clark, Stephen Gilmore, Maria Luisa Guerriero, Peter Kemper
On verifying Bio-PEPA models. CMSB (2010)
Paolo Ballarini, Maria Luisa Guerriero
Query-based verification of qualitative trends and oscillations in biochemical systems. Theor. Comput. Sci. 411 (20) (2010)
Ozgur E. Akman, Maria Luisa Guerriero, Laurence Loewe, Carl Troein
Complementary approaches to understanding the plant circadian clock FBTC (2010)
Maria Luisa Guerriero
Qualitative and Quantitative Analysis of a Bio-PEPA Model of the Gp130/JAK/STAT Signalling Pathway. Trans. Comp. Sys. Biology 11 (2009)
Maria Luisa Guerriero, Anna Dudka, Nicholas Underhill-Day, John K. Heath, Corrado Priami
Narrative-based computational modelling of the Gp130/JAK/STAT signalling pathway. BMC Syst. Biol. 3 (2009)
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, 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)
Maria Luisa Guerriero, Davide Prandi, Corrado Priami, Paola Quaglia
Process Calculi Abstractions for Biology. Algorithmic Bioprocesses (2009)
Ozgur E. Akman, Federica Ciocchetta, Andrea Degasperi, Maria Luisa Guerriero
Circadian Network. CMSB (2009)
Federica Ciocchetta, Adam Duguid, Stephen Gilmore, Maria Luisa Guerriero, Jane Hillston
The Bio-PEPA Tool Suite. QEST (2009)
Adam Duguid, Stephen T. Gilmore, Maria Luisa Guerriero, Jane Hillston, Laurence Loewe
Design and Development of Software Tools for Bio-PEPA. WSC (2009)
Maria Luisa Guerriero, Corrado Priami, Alessandro Romanel
Modeling Static Biological Compartments with Beta-binders. AB (2007)
Maria Luisa Guerriero, John K. Heath, Corrado Priami
An Automated Translation from a Narrative Language for Biological Modelling into Process Algebra. CMSB (2007)