Computational thinking in biology

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4780 LNBI, Issue , 2007, Pages 63-76

  Priami, Corrado ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CELLS; COMPUTATIONAL METHODS; COMPUTER SCIENCE; FORMAL LOGIC;

CELL MACHINERY; COMPUTATIONAL SYSTEMS BIOLOGY;

BIOLOGICAL SYSTEMS;

EID: 38549129227     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76639-1_4     Document Type: Conference Paper

References (26)

1. Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Dumke, R.R., Abran, A. (eds.) IWSM 2000. LNCS, vol. 4230, Springer, Heidelberg (2006)
2. Danos, V., Schachter, V. (eds.): CMSB 2004. LNCS (LNBI), vol. 3082. Springer, Heidelberg (2005)
3. Cardelli, L., Gordon, A.D.: Mobile ambients. In: Nivat, M. (ed.) ETAPS 1998 and FOSSACS 1998. LNCS, vol. 1378, Springer, Heidelberg (1998)
4. Castellani, I.: Process algebras with localities. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 945-1046 (2001)
5. Ciobanu, G., Rozenberg, G. (eds.): Modelling in Molecular Biology. Springer, Heidelberg (2004)
6. Danos, V., Krivine, J.: Formal Molecular Biology done in CCS-R. In: Proceedings of Workshop on Concurrent Models in Molecular Biology (Bio-CONCUR'03). Electronic Notes in Theoretical Computer Science (2003)
7. Danos, V., Laneve, C.: Formal molecular biology. TCS 325(1) (2004)
8. Finney, A., Sauro, H., Hucka, M., Bolouri, H.: An xml-based model description language for systems biology simulations. Technical report, California Institute of Technology, Technical report (September 2000)
9. Gillespie, D.T.: Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81(25), 2340-2361 (1977)
10. Goss, P. J.E., Peccoud, J.: Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. In: Proceedings of the National Academy of Sciences, USA, vol. 12, pp. 6750-6754 (1998)
11. Guerriero, M.L., Priami, C., Romanel, A.: Beta-binders with static compartments. In: Algebraic Biology, 2007. to appear. Also TR-09-2006. The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)
12. Hoare, C.A.R.: Communicating sequential processes. Communications of the ACM 21(8), 666-677 (1978)
13. Hood, L., Galas, D.: The digital code of DNA. Nature 421, 444-448 (2003)
14. Kuttler, C., Niehren, J.: Gene regulation in the pi-calculus: simulating cooperativity at the lambda switch. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, Springer, Heidelberg (2006)
15. Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
16. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)
17. Palsson, B.O.: Systems Biology. Properties of reconstructed networks. Cambridge Universtity Press, Cambridge (2006)
18. Pǎun, G. (ed.): Membrane Computing. An Introduction. Springer, Heidelberg (2002)
19. Phillips, A., Cardelli, L.: A Correct Abstract Machine for the Stochastic Picalculus. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, Springer, Heidelberg (2006)
20. Priami, C.: Stochastic π-calculus. The Computer Journal 38(6), 578-589 (1995)
21. Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20-33. Springer, Heidelberg (2005)
22. Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80(1), 25-31 (2001)
23. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. TCS 325(1) (2004)
24. Regev, A., Shapiro, E.: Cells as computation. Nature 419(6905), 343 (2002)
25. Romanel, A., Dematté, L., Priami, C.: The Beta Workbench. Technical Report TR-3-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (February 2007)
26. Wing, J.: Computational thinking. Communications of the ACM 49(3), 33-35 (2006)