Modelling, abstraction, and computation in systems biology: A view from computer science

Progress in Biophysics and Molecular Biology

Volumn 111, Issue 2-3, 2013, Pages 129-136

  Melham, Tom ^a  

^a UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Abstraction; Algorithmic biological modelling; Biological computation; Multi scale modelling

Indexed keywords

ARTICLE; BIOLOGICAL MODEL; COMPUTER SIMULATION; INTERDISCIPLINARY EDUCATION; METHODOLOGY; SYSTEMS BIOLOGY;

COMPUTER SIMULATION; INTERDISCIPLINARY STUDIES; MODELS, BIOLOGICAL; SYSTEMS BIOLOGY;

EID: 84878156120     PISSN: 00796107     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.pbiomolbio.2012.08.015     Document Type: Article

References (72)

1. Baier Christel, Katoen Joost-Pieter Principles of Model Checking 2008, MIT Press.
2. Baillie George S. Compartmentalized signalling: spatial regulation of camp by the action of compartmentalized phosphodiesterases. FEBS Journal February 2009, 726(7):1790-1799.
3. Bruggeman F.J., Westerhoff H.V., Boogerd F.C. BioComplexity: a pluralist research strategy is necessary for a mechanistic explanation of the " live" state. Philosophical Psychology 2002, 15(4):411-440.
4. Calder Muffy, Hillston Jane Process algebra modelling styles for biomolecular processes. Lecture Notes in Bioinformatics 2009, vol. 5750:1-25. Springer-Verlag. C. Priami, R.-J. Back, I. Petre (Eds.).
5. Calder Muffy, Vyshemirsky Vladislav, Gilbert David, Orton Richard Analysis of signalling pathways using continuous time markov chains. Lecture Notes in Bioinformatics 2006, vol. 4220:44-67. Springer-Verlag. C. Priami, G. Plotkin (Eds.).
6. Luca Cardelli., An algebraic approach to hardware description and verification. PhD thesis, University of Edinburgh, Department of Computer Science, April 1982.
7. Cardelli Luca Brane Calculi. Lecture Notes in Computer Science 2004, vol. 3082:257-278. Springer-Verlag. V. Danos, V. Schächter (Eds.).
8. Cardelli Luca Abstract machines of systems biology. Lecture Notes in Computer Science 2005, vol. 3737:145-168. Springer Verlag. C. Priami, E. Merelli (Eds.).
9. Cardelli Luca, Caron Emmanuelle, Gardner Philippa, Kahramanoĝullari Ozan, Phillips Andrew A process model of actin polymerisation. Electronic Notes in Computer Science 2009, 229:127-144.
10. Cheng Yuhua, Hu Chenming Mosfet Modeling & BSIM3 User's Guide 1999, Springer Verlag.
11. Ciocchetta Federica, Hillston Jane Process algebras in systems biology. Lecture Notes in Computer Science 2008, vol. 5016:265-312. Springer. M. Bernardo, P. Degano, G. Zavattaro (Eds.).
12. Cleaveland Rance, Smolka Scott A., et al. Stratgic directions in concurrency research. ACM Computing Surveys December 1996, 28(4).
13. Cohen Irun R., Harel David Explaining a complex living system: dynamics, multi-scaling, and emergence. Journal of the Royal Society Interface 2007, 4:175-182.
14. Cook Byron, Fisher Jasmin, Krepska Elzbieta, Piterman Nir Proving stabilization of biological systems. Lecture Notes in Computer Science 2011, vol. 6538:134-149. Springer-Verlag.
15. Danos Vincent, Feret Jérôme, Fontana Walter, Harmer Russell, Krivine Jean Rule-based modelling of cellular signalling. Lecture Notes in Computer Science 2007, vol. 4703:17-41. Springer-Verlag. L. Caires, V.T. Vasconcelos (Eds.).
16. Davey Brian A., Priestly Hilary A. Introduction to Lattices and Order 2002, Cambridge University Press.
17. Degasperi Andrea, Calder Muffy Multi-scale modelling of biological systems in process algebra with multi-way synchronisation. Proceedings of the 9th International Conference on Computational Methods in Systems Biology 2011, 195-208. ACM.
18. Dubrova Elena, Teslenko Maxim A sat-based algorithm for computing attractors in synchronous boolean networks. IEEE/ACM Transactions on Computational Biology and Bioinformatics September/October 2011, 8(5):1393-1399.
19. D'Silva Vijay, Kroening Daniel, Weissenbacher Georg A survey of automated techniques for formal software verification. IEE Transactions on Computer-aided Design of Integrated Circuits and Systems July 2008, 27(7):1165-1178.
20. Efroni Sol, Harel David, Cohen Irun R. Reactive animation: realistic modeling of complex dynamic systems. IEEE Computer 2005, 38(1):38-47.
21. Emerson E.Allen, Halpern Joseph Y. " sometimes" and " not never" revisted: on branching versus linear time temporal logic. Journal of the Association for Computing Machinery January 1986, 33(I):151-178.
22. Towards an Semiotic Biology: Life is the Action of Signs 2011, Imperial College Press. C. Emmeche, K. Kull (Eds.).
23. Proceedings of the 1st International Workshop on Static Analysis and Systems Biology (SASB 2010), 1st International Workshop on Static Analysis and Systems Biology. Electronic Notes in Theoretical Computer Science May 2011, vol. 272. J. Feret, A. Levchenko (Eds.).
24. Fisher Jasmin, Henzinger Thomas A. Executable cell biology. Nature Biotechnology November 2007, 25(11):1239-1249.
25. Fisher Jasmin, Piterman Nor The executable pathway to biological networks. Briefings in Functional Genomics 2010, 9(1):79-92.
26. Fisher Jasmin, Harel David, Henzinger Thomas A. Biology as reactivity. Communications of the ACM October 2011, 54(10):72-82.
27. Floridi, Luciano, Sanders, J.W. Levelism and the Method of Abstraction. IEG Research Report 22.11.04, Information Ethics Group: Oxford University, University of Bari, 2004.
28. Gao Qian, Liu Fei, Gilbert David, Heiner Monika, Tree David A multiscale approach to modelling planar cell polarity in drosophila wing using hierarchically coloured petri nets. Proceedings of the 9th International Conference on Computational Methods in Systems Biology 2011, 209-218. ACM.
29. Glass Leon, Kaufmann Stuart A. The logical analysis of continuous, non-linear biochemical control networks. Journal of Theoretical Biology 1973, 39(1):103-129.
30. Grumberg Orna Abstraction and refinement in model checking. Proceedings of the 4th International Conference on Formal Methods for Components and Objects 2006, 219-242. Springer-Verlag. F.S. de Boer (Ed.).
31. Harel David On visual formalisms. Communications of the Association for Computing Machinery 1988, 31(5):514-530.
32. Harel David Comprehensive and realistic modeling of biological systems. Proceedings of the 2006 Winter Simulation Conference 2006, 1625-1627. L.F. Perrone, F.P. Wieland, J. Liu, B.G. Lawson, D.M. Nicol, R.M. Fujimoto (Eds.).
33. Hayden Erika Check Life is complicated. Nature April 2010, 464:664-667.
34. Heiner Monika, Gilbert David Biomodel engineering for multi-scale systems biology. Progress in Biophysics and Molecular Biology 2013, 111(2-3):119-128.
35. Heiner Monika, Koch Ina, Will Jürgen Model validation of biological pathways using petri nets - demonstrated for apoptosis. Lecture Notes in Computer Science 2003, vol. 2602:173. Springer-Verlag. C. Priami (Ed.).
36. Heiner Monika, Gilbert David, Donaldson Robin Petri nets for systems and synthetic biology. Lecture Notes in Computer Science 2008, vol. 5016:215-264. Springer. M. Bernardo, P. Degano, G. Zavattaro (Eds.).
37. Hodges Wilfrid Formal features of compositionality. Journal of Logic, Language, and Information 2001, 10:7-28.
38. Hopcroft John E., Motwani Rajeev, Ullman Jeffrey D. Introduction to Automata Theory, Languages and Computation 2006, Addison Wesley.
39. Jones Neil, Nielson Flemming Abstract interpretation: a semantics-based tool for program analysis. In Handbook of Logic in Computer Science 1994, vol. 4. Oxford University Press.
40. Karr Jonathan R., Sanghvi Jayodita C., Macklin Derek N., Gutschow Miriam V., Jacobs Jared M., Bolival Benjamin, Assad-Garcia Nacyra, Glass John I., Covert Markus W. A whole-cell computational model predicts phenotype from genotype. Cell 2012, 150(2):389-401.
41. Kohl P., Crampin E.J., Quinn T.A., Noble D. Systems biology: an approach. Clinical Pharmacology and Theraputics July 2010, 88(1).
42. Kropf Thomas Introduction to Formal Hardware Verification 2000, Springer Verlag.
43. Kugler Hillel, Larjo Antti, Harel David Biocharts: a visual formalism for complex biological systems. Journal of the Royal Society Interface July 2010, 7(48):1015-1024.
44. Kuhn Thomas Metaphor in science. Metaphor and Thought 1979, 409-419. Cambridge University Press. A. Ortony (Ed.).
45. Kull Kalevi, Deacon Terrence, Emmeche Claus, Hoffmeyer Jesper, Stjernfelt Frederik Thesis on biosemantics: prolegomena to a theoretical biology. Towards an Semiotic Biology: Life is the Action of Signs 2011, Imperial College Press. C. Emmeche, K. Kull (Eds.).
46. Kwiatkowska Marta, Norman Gethin, Parker David Probabilistic model checking for systems biology. Symbolic Systems Biology 2010, 31-59. Jones and Bartlett. M. Sriram Iyengar (Ed.).
47. Mac Lane Saunders Categories for the Working Mathematician 1971, Springer Verlag.
48. Matek Christian Searching for a Conceptual Language in Systems Biology: Hints from statistical mechanics?. Progress in Biophysics and Molecular Biology 2013, 111(2-3):116-118.
49. Melham T. Higher Order Logic and Hardware Verification. Cambridge Tracts in Theoretical Computer Science 1993, vol. 31. Cambridge University Press.
50. Myers Chris J. Engineering Genetic Circuits 2010, CRC Press.
51. Nielson Flemming, Riis Nielson Hanne, Priami Corrado, Rosa Debora Static analysis for systems biology. Proceedings of the Winter International Synposium on Information and Communication Technologies 2004, 1-6. Trinity College, Dublin.
52. Nielson Flemming, Riis Nielson Hanne, Hankin Chris Principles of Program Analysis 2005, Springer Verlag.
53. Noble Denis The Music of Life: Biology beyond the Genome 2006, Oxford University Press.
54. Noble Denis Claude Bernard, the first systems biologist, and the future of physiology. Experimental Physiology 2008, 91(1):16-26.
55. Noble Denis A Biological Relativity View of the Relationships Between Genomes and Phenotypes. Progress in Biophysics and Molecular Biology 2013, 111(2-3):59-65.
56. Phillips Andrew, Cardelli Luca A programming language for composable dna circuits. Journal of the Royal Society Interface June 2009, 7(48):1015-1024.
57. Priami Corrado Computational thinking in biology. Transactions on Computational Systems Biology VIII 2007, 63-76. Springer-Verlag. C. Priami (Ed.).
58. Priami Corrado Algorithmic systems biology. Communications of the ACM May 2009, 52(5):80-88.
59. Rosen Robert Life Itself: a Comprehensive Inquiry into the Nature, Origin, and Fabrication of Life 1991, Columbia University Press.
60. Sassone Vladimiro, Nielsen Mogens, Winskel Glynn Models for concurrency: towards a classification. Theoretical Computer Science 1996, 170:297-348.
61. Schaub Marc A., Henzinger Thomas A., Fisher Jasmin Qualitative networks: a symbolic approach to analyze biological signaling networks. BMC Systems Biology 2007, 1.
62. Sriramkumar V., Paydavosi Navid, Lu Darsen, Lin Chung-Hsun, Dunga Mohan, Yao Shijing, Morshed Tanvir, Niknejad Ali, Hu Chenming BSIM-CMG 106.0.0 Multi-gate MOSFET Compact Model 2012, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Technical manual.
63. Talcott Carolyn L. Pathway logic. Lecture Notes in Computer Science 2008, vol. 5016:21-53. Springer. M. Bernardo, P. Degano, G. Zavattaro (Eds.).
64. Talcott Carolyn, Dill David L. Multiple Representations of Biological processes 2006, vol. 4220. 221-245.
65. Turing A.M. On computable numbers, with an application to the entscheidungs problem. Proceedings of the London Mathematical Society 1937, 42(2):230-265.
66. von Bertalanffy Ludwig The theory of open systems in physics and biology. Science January 1950, 111:23-29.
67. Westerhoff Hans V. The silicon cell, not dead but alive!. Metabolic Engineering 2001, 3:207-210.
68. Westerhoff Hans V., Kell Douglas B. The methodologies of systems biology. Systems Biology: Philosophical Foundations 2007, Elsevier.
69. Wing Jeannette M. Computational thinking and thinking about computing. Philosophical Transactions of the Royal Society A July 2008, 366:3717-3725.
70. Winskel Glynn A compositional model of MOS circuits. VLSI Specification, Verification and Synthesis 1987, 323-347. Kluwer Academic Publishers. G.M. Birtwistle, P.A. Subrahmanyam (Eds.).
71. Winther Rasmus Grønfeldt Part-whole science. Synthese 2011, 178:397-427.
72. Zámborskzky Judit, Priami Corrado BlenX-based compositional modeling of complex reaction mechanisms. From Biology to Concurrency and Back: Proceedings Third Workshop 2010, 85-102. E. Merelli, P. Quaglia (Eds.).