Abstract machines of systems biology

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

Volumn 3737 LNBI, Issue , 2005, Pages 145-168

  Cardelli, Luca ^a  

^a MICROSOFT RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

ABSTRACT MACHINES; AUTONOMOUS SYSTEMS; COMPLEX STRUCTURE; INSTRUCTION SET; INTERACTION MODEL; LIVING CELL; SYSTEMS BIOLOGY;

MOLECULAR BIOLOGY;

EID: 33845196533     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11599128_10     Document Type: Conference Paper

References (54)

1. C.Adami. What is complexity? BioEssays 24:1085-1094, Wiley, 2002.
2. B.Alberts, D.Bray, J.Lewis, M.Raff, K.Roberts, J.D.Watson. Molecular biology of the cell. Third Edition, Garland.
3. R.Alur, C.Belta, F.Ivancic, V.Kumar, M.Mintz, G.J.Pappas, H.Rubin, and J.Schug,. Hybrid modeling of biomolecular networks. Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control, Rome Italy, March 28-30, 2001. LNCS 2034.
4. M.Antoniotti, B.Mishra, F.Park, A.Policriti, N.Ugel. Foundations of a query and simulation system for the modeling of biochemical and biological processes. In L.Hunter, T.A.Jung, R.B.Altman, A.K.Dunker, T.E.Klein, editors, The Pacific Symposium on Biocomputing (PSB 2003) 116-127. World Scientific, 2003.
5. M.Antoniotti, C.Piazza, A.Policriti, M.Simeoni, B.Mishra. Modeling cellular behavior with hybrid automata: bisimulation and collapsing. In Int. Workshop on Computational Methods in Systems Biology (CMSB'03), LNCS. Springer, 2003. To appear.
6. M.Antoniotti, A.Policriti, N.Ugel, B.Mishra. Model building and model checking for biochemical processes. In Cell Biochemistry and Biophysics, 2003. In press.
7. C.Bodei, P.Degano, F.Nielson, H.R.Nielson. Control flow analysis for the pi-calculus. Proc. 9th International Conference on Concurrency Theory, LNCS 1466:84-98. Springer, 1998.
8. K.N.J. Burger. Greasing membrane fusion and fission machineries. Traffic 1: 605-613. 2000.
9. G.Ciobanu, V.Ciubotariu, B.Tanasa. A π-calculus model of the Na pump. Genome Informatics 13:469-471, 2002.
10. G.Ciobanu. Software verification of biomolecular systems. In G.Ciobanu, G.Rozenberg (Eds.): Modelling in Molecular Biology, Natural Computing Series, Springer, 40-59, 2004.
11. M.Curti, P.Degano, C.Priami, C.T.Baldari. Modelling biochemical pathways through enhanced pi-calculus. Theoretical Computer Science 325(1):111-140.
12. L.Cardelli. Brane calculi - Interactions of biological membranes. Proc. Computational Methods in Systems Biology 2004. Springer. To appear.
13. L.Cardelli, A.D.Gordon. Mobile ambients. Theoretical Computer Science, Special Issue on Coordination, D. Le Métayer Editor. Vol 240/1, June 2000. pp 177-213.
14. V.Danos, M.Chiaverini. A core modeling language for the working molecular biologist. 2002.
15. V.Danos, C.Laneve. Formal molecular biology. Theoretical Computer Science, to Appear.
16. E.H.Davidson, D.R.McClay, L.Hood. Regulatory gene networks and the properties of the developmental process. PNAS 100(4): 1475-1480, 2003.
17. A.Di Pierro, H.Wiklicky. Probabilistic abstract interpretation and statistical testing. Proc. Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification. LNCS 2399:211-212. Springer, 2002.
18. S.Efroni, D.Harel and I.R.Cohen. Reactive animation: realistic modeling of complex dynamic systems. IEEE Computer, to appear, 2005.
19. M.B.Elowitz, S.Leibler. A synthetic oscillatory network of transcriptional regulators. Nature 403:335-338, 2000.
20. F.Fages, S.Soliman, N.Chabrier-Rivier. Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. J. Biological Physics and Chemistry 4(2):64-73, 2004.
21. D.T.Gillespie. Exact stochastic simulation of coupled chemical reactions, Journal of Physical Chemistry 81:2340-2361. 1977.
22. D.Harel. Statecharts: a visual formalism for complex systems. Science of Computer Programming 8:231-274. North-Holland 1987.
23. L.H.Hartwell, J.J.Hopfield , S.Leibler , A.W.Murray. From molecular to modular cell biology. Nature. 1999 Dec 2;402(6761 Suppl):C47-52.
24. J. Hillston. A compositional approach to performance modelling. Cambridge University Press, 1996.
25. C-Y.F.Huang, J.E.Ferrell Jr. Ultrasensitivity in the mitogen-activated protein kinase cascade. PNAS 93:10078-10083, 1996.
26. S.Kauffman, C.Peterson, B.Samuelsson, C.Troein. Random Boolean network models and the yeast transcriptional network. PNAS 100(25): 14796-14799, 2003.
27. H.Kitano. The standard graphical notation for biological networks. The Sixth Workshop on Software Platforms for Systems Biology, 2002.
28. H.Kitano. A graphical notation for biochemical networks. BIOSILICO 1:169-176, 2003.
29. K.W.Kohn. Molecular interaction map of the mammalian cell cycle control and DNA repair systems. Molecular Biology of the Cell 10(8):2703-34, 1999.
30. C.Kuttler, J.Niehren, R.Blossey. Gene regulation in the pi calculus: simulating cooperativity at the Lambda switch. BioConcur 2004, ENTCS.
31. M.Kwiatkowska, G.Norman, D.Parker. Probabilistic symbolic model checking with PRISM: a hybrid approach. J. Software Tools for Technology Transfer (STTT), 6(2): 128-142. Springer-Verlag, 2004.
32. H.Lodish, A.Berk, S.L.Zipursky, P.Matsudaira, D.Baltimore, J.Darnell. Molecular cell biology. Fourth Edition, Freeman, 2002.
33. J.S.Mattick. The hidden genetic program of complex organisms. Scientific American p.31-37, October 2004.
34. H.H.McAdams, A.Arkin. It's a noisy business! Genetic regulation at the nanomolar scale. Trends Genet. 1999 Feb;15(2):65-9.
35. R.Milner. Communicating and mobile systems: the π-calculus. Cambridge University Press, 1999.
36. R.Milo, S.Shen-Orr, S.Itzkovitz, N.Kashtan, D.Chklovskii, U.Alon. Network motifs: simple building blocks of complex networks. Science 298:824-827, 2002.
37. R.Milner. Bigraphical reactive systems. CONCUR 2001, Proc. 12th International Conference in Concurrency Theory, LNCS 2154:16-35, 2001.
38. M.Nagasaki, S.Onami, S.Miyano, H.Kitano: Bio-calculus: its concept and molecular interaction. Genome Informatics 10:133-143, 1999. PMID: 11072350.
39. F.Nielson, R.R.Hansen , H.R.Nielson. Abstract interpretation of mobile ambients. Science of Computer Programming, 47(2-3): 145-175, 2003.
40. F.Nielson, H.R.Nielson, C.Priami, D.Rosa. Static analysis for systems biology. Proc. ACM Winter International Symposium on Information and Communication Technologies. Cancun 2004.
41. F.Nielson, H.R.Nielson, C.Priami, D.Rosa. Control flow analysis for BioAmbients. Proc. BioCONCUR 2003, to appear.
42. G.Paun. Membrane computing. Springer, 2002.
43. C.Priami. The stochastic pi-calculus. The Computer Journal 38: 578-589, 1995.
44. C.Priami, A.Regev, E.Shapiro, W.Silverman. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31, 2001.
45. P.Prusinkiewicz, M.Hammel, E.Mjolsness. Animation of plant development. Proceeding of SIGGRAPH 93. ACM Press, 351:360, 1993.
46. M.Ptashne. Genetic switch: phage Lambda revisited. Cold Spring Harbor Laboratory Press. 3rd edition, 2004.
47. A.Regev. Computational systems biology: a calculus for biomolecular knowledge. Ph.D. Thesis, Tel Aviv University, 2002.
48. A.Regev, E.M.Panina, W.Silverman, L.Cardelli, E.Shapiro. BioAmbients: an abstraction for biological compartments. Theoretical Computer Science, to Appear.
49. A.Regev, E.Shapiro: Cells as computation. Nature, 419:343, 2002.
50. I.Shmulevich, E.R.Dougherty, W.Zhang. From Boolean to probabilistic Boolean networks as models of genetic regulatory networks. Proceedings of the IEEE 90(11):1778-1792, 2002.
51. Systems biology markup language, http://www.sbml.org.
52. D.Thieffry, R.Thomas. Qualitative analysis of gene networks. Pacific Symposium on Biocomputing 1998:77-88. PMID: 9697173.
53. J.M.Vilar, H.Y.Kueh, N.Barkai, S.Leibler. Mechanisms of noise-resistance in genetic oscillators. PNAS, 99(9):5988-5992, 2002.
54. C-H.Yuh, H.Bolouri, E.H.Davidson. Genomic cis-regulatory logic: experimental and computational analysis of a sea urchin gene. Science 279:1896-1902, 1998. www.sciencemag.org.