Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, Paolo Milazzo & Giovanni Pardini (2008):
The calculus of looping sequences.
In: Formal Methods for Computational Systems Biology.
Springer,
pp. 387–423,
doi:10.1007/978-3-540-68894-5_11.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo & Angelo Troina (2006):
A calculus of looping sequences for modelling microbiological systems.
Fundamenta Informaticae 72(1),
pp. 21–35.
Michael L Blinov, James R Faeder, Byron Goldstein & William S Hlavacek (2004):
BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains.
Bioinformatics 20(17),
pp. 3289–3291,
doi:10.1093/bioinformatics/bth378.
D. Bray & R.B. Bourret (1995):
Computer analysis of the binding reactions leading to a transmembrane receptor-linked multiprotein complex involved in bacterial chemotaxis..
Molecular biology of the cell 6(10),
pp. 1367–1380.
Federica Ciocchetta & Jane Hillston (2009):
Bio-PEPA: A framework for the modelling and analysis of biological systems.
Theoretical Computer Science 410(33),
pp. 3065–3084,
doi:10.1016/j.tcs.2009.02.037.
Allan Clark, Vashti Galpin, Stephen Gilmore, Maria Luisa Guerriero & Jane Hillston (2012):
Formal methods for checking the consistency of biological models.
In: Advances in Systems Biology.
Springer,
pp. 461–475,
doi:10.1007/978-1-4419-7210-1_27.
Vincent Danos & Cosimo Laneve (2004):
Formal molecular biology.
Theoretical Computer Science 325(1),
pp. 69–110,
doi:10.1016/j.tcs.2004.03.065.
Peter Drábik, Andrea Maggiolo-Schettini & Paolo Milazzo (2012):
On conditions for modular verification in systems of synchronising components.
Fundamenta Informaticae 120(3),
pp. 259–274.
Peter Drábik, Andrea Maggiolo-Schettini & Paolo Milazzo (2012):
Towards modular verification of pathways: fairness and assumptions.
In: Proceedings of MeCBIC 2012,
EPTCS 100,
pp. 63–81.
M. Hucka, A. Finney, H.M. Sauro, H. Bolouri, J.C. Doyle, H. Kitano & the rest of the SBML Forum (2003):
The systems biology markup language (SBML): a medium for representation and exchange of biochemical network models.
Bioinformatics 19(4),
pp. 524–531,
doi:10.1093/bioinformatics/btg015.
C. Kühn, C. Wierling, A. Kühn, E. Klipp, G. Panopoulou, H. Lehrach & A. Poustka (2009):
Monte carlo analysis of an ode model of the sea urchin endomesoderm network.
BMC systems biology 3(1),
pp. 83,
doi:10.1186/1752-0509-3-83.
C. Li, M. Donizelli, N. Rodriguez, H. Dharuri, L. Endler, V. Chelliah, L. Li, E. He, A. Henry, M.I. Stefan, J.L. Snoep, M. Hucka, N. Le Novère & C. Laibe (2010):
BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models..
BMC Systems Biology 4,
pp. 92,
doi:10.1186/1752-0509-4-92.
A. Maeda, Y. Ozaki, S. Sivakumaran, T. Akiyama, H. Urakubo, A. Usami, M. Sato, K. Kaibuchi & S. Kuroda (2006):
Ca2+-independent phospholipase A2-dependent sustained Rho-kinase activation exhibits all-or-none response.
Genes to Cells 11(9),
pp. 1071–1083,
doi:10.1111/j.1365-2443.2006.01001.x.
S.I.F.S. Martins & M.A.J.S. Van Boekel (2003):
Kinetic modelling of Amadori N-(1-deoxy-d-fructos-1-yl)-glycine degradation pathways. Part II–Kinetic analysis.
Carbohydrate research 338(16),
pp. 1665–1678,
doi:10.1016/S0008-6215(03)00174-5.
M.C. Morris, C. Gondeau, J.A. Tainer & G. Divita (2002):
Kinetic Mechanism of Activation of the Cdk2/Cyclin A Complex.
Journal of Biological Chemistry 277(26),
pp. 23847–23853,
doi:10.1074/jbc.M107890200.
T. Nakakuki, M.R. Birtwistle, Y. Saeki, N. Yumoto, K. Ide, T. Nagashima, L. Brusch, B.A. Ogunnaike, M. Okada-Hatakeyama & B.N. Kholodenko (2010):
Ligand-specific c-Fos expression emerges from the spatiotemporal control of ErbB network dynamics.
Cell 141(5),
pp. 884–896,
doi:10.1016/j.cell.2010.03.054.
L.F. Olsen, U. Kummer, A.L. Kindzelskii & H.R. Petty (2003):
A model of the oscillatory metabolism of activated neutrophils.
Biophysical journal 84(1),
pp. 69–81,
doi:10.1016/S0006-3495(03)74833-4.
G. Pardini, P. Milazzo & A. Maggiolo-Schettini:
An Algorithm for the Identification of Components in Biochemical Pathways.
In: Proceedings of CS2Bio 2013,
ENTCS note = "In press.\reserved@d =[.
A. Phillips & L. Cardelli (2007):
Efficient, correct simulation of biological processes in the stochastic pi-calculus.
In: Computational Methods in Systems Biology.
Springer,
pp. 184–199,
doi:10.1007/978-3-540-75140-3_13.
C.J. Proctor, P.J. Tangeman & H.C. Ardley (2010):
Modelling the Role of UCH-L1 on Protein Aggregation in Age-Related Neurodegeneration.
PLoS ONE 5(10),
pp. e13175,
doi:10.1371/journal.pone.0013175.s013.
A. Rozi & Y. Jia (2003):
A theoretical study of effects of cytosolic Ca2+ oscillations on activation of glycogen phosphorylase.
Biophysical chemistry 106(3),
pp. 193–202,
doi:10.1016/S0301-4622(03)00192-3.
J.J. Saucerman, J. Zhang, J.C. Martin, L.X. Peng, A.E. Stenbit, R.Y. Tsien & A.D. McCulloch (2006):
Systems analysis of PKA-mediated phosphorylation gradients in live cardiac myocytes.
Proceedings of the National Academy of Sciences 103(34),
pp. 12923–12928,
doi:10.1073/pnas.0600137103.
B. Schmierer, B. Novák & C. Schofield (2010):
Hypoxia-dependent sequestration of an oxygen sensor by a widespread structural motif can shape the hypoxic response-a predictive kinetic model.
BMC systems biology 4(1),
pp. 139,
doi:10.1186/1752-0509-4-139.
W.J. Thomsen, J.A. Jacquez & R.R. Neubig (1988):
Inhibition of adenylate cyclase is mediated by the high affinity conformation of the alpha 2-adrenergic receptor..
Molecular pharmacology 34(6),
pp. 814–822.
C. Troein, F. Corellou, L.E. Dixon, G. van Ooijen, J.S. O’Neill, F.-Y. Bouget & A.J. Millar (2011):
Multiple light inputs to a simple clock circuit allow complex biological rhythms.
The Plant Journal 66(2),
pp. 375–385,
doi:10.1111/j.1365-313X.2011.04489.x.