Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways

Cached

Download Links

by Roberto Barbuti , Andrea Maggiolo-schettini , Paolo Milazzo , Paolo Tiberi , Angelo Troina

Citations:

BibTeX

@MISC{Barbuti_stochasticcalculus,
    author = {Roberto Barbuti and Andrea Maggiolo-schettini and Paolo Milazzo and Paolo Tiberi and Angelo Troina},
    title = {Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways},
    year = {}
}

Bookmark

OpenURL

Abstract

Citations

503	Exact stochastic simulation of coupled chemical reactions - Gillespie - 1977
315	Membrane Computing. An Introduction - Păun
162	Representation and simulation of biochemical processes using the pi-calculus process algebra - Regev, Silverman, et al. - 2001
155	Application of a Stochastic Name-Passing Calculus to Representation and - Priami, Regev, et al. - 2001
142	E: Bioambients: An abstraction for biological compartements - Regev, Panina, et al.
115	D.: Probabilistic symbolic model checking with PRISM: a hybrid approach - Kwiatkowska, Norman, et al. - 2004
110	Core Formal Molecular Biology - Danos, Laneve - 2003
92	Hybrid Petri net representation of gene regulatory network - Matsuno, Doi, et al. - 2000
92	Stochastic π-Calculus - Priami - 1995
76	Brane calculi-interactions of biological membranes - Cardelli
66	Hybrid modeling and simulation of biomolecular networks,” Hybrid Systems: Computation and Control - Alur, Belta, et al. - 2001
65	Stochastic modelling for systems biology - Wilkinson - 2006
52	P.: Beta binders for biological interactions - Priami, Quaglia - 2005
51	Modeling and querying biomolecular interaction networks - Chabrier-Rivier, Chiaverini, et al.
37	Self-efficacy and computers - Olivier, Shapiro - 1993
30	A calculus of looping sequences for modelling microbiological systems, Fundam - Barbuti, Maggiolo-Schettini, et al.
25	Bio-PEPA: a framework for the modelling and analysis of biological systems. Technical Report of the School of Informatics - Ciocchetta, Hillston - 2003
23	Modelling biochemical pathways through enhanced pi-calculus, Theor - Curti, Degano, et al. - 2004
23	The π-calculus as an abstraction for biomolecular systems - Regev, Shapiro - 2004
20	Stochastic Bigraphs - Krivine, Milner, et al. - 2008
17	Qualitative and Quantitative Formal Modeling of Biological Systems - Milazzo - 2007
15	Mathematical model of the lac operon: Inducer exclusion, catabolite repression, and diauxic growth on glucose and lactose - Wong, Gladney, et al. - 1997
13	P.: Extending the calculus of looping sequences to model protein interaction at the domain level - Barbuti, Maggiolo-Schettini, et al. - 2007
11	Bisimulation congruences in the calculus of looping sequences - Barbuti, Maggiolo-Schettini, et al. - 2006
11	Luminescence control in the marine bacterium Vibrio fischeri:An analysis of the dynamics of lux regulation, J.Mol - James, Nilsson, et al.
9	A mathematical model for quorum sensing in pseudomonas aeruginosa - Dockery, Keener
8	Cell-to-cell signaling and Pseudomonas aeruginosa infections - Delden, Iglewski - 2009
8	Early development and quorum sensing in bacterial biofilms - Ward, King, et al. - 2003
6	Scalable modelling of biological pathways - Danos, Feret, et al. - 2007
5	The calculus of looping sequences - Barbuti, Caravagna, et al. - 2008
5	Bisimulations in Calculi Modelling Membranes - Barbuti, Maggiolo-Schettini, et al. - 2008
4	A Compositional Approach to Performance Modelling - unknown authors - 1996
4	Greenberg E: Quorum sensing in Vibrio fischeri: essential elements for activation of the luminescence genes - Stevens - 1997
3	Modelling Vibrio fischeri’s behaviour using P systems - Pérez-Jiménez, Romero-Campero - 2005
1	Modeling and querying biomolecular interaction networks - Ciocchetta, Hillston - 2004