Constraint-based simulation of biological systems described by Molecular Interaction Maps

Proceedings - 2007 IEEE International Conference on Bioinformatics and Biomedicine, BIBM 2007

Volumn , Issue , 2007, Pages 288-293

  Bortolussi, Luca ^a   Fonda, Simone ^b   Policriti, Alberto ^c,d  

^a UNIVERSITY OF TRIESTE   (Italy)

^b UNIVERSITY OF PISA   (Italy)

^c UNIVERSITY OF UDINE   (Italy)

^d Istituto di Genomica Applicata   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ACTIVE NETWORKS; BIOCOMMUNICATIONS; BIOINFORMATICS; BIOLOGICAL SYSTEMS; COMPUTER PROGRAMMING; CONSTRAINT THEORY; FLOW INTERACTIONS; INFORMATION SCIENCE; MOLECULAR INTERACTIONS; MOLECULAR STRUCTURE; OPTICAL PROJECTORS; STANDARDS; STOCHASTIC PROGRAMMING;

BIOCHEMICAL NETWORKS; CONCURRENT CONSTRAINT PROGRAMMING; CONSTRAINT-BASED SIMULATION; GRAPHICAL NOTATIONS; INTERNATIONAL CONFERENCES; STANDARD TOOLS;

MAPS;

EID: 49049093202     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/BIBM.2007.31     Document Type: Conference Paper

References (16)

1. L. Bortolussi. Stochastic concurrent constraint programming. In Proceedings of QAPL 2006, ENTCS, volume 164, pages 65-80, 2006.
2. L. Bortolussi. Constraint-based approaches to stochastic dynamics of biological systems. PhD thesis, PhD in Computer Science, University of Udine, 2007. Available at http://www.dmi.units.it/~bortolu/files/reps/ Bortolussi-PhDThesis.pdf.
3. L. Bortolussi and A. Policriti. Modeling biological systems in concurrent constraint programming. To appear in Constraints, 2007.
4. F. Ciocchetta, C. Priami, and P. Quaglia. Modeling kohn interaction maps with beta-binders: an example. Transactions on computational systems biology, LNBI 3737:33-48, 2005.
5. V. Danos and C. Laneve. Formal molecular biology. Theor. Comput. Sci., 325(1):69-110, 2004.
6. J.R. Faeder, M.L. Blinov, B. Goldstein, and W.S. Hlavacek. Rule-based modeling of biochemical networks. Complexity, 10:22-41, 2005.
7. Swedish Institute for Computer Science. Sicstus prolog home page.
8. D.T. Gillespie. Exact stochastic simulation of coupled chemical reactions. J. of Physical Chemistry, 81(25), 1977.
9. H. Kitano. Computational systems biology. Nature, 420:206-210, 2002.
10. K. W. Kohn. Functional capabilities of molecular network components controlling the mammalian g1/s cell cycle phase transition. Oncogene, 16:1065-1075, 1998.
11. K. W. Kohn, M. I. Aladjem, J. N. Weinstein, and Y. Pommier. Molecular interaction maps of bioregulatory networks: A general rubric for systems biology. Molecular Biology of the Cell, 17(1):1-13, 2006.
12. C. Priami and P. Quaglia. Modelling the dynamics of biosystems. Briefings in Bioinformatics, 5(3):259-269, 2004.
13. V. A. Saraswat. Concurrent Constraint Programming. MIT press, 1993.
14. L. Shapiro and E. Y. Sterling. The Art of PROLOG: Advanced Programming Techniques. The MIT Press, 1994.
15. S. H. Strogatz. Non-Linear Dynamics and Chaos, with Applications to Physics, Biology, Chemistry and Engeneering. Perseus books, 1994.
16. D. J. Wilkinson. Stochastic Modelling for Systems Biology. Chapman & Hall, 2006.