Abstract interpretation of cellular signalling networks

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

Volumn 4905 LNCS, Issue , 2008, Pages 83-97

  Danos, Vincent ^a,d   Feret, Jérôme ^b,c   Fontana, Walter ^a,b   Krivine, Jean ^e  

^a Plectix Biosystems ^*

^b HARVARD MEDICAL SCHOOL   (United States)

^c ECOLE NORMALE SUPÉRIEURE   (France)

^d CNRS   (France)

^e École Polytechnique

Author keywords

[No Author keywords available]

Indexed keywords

COMBINATORIAL MATHEMATICS; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL TRANSFORMATIONS; PROTEINS;

ABSTRACT INTERPRETATION; CELLULAR SIGNALLING NETWORKS; TRANSLATIONAL MODIFICATIONS;

WIRELESS NETWORKS;

EID: 40549119812     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-78163-9_11     Document Type: Conference Paper

References (21)

1. Priami, C., et al.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. In: Information Processing Letters (2001)
2. Regev, A., Shapiro, E.: Cells as computation. Nature 419 (September 2002)
3. Regev, A., et al.: BioAmbients: An abstraction for biological compartments. Theoretical Computer Science 325(1), 141-167 (2004)
4. Danos, V., et al.: Rule-Based Modelling of Cellular Signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17-41. Springer, Heidelberg (2007)
5. Danos, V., et al.: Scalable modelling of biological pathways. In: Shao, Z. (ed.) APLAS 2007. LNCS, vol. 4807, pp. 139-157. Springer, Heidelberg (2007)
6. Danos, V., Laneve, C.: Formal molecular biology. Theoretical Computer Science 325(1), 69-110 (2004)
7. Laneve, C., Danos, V.: Core Formal Molecular Biology. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol. 2618, pp. 302-318. Springer, Heidelberg (2003)
8. Danos, V.: Agile modelling of cellular signalling. In: Proceedings of ICCMSE 2007 (2007)
9. Blinov, M., et al.: Graph Theory for Rule-Based Modeling of Biochemical Networks. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Riis Nielson, H. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 89-106. Springer, Heidelberg (2006)
10. Hlavacek, W., et al.: Rules for Modeling Signal-Transduction Systems. Science's STKE 344 (2006)
11. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)
12. Cardelli, L.: Brane calculi. In: Proceedings of BIO-CONCUR- 2003, Marseille, France. Electronic Notes in Theoretical Computer Science, vol. 180, Elsevier, Amsterdam (2003)
13. Priami, C., Quaglia, P.: Beta binders for biological interactions. Proceedings of CMSB 3082, 20-33 (2004)
14. Danos, V., Krivine, J.: Formal molecular biology done in CCS. In: Proceedings of BIO-CONCUR, 2003, Marseille, France. Electronic Notes in Theoretical Computer Science, vol. 180, pp. 31-49. Elsevier, Amsterdam (2003)
15. Feret, J.: Dependency Analysis of Mobile Systems. In: Le Métayer, D. (ed.) ESOP 2002 and ETAPS 2002. LNCS, vol. 2305, pp. 314-329. Springer, Heidelberg (2002)
16. Cousot, P., Cousot, R.: Abstract interpretation and application to logic programs. Journal of Logic Programming 13(2-3), 103-179 (1992)
17. Lee, C.Y.: Representation of switching circuits by binary-decision programs. Bell Systems Technical Journal 38, 985-999 (1959)
18. Blanchet, B., et al.: A static analyzer for large safety-critical software. In: Proceedings of the ACM SIGPLAN 2003 Conference on Programming Language Design and Implementation (PLDI 2003), San Diego, California, USA, June 7-14, 2003, pp. 196-207. ACM Press, New York (2003)
19. Milner, R.: Communication and Concurrency. In: International Series on Computer Science, Prentice-Hall, Englewood Cliffs (1989)
20. Blinov, M.L., et al.: A network model of early events in epidermal growth factor receptor signaling that accounts for combinatorial complexity. BioSystems 83, 136-151 (2006)
21. Kwiatkowska, M., et al.: Simulation and verification for computational modelling of signalling pathways. In: Proceedings of the 37th conference on Winter simulation, pp. 1666-1674 (2006)