Agile modelling of cellular signalling

AIP Conference Proceedings

Volumn 963, Issue 2, 2007, Pages 611-614

  Danos, Vincent ^a  

^a CNRS   (France)

Author keywords

Cellular signalling; Rule based modelling

Indexed keywords

EID: 63549139865     PISSN: 0094243X     EISSN: 15517616     Source Type: Conference Proceeding    
DOI: 10.1063/1.2836156     Document Type: Conference Paper

References (21)

1. R. Milner, Communicating and mobile systems: the π-calculus, Cambridge University Press, Cambridge, 1999.
2. A. Regev, W. Silverman, and E. Shapiro, "Representation and Simulation of Biochemical Processes Using the π-Calculus Process Algebra," in Pacific Symposium on Biocomputing, edited by R. B. Altman, A. K. Dunker, L. Hunter, and T. E. Klein, World Scientific Press, Singapore, 2001, vol. 6, pp. 459-470.
3. C. Priami, A. Regev, E. Shapiro, and W. Silverman, Information Processing Letters (2001).
4. A. Regev, and E. Shapiro, Nature 419 (2002).
5. S. Eker, M. Knapp, K. Laderoute, P. Lincoln, J. Meseguer, and K. Sonmez, "Pathway Logic: Symbolic Analysis of Biological Signaling," in Proceedings of the Pacific Symposium on Biocomputing, 2002, pp. 400-412.
6. A. Regev, E. Panina, W. Silverman, L. Cardelli, and E. Shapiro, Theoretical Computer Science 325, 141-167 (2004).
7. L. Cardelli, "Brane Calculi," in Proceedings of BIO-CONCUR'03, Marseille, France, Elsevier, 2003, vol. 180 of Electronic Notes in Theoretical Computer Science.
8. C. Priami, and P. Quaglia, Proceedings of CMSB 3082, 20-33 (2004).
9. V. Danos, and J. Krivine, "Formal Molecular Biology done in CCS," in Proceedings of BIO-CONCUR '03, Marseille, France, Elsevier, 2003, vol. 180 of Electronic Notes in Theoretical Computer Science, pp. 31-49.
10. V. Danos, and C. Laneve, Theoretical Computer Science 325, 69-110 (2004).
11. V. Danos, and C. Laneve, "Core Formal Molecular Biology," in Proceedings of the 12th European Symposium on Programming, ESOP '03, Springer-Verlag, 2003, vol. 2618 of LNCS, pp. 302-318.
12. J. Faeder, M. Blinov, G. B., and W. Hlavacek, Complexity 10, 22-41 (2005).
13. M. Blinov, J. Yang, J. Faeder, and W. Hlavacek, Proc. BioCONCUR 2005 (2005).
14. J. Faeder, M. Blinov, and W. Hlavacek, Proc. ACM Symp. Appl. Computing pp. 133-140 (2005).
15. J. R. Faeder, M. L. Blinov, B. Goldstein, and W. S. Hlavacek, Systems Biology 2, 5-15 (2005).
16. M. L. Blinov, J. Yang, J. R. Faeder, and W. S. Hlavacek, Nat. Biotechnol. 24, 1-2 (2006).
17. M. L. Blinov, J. R. Faeder, B. Goldstein, and W. S. Hlavacek, BioSystems 83, 136-151 (2006).
18. W. Hlavacek, J. Faeder, M. Blinov, R. Posner, M. Hucka, and W. Fontana, Science's STKE 2006 (2006).
19. C. Huang, and J. Ferrell, Proceedings of the National Academy of Sciences 93, 10078-10083 (1996).
20. th International Conference on Concurrency Theory (CONCUR '07), edited by L. Caires, and V. Vasconcelos, 2007, Lecture Notes in Computer Science.
21. A. Goldbeter, and D. Koshland, Proceedings of the National Academy of Sciences 78, 6840-6844 (1981).