Algorithmic systems biology

Communications of the ACM

Volumn 52, Issue 5, 2009, Pages 80-88

  Priami, Corrado ^a,b  

^a MICROSOFT RESEARCH   (United States)

^b UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BEHAVIORAL RESEARCH; BIOINFORMATICS; BIOLOGY; MACHINERY;

BEHAVIOR SYSTEMS; BIOLOGICAL PROCESS; CONCURRENT SYSTEMS; DISCRETE STATE SPACE; INTEGRATED SYSTEMS; MOLECULAR MACHINERY; SEQUENTIAL MODEL; TEMPORAL DIMENSIONS;

EMBEDDED SYSTEMS;

EID: 67049143968     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1506409.1506427     Document Type: Review

References (53)

1. Alon, U. An Introduction to Systems Biology: Design Principles of Biological Circuits. Chapman and Hall, 2006.
2. Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., and Yovine, S. The algorithmic analysis of hybrid systems. Theoretical Computer Science 138, 1 (1995), 3-34.
3. Auffray, C. and Nottale, L. Scale relativity theory and integrative systems biology: Founding principles and scale laws. Progress in Biophysics and Molecular Biology 97 (2008), 79-114.
4. 4. Benner, S.A. and Sismour, A.M. Synthetic biology. Nature Reviews Genetics 6 (2005), 533-544. (Pubitemid 40910430)
5. Bergstra, J.A., Ponse, A., and Smolka, S.A. Handbook of Process Algebras. Elsevier, 2001.
6. Bernardo, M., Degano, P., and Zavattaro, G. Formal Methods for Computational Systems Biology. LN CS 5016, Springer, 2008.
7. Boogerd, F. et al. Systems Biology: Philosophical Foundations. Elsevier, 2007.
8. Breckling, B. Individual-based modelling: Potentials and limitations. Scientific World Journal 2 (April 19, 2002), 1044-1062.
9. Cassman, M., Arkin, A., Doyle, F., Katagiri, F., Lauffenburg, D., and Stokes, C. International Research and Development in Systems Biology. WTE C Panel on Systems Biology final report (Oct. 2005).
10. 10. Chiarugi, D., Degano, P., and Marangoni, R. A computational approach to the functional screening of genomes. PLoS Comput Biol 3, 9 (Sept. 3, 2007), 1801-1806. (Pubitemid 47502984)
11. Ciocchetta, F. and Hillston, J. Process algebras in systems biology. In Formal Methods for Computational Systems Biology, LNCS 5016. Springer, 2008, 313-365.
12. Cohen, J. The crucial role of CS in systems and synthetic biology. Commun. ACM 51, 5 (May 2008), 15-18.
13. 13. de Alfaro, L., Henzinger, T.A., and Jhala, R. Compositional methods for probabilistic systems. In CONCUR01, LNCS 2154 (2001). (Pubitemid 33326667)
14. D egano, P. and Priami, C. Non-interleaving semantics of mobile processes. Theoretical Computer Science 216 1-2 (1999), 237-270.
15. Dematta, L., Priami, C., and Romanel, A. The BlenX language: A tutorial. In Formal Methods for Computational Systems Biology, LNCS 5016. Springer, 2008. 313-365.
16. D ematté, L., Priami, C., Romanel, A. The Beta Workbench: A tool to study the dynamics of biological systems. Briefings in Bioinformatics, 2008.
17. D enning, P.J. Great principles of computing. Commun. ACM 46, 11 (Nov. 2003), 15-20.
18. D enning, P.J. Is computer science science? Commun. ACM 48, 4 (Apr. 2005), 27-31.
19. D enning, P.J. Recentering computer science. Commun. ACM 48, 11 (Nov. 2005), 15-19.
20. D enning, P.J. Computing is a natural science. Commun. ACM 50, 5 (July 2007),13-18.
21. D ijstra, E.W. Programming as a discipline of mathematical nature. American Mathematical Monthly 81 (1974), 608-612.
22. 22. Fisher, J. and Henzinger, T. Executable cell biology. Nature Biotechnology 25 (2007), 1239-1249. (Pubitemid 350089829)
23. Forrest, S. and Beauchemin, C. Imm. Reviews 216 (2007), 176-197.
24. Foster, A.C., Church, G.M. Towards synthesis of a minimal cell. Molecular Systems Biology (2006).
25. Gillespie, D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (1977), 2340-2361.
26. Goldbeter, A. Computational approaches to cellular rhythms. Nature 420 (2002), 238-245.
27. Gutowitz, H. Introduction (to cellular automata). Physica D 45, 1990.
28. Harel, D. Statecharts in the making: A personal account. In Proceedings of the 3rd ACM SIGPLAN History of Programming Languages Conference, 2007.
29. Hendler, J., Shadbolt, N., Hall, W., Berners-Lee, T., and Weitzner, D. Web science: An interdisciplinary approach to understanding the Web. Comm. ACM 51, 7 (July 2008), 60-69.
30. Hood, L., Galas, D. The digital code of DNA. Nature 421 (2003), 444-448.
31. Kitano, H. Systems biology: A brief overview. Science 295 (2002), 1662-1664.
32. Klawe, M. and Shneiderman, B. Crisis and opportunity in computer science. Commun. ACM 48, 11 (Nov. 2005).
33. Knuth, D. Computer science and its relation to mathematics. American Mathematical Monthly 81 (1974), 323-343.
34. Kuwahara, H. and Mura, I. An efficient and exact stochastic simulation method to analyze rare events in biological systems. Journal of Chemical Physics 129, 2008.
35. L udtke, N., Panzeri, S., Brown, M., Broomhead, D.S., Knowles, J., Montemurro M.A., and Kell, D.B. Information-theoretic sensitivity analysis: A general method for credit assignment in complex networks. J. R. Soc. Interface 5 (2008), 223-235.
36. Minsky, M. ACM Turing Lecture: Form and content in computer science. Journal of the ACM 17, 2 (1970), 197-215.
37. N ature insight: Computational biology. Nature 420 (2002), 206-251.
38. N urse, P. Life, logic and information. Nature 454 (2008), 424-426.
39. N ussbaum, D. and Agarwal, A. Scalability of parallel machines. Commun. ACM 34, 3 (Mar. 1991), 57-61.
40. O 'Malley, M. and Dupra, J. Fundamental issues in systems biology. BioEssays, 27 (2005), 1270-1276.
41. Palsson, B.O. Systems Biology: Properties of Reconstructed Networks. Cambridge University Press, 2006.
42. Priami, C. and Quaglia, P. Modeling the dynamics of biosystems. Briefings in Bioinformatics 5 (2004), 259-269.
43. Priami, C., Regev, A., Shapiro, E., and Silvermann, W. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001), 25-31.
44. R ao, C.V., Wolf, D.M., and Arkin, A.P. Control, exploitation and tolerance of intracellular noise. Nature 420 (2002), 231-237.
45. R apin, N., Kesmir, C., Frankild, S., Nielsen, M., Lundegaard, C., Brunak, S., and Lund, O. Modeling the human immune system by combining bioinformatics and systems biology approaches. Journal Biol. Phys. 32 (2006), 335-353.
46. R egev, A. and Shapiro, E. Cells as computation. Nature 419 (2002), 343.
47. R oos, D. Bioinformatics-Trying to swim in a sea of data. Science 291 (2001), 260-1261.
48. S earls, D. The language of genes. Nature 420 (2002), 211-217.
49. S pengler, S.J. Bioinformatics in the information age. Science 287 (2000), 1221-1223.
50. T euscher, C. Biologically uninspired computer science. Commun. ACM 49, 11 (Nov. 2006), 27-29.
51. Volterra, V. Fluctuations in the abundance of species considered mathematically. Nature 118 (1926), 558-560.
52. Welch, P.H. and Barnes, F.R.M. Communicating mobile processes: Introducing occam-pi. In CSP25, LNCS 3525. Springer, 2005, 175-210.
53. Wing, J. Computational thinking. Commun. ACM 49, 3 Mar. 2006), 33-35.