An intuitive automated modelling interface for systems biology

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 9, Issue , 2009, Pages 73-86

  Kahramanoǧullari, Ozan ^a   Cardelli, Luca ^b   Caron, Emmanuelle ^c  

^a UNIVERSITY OF TRENTO   (Italy)

^b MICROSOFT RESEARCH   (United Kingdom)

^c IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ANTIGEN-ANTIBODY REACTIONS; BIOCHEMISTRY; CALCULATIONS; COMPUTATION THEORY; COMPUTATIONAL METHODS; NATURAL LANGUAGE PROCESSING SYSTEMS; STOCHASTIC MODELS; STOCHASTIC SYSTEMS;

AUTOMATED MODELLING; BIOCHEMICAL SYSTEMS; MICROSOFT RESEARCHES; NATURAL LANGUAGE INTERFACES; P CALCULUS; STYLE LANGUAGES; SYSTEMS BIOLOGY;

BIOLOGICAL SYSTEMS;

EID: 85020228951     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.9.9     Document Type: Conference Paper

References (19)

1. L. Cardelli, E. Caron, P. Gardner, O. Kahramanoǧullari, and A. Phillips. A process model of actin polymerisation. In FBTC'08, volume 229 of ENTCS, pages 127-144. Elsevier, 2008.
2. L. Cardelli, E. Caron, P. Gardner, O. Kahramanoǧullari, and A. Phillips. A process model of Rho GTPbinding proteins. Theoretical Computer Science, 410/33-34:3166-3185, 2009.
3. L. Cardelli and G. Zavattaro. On the computational power of biochemistry. In AB'08, volume 5147 of LNCS, pages 65-80. Springer, 2008.
4. C. Cougoule, S. Hoshino, A. Dart, J. Lim, and E. Caron. Dissociation of recruitment and activation of the small G-protein Rac during Fc gamma receptor-mediated phagocytosis. J. Bio. Chem., 281:8756-8764, 2006.
5. V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine. Rule-based modelling of cellular signalling. In CONCUR'07, volume 4703 of LNCS, pages 17-41. Springer, 2007.
6. V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine. Rule-based modelling, symmetries, refinements. In FMSB'08, volume 5054 of LNCS, pages 103-122. Springer, 2008.
7. V. Danos, J. Feret, W. Fontana, and J. Krivine. Abstract interpretation of cellular signalling networks. In VMCAI'08, volume 4905 of LNBI, pages 83-97. Springer, 2008.
8. E. Garcia-Garcia and C. Rosales. Signal transduction during Fc receptor-mediated phagocytosis. Journal of Leukocyte Biology, 72:1092-1108, 2002.
9. M. Heiner, D. Gilbert, and R. Donaldson. Petri nets for systems and synthetic biology. In SFM'08, volume 5016 of LNCS, pages 215-264. Springer, 2008.
10. K. W. Kohn, M. I. Aladjem, S. Kim, J. N. Weinstein, and Y. Pommier. Depicting combinatorial complexity with the molecular interaction map notation. Molecular Systems Biology, 2:51, 2006.
11. C. Priami M. L. Guerriero, J. K. Heath. An automated translation from a narrative language for biological modelling into process algebra. In CMSB'07, volume 4695 of LNCS, pages 136-151. Springer, 2007.
12. R. Milner. Communication and Mobile Systems: the p-calculus. Cambridge University Press, 1999.
13. A. Phillips and L. Cardelli. Efficient, correct simulation of biological processes in stochastic Pi-calculus. In CMSB'07, volume 4695 of LNBI. Springer, 2007.
14. A. Phillips, L. Cardelli, and G. Castagna. A graphical representation for biological processes in the stochastic pi-calculus. In Transactions on Computational Systems Biology VII, volume 4230 of LNCS, pages 123-152. Springer, 2006.
15. S. Pradalier, C. Laneve, and G. Zavattaro. From biochemistry to stochastic processes. In QALP'09, ENTCS. Elsevier, 2009. to appear.
16. C. Priami, A. Regev, E. Shapiro, and W. Silverman. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters, 80:25-31, 2001.
17. A. Regev and E. Shapiro. Cellular abstractions: Cells as computation. Nature, 419:343, 2002.
18. J. A. Swanson and A. D. Hoppe. The coordination of signaling during Fc receptor-mediated phagocytosis. Journal of Leukocyte Biology, 76:1093-1103, 2004.
19. A. Tiwari, C. Talcott, M. Knapp, P. Lincoln, and K. Laderoute. Analyzing pathways using sat-based approaches. In Gerhard Goos, Juris Hartmanis, and Jan van Leeuwen, editors, Second International Conference, Algebraic Biology 2007, volume 4545 of LNCS, pages 155-169. Springer, 2007.