Using hybrid concurrent constraint programming to model dynamic biological systems

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

Volumn 2401, Issue , 2002, Pages 85-99

  Bockmayr, Alexander ^a   Courtois, Arnaud ^a  

^a UNIVERSITÉ DE LORRAINE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGICAL FUNCTIONS; BIOLOGICAL PATHWAYS; BIOLOGICAL PHENOMENA; COMPUTATIONAL MODEL; CONCURRENT CONSTRAINT PROGRAMMING; GENE INTERACTIONS; GENOME PROJECTS; SYSTEMS BIOLOGY;

CONSTRAINT THEORY; GENES; HYBRID SYSTEMS; LOGIC PROGRAMMING; SEMANTICS; BIOLOGY; COMPUTATION THEORY; COMPUTER CIRCUITS; COMPUTER PROGRAMMING; RECONFIGURABLE HARDWARE;

BIOLOGICAL SYSTEMS;

EID: 84888265913     PISSN: 03029743     EISSN: 16113349     Source Type: Journal    
DOI: 10.1007/3-540-45619-8_7     Document Type: Article

References (26)

1. R. Alur, C. Belta, F. Ivancic, V. Kumar, M. Mintz, G. J. Pappas, H. Rubin, and J. Schug. Hybrid modeling and simulation of biomolecular networks. In Hybrid Systems: Computation and Control, HSCC 2001, pages 19-32. Springer, LNCS 2034, 2001.
2. A. Bockmayr and A. Courtois. Modeling biological systems in hybrid concurrent constraint programming In 2nd Int. Conf. Systems Biology, ICSB'01, Pasadena, CA, 2001.
3. J. M. Bower and H. Bolouri, editors. Computational modeling of genetic and biochemical networks. MIT Press, 2001.
4. B. Carlson and V. Gupta. Hybrid cc and interval constraints. In Hybrid Systems: Computation and Control, HSCC'98, pages 80 - 95. Springer, LNCS 1386, 1998.
5. A. Courtois. Modelisation de systemes biologiques en programmation par contraintes. Rapport de DEA (in French), Univ. Henri Poincare, LORIA, July 2001.
6. H. de Jong. Modeling and simulation of genetic regulatory systems: A literature review. Journal of Computational Biology, 9(1):69 - 105, 2001.
7. R. Ghosh and C. Tomlin. Lateral inhibition through Delta-Notch signaling: A piecewise affine hybrid model. In Hybrid Systems: Computation and Control, HSCC 2001, pages 232-246. Springer, LNCS 2034, 2001.
8. M. A. Gibson and J. Bruck. A probabilistic model of a prokaryotic gene and its regulation. In Bower and Bolouri, chapter 2, pages 49-71.
9. M. A. Gibson and E. Mjolsness. Modeling the activity of single genes. In Bower and Bolouri, chapter 1, pages 1-48.
10. V. Gupta, R. Jagadeesan, and P. Panangaden. Stochastic processes as concurrent constraint programs. In 26th ACM Conf. Principles of Programming Languages, POPL'99, San Antonio, CA, pages 189 - 202. ACM, 1999.
11. V. Gupta, R. Jagadeesan, and V. Saraswat. Computing with continuous change. Science of computer programming, 30(1-2):3-49, 1998.
12. V. Gupta, R. Jagadeesan, V. Saraswat, and D. G. Bobrow. Programming in hybrid constraint languages. In Hybrid Systems, pages 226-251. Springer, LNCS 999, 1995.
13. M. Hucka, A. Finney, H. M. Sauro, H. Bolouri, J. Doyle, and H. Kitano. The ERATO systems biology workbench: Enabling interaction and exchange between software tools for computational biology. Pacific Symposium on Biocomputing, 7, 2002. 86.
14. T. Ideker, V. Thorsson, J. A. Ranish, R. Christmas, J. Buhler, J. K. Eng, R. Bumgarner, D. R. Goodlett, R. Aebersold, and L. Hood. Integrated genomic and proteomic analyses of a systematically perturbed metabolic network. Science, 292:929 - 934, May 2001.
15. S. A. Kauffman. The origins of order. Oxford Univ. Press, 1993.
16. J. Theor. Biol. 22: 437, 1969.
17. H. Kitano, editor. Foundations of system biology. MIT Press, 2001.
18. H. Matsuno, A. Doi, M. Nagasaki, and S. Miyano. Hybrid petri net representation of gene regulatory network. Pacific Symposium on Biocomputing, 5:338-349, 2000.
19. V. N. Reddy, M. L. Mavrovouniotis, and M. N. Liebman. Petri net representation in metabolic pathways. In Intelligent Systems for Molecular Biology, ISMB'93, pages 328-336. AAAI Press, 1993.
20. A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the π-calculus process algebra. Pacific Symposium on Biocomputing, 6:459-470, 2001.
21. V. A. Saraswat. Concurrent constraint programming. ACM Doctoral Dissertation Awards. MIT Press, 1993.
22. V. A. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In 9th Symp. Logic in Computer Science, LICS'94, Paris, pages 71 - 80. IEEE, 1994.
23. V. A. Saraswat, R. Jagadeesan, and V. Gupta. Timed default concurrent constraint programming. Journal of Symbolic Computation, 22(5/6):475-520, 1996.
24. D. Thieffry and R. Thomas. Qualitative analysis of gene networks. Pacific Symposium on Biocomputing, 3:77-88, 1998.
25. A. van der Schaft and H. Schumacher. An introduction to hybrid dynamical systems. Springer, Lecture Notes in Control and Information Sciences, Vol. 251, 2000.
26. E. O. Voit. Computational analysis of biochemical systems. Cambridge Univ. Press, 2000.