Algorithmic systems biology

ABSTRACT

The convergence of CS and biology will serve both disciplines, providing each with greater power and relevance.

REFERENCES

• 1: Alon, U. An Introduction to Systems Biology: Design Principles of Biological Circuits. Chapman and Hall, 2006.
• 2: R. Alur , C. Courcoubetis , N. Halbwachs , T. A. Henzinger , P.-H. Ho , X. Nicollin , A. Olivero , J. Sifakis , S. Yovine, The algorithmic analysis of hybrid systems, Theoretical Computer Science, v.138 n.1, p.3-34, Feb. 6, 1995 [doi>10.1016/0304-3975(94)00202-T]
• 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: Benner, S.A. and Sismour, A.M. Synthetic biology. Nature Reviews Genetics 6 (2005), 533--544.
• 5: A. Ponse , Scott A. Smolka , J. A. Bergstra, Handbook of Process Algebra, Elsevier Science Inc., New York, NY, 2001
• 6: Bernardo, M., Degano, P., and Zavattaro, G. Formal Methods for Computational Systems Biology. LNCS 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, WTEC Panel on Systems Biology final report (Oct. 2005).
• 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.
• 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: Jacques Cohen, The crucial role of CS in systems and synthetic biology, Communications of the ACM, v.51 n.5, May 2008 [doi>10.1145/1342327.1342332]
• 13: Luca de Alfaro , Thomas A. Henzinger , Ranjit Jhala, Compositional Methods for Probabilistic Systems, Proceedings of the 12th International Conference on Concurrency Theory, p.351-365, August 20-25, 2001
• 14: Pierpaolo Degano , Corrado Priami, Non-interleaving semantics for mobile processes, Theoretical Computer Science, v.216 n.1-2, p.237-270, March 11, 1999 [doi>10.1016/S0304-3975(99)80003-6]
• 15: Dematté, 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: Dematté, L., Priami, C., Romanel, A. The Beta Workbench: A tool to study the dynamics of biological systems. Briefings in Bioinformatics, 2008.
• 17: Peter J. Denning, Great principles of computing, Communications of the ACM, v.46 n.11, November 2003 [doi>10.1145/948383.948400]
• 18: Peter J. Denning, Is computer science science?, Communications of the ACM, v.48 n.4, April 2005 [doi>10.1145/1053291.1053309]
• 19: Peter J. Denning , Andrew McGettrick, Recentering computer science, Communications of the ACM, v.48 n.11, November 2005 [doi>10.1145/1096000.1096018]
• 20: Peter J. Denning, Computing is a natural science, Communications of the ACM, v.50 n.7, July 2007 [doi>10.1145/1272516.1272529]
• 21: Dijstra, E.W. Programming as a discipline of mathematical nature. American Mathematical Monthly 81 (1974), 608--612.
• 22: Fisher, J. and Henzinger, T. Executable cell biology. Nature Biotechnology 25 (2007), 1239--1249.
• 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: David Harel, Statecharts in the making: a personal account, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.5-1-5-43, June 09-10, 2007, San Diego, California [doi>10.1145/1238844.1238849]
• 29: James Hendler , Nigel Shadbolt , Wendy Hall , Tim Berners-Lee , Daniel Weitzner, Web science: an interdisciplinary approach to understanding the web, Communications of the ACM, v.51 n.7, July 2008 [doi>10.1145/1364782.1364798]
• 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: Maria Klawe , Ben Shneiderman, Crisis and opportunity in computer science, Communications of the ACM, v.48 n.11, November 2005 [doi>10.1145/1096000.1096024]
• 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: Ludtke, N., Panzeri, S., Brown, M., Broornhead, 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: Marvin Minsky, Form and Content in Computer Science (1970 ACM turing lecture), Journal of the ACM (JACM), v.17 n.2, p.197-215, April 1970 [doi>10.1145/321574.321575]
• 37: Nature insight: Computational biology. Nature 420 (2002), 206--251.
• 38: Nurse, P. Life, logic and information. Nature 454 (2008), 424--426.
• 39: Daniel Nussbaum , Anant Agarwal, Scalability of parallel machines, Communications of the ACM, v.34 n.3, p.57-61, March 1991 [doi>10.1145/102868.102871]
• 40: O'Malley, M. and Dupré, J. Fundamental issues in systems biology. BioEssays, 27 (2005), 1270--1276.
• 41: Bernhard O. Palsson, Systems Biology: Properties of Reconstructed Networks, Cambridge University Press, New York, NY, 2006
• 42: Priami, C. and Quaglia, P. Modeling the dynamics of biosystems. Briefings in Bioinformatics 5 (2004), 259--269.
• 43: Corrado Priami , Aviv Regev , Ehud Shapiro , William Silverman, Application of a stochastic name-passing calculus to representation and simulation of molecular processes, Information Processing Letters, v.80 n.1, p.25-31, October 15, 2001 [doi>10.1016/S0020-0190(01)00214-9]
• 44: Rao, C.V., Wolf, D.M., and Arkin, A.P. Control, exploitation and tolerance of intracellular noise. Nature 420 (2002), 231--237.
• 45: Rapin, 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: Regev, A. and Shapiro, E. Cells as computation. Nature 419 (2002), 343.
• 47: Roos, D. Bioinformatics--- Trying to swim in a sea of data. Science 291 (2001), 260--1261.
• 48: Searls, D. The language of genes. Nature 420 (2002), 211--217.
• 49: Spengler, S.J. Bioinformatics in the information age. Science 287 (2000), 1221--1223.
• 50: Christof Teuscher, Biologically uninspired computer science, Communications of the ACM, v.49 n.11, November 2006 [doi>10.1145/1167838.1167856]
• 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: Jeannette M. Wing, Computational thinking, Communications of the ACM, v.49 n.3, March 2006 [doi>10.1145/1118178.1118215]

INDEX TERMS

Primary Classification:
  J. Computer Applications
  J.3 LIFE AND MEDICAL SCIENCES