References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  5. 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.
  6. 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.
  7. Vincent Danos & Cosimo Laneve (2004): Formal molecular biology. Theoretical Computer Science 325(1), pp. 69–110, doi:10.1016/j.tcs.2004.03.065.
  8. 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.
  9. 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.
  10. 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.
  11. 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.
  12. 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.
  13. 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.
  14. 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.
  15. 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.
  16. 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.
  17. 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.
  18. 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 =[.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org