{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,11]],"date-time":"2025-04-11T05:28:20Z","timestamp":1744349300857,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439301"},{"type":"electronic","value":"9783540456193"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45619-8_7","type":"book-chapter","created":{"date-parts":[[2007,5,19]],"date-time":"2007-05-19T14:57:41Z","timestamp":1179586661000},"page":"85-99","source":"Crossref","is-referenced-by-count":22,"title":["Using Hybrid Concurrent Constraint Programming to Model Dynamic Biological Systems"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Bockmayr","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arnaud","family":"Courtois","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"7_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Hybrid Systems: Computation and Control, HSCC 2001","author":"R. Alur","year":"2001","unstructured":"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\u201332. Springer, LNCS 2034, 2001."},{"key":"7_CR2","unstructured":"A. Bockmayr and A. Courtois. Modeling biological systems in hybrid concurrent constraint programming (Abstract). In 2nd Int. Conf. Systems Biology, ICSB\u201901, Pasadena, CA, 2001."},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"J. M. Bower and H. Bolouri, editors. Computational modeling of genetic and biochemical networks. MIT Press, 2001.","DOI":"10.7551\/mitpress\/2018.001.0001"},{"key":"7_CR4","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/3-540-64358-3_33","volume-title":"Hybrid Systems: Computation and Control, HSCC\u201998","author":"B. Carlson","year":"1998","unstructured":"B. Carlson and V. Gupta. Hybrid cc and interval constraints. In Hybrid Systems: Computation and Control, HSCC\u201998, pages 80\u201395. Springer, LNCS 1386, 1998."},{"key":"7_CR5","unstructured":"A. Courtois. Mod\u00e9lisation de syst\u00e8mes biologiques en programmation par contraintes. Rapport de DEA (in French), Univ. Henri Poincar\u00e9, LORIA, July 2001."},{"issue":"1","key":"7_CR6","first-page":"69","volume":"9","author":"H. Jong de","year":"2001","unstructured":"H. de Jong. Modeling and simulation of genetic regulatory systems: a literature review. Journal of Computational Biology, 9(1):69\u2013105, 2001.","journal-title":"Journal of Computational Biology"},{"key":"7_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-45351-2_21","volume-title":"Hybrid Systems: Computation and Control, HSCC 2001","author":"R. Ghosh","year":"2001","unstructured":"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\u2013246. Springer, LNCS 2034, 2001."},{"key":"7_CR8","unstructured":"M. A. Gibson and J. Bruck. A probabilistic model of a prokaryotic gene and its regulation. In H. Bolouri, editors. Computational modeling of genetic and biochemical networks. MIT Press, 2001 Bower and Bolouri [3]}, chapter 2, pages 49\u201371."},{"key":"7_CR9","unstructured":"M. A. Gibson and E. Mjolsness. Modeling the activity of single genes. In H. Bolouri, editors. Computational modeling of genetic and biochemical networks. MIT Press, 2001 Bower and Bolouri [3]}, chapter 1, pages 1\u201348."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"V. Gupta, R. Jagadeesan, and P. Panangaden. Stochastic processes as concurrent constraint programs. In 26th ACM Conf. Principles of Programming Languages, POPL\u201999, San Antonio, CA, pages 189\u2013202. ACM, 1999.","DOI":"10.1145\/292540.292558"},{"issue":"1\u20132","key":"7_CR11","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0167-6423(97)00006-3","volume":"30","author":"V. Gupta","year":"1998","unstructured":"V. Gupta, R. Jagadeesan, and V. Saraswat. Computing with continuous change. Science of computer programming, 30(1\u20132):3\u201349, 1998.","journal-title":"Science of computer programming"},{"key":"7_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1007\/3-540-60472-3_12","volume-title":"Hybrid Systems II","author":"V. Gupta","year":"1995","unstructured":"V. Gupta, R. Jagadeesan, V. Saraswat, and D. G. Bobrow. Programming in hybrid constraint languages. In Hybrid Systems II, pages 226\u2013251. Springer, LNCS 999, 1995."},{"key":"7_CR13","unstructured":"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."},{"key":"7_CR14","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1126\/science.292.5518.929","volume":"292","author":"T. Ideker","year":"2001","unstructured":"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 pro-teomic analyses of a systematically perturbed metabolic network. Science, 292:929\u2013934, May 2001.","journal-title":"Science"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"S. A. Kauffman. The origins of order. Oxford Univ. Press, 1993. See also J. Theor. Biol. 22: 437, 1969.","DOI":"10.1016\/0022-5193(69)90015-0"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"H. Kitano, editor. Foundations of system biology. MIT Press, 2001.","DOI":"10.7551\/mitpress\/3087.001.0001"},{"key":"7_CR17","first-page":"338","volume":"5","author":"H. Matsuno","year":"2000","unstructured":"H. Matsuno, A. Doi, M. Nagasaki, and S. Miyano. Hybrid petri net representation of gene regulatory network. Pacific Symposium on Biocomputing, 5:338\u2013349, 2000.","journal-title":"Pacific Symposium on Biocomputing"},{"key":"7_CR18","unstructured":"V. N. Reddy, M. L. Mavrovouniotis, and M. N. Liebman. Petri net representation in metabolic pathways. In Intelligent Systems for Molecular Biology, ISMB\u201993, pages 328\u2013336. AAAI Press, 1993."},{"key":"7_CR19","first-page":"459","volume":"6","author":"A. Regev","year":"2001","unstructured":"A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. Pacific Symposium on Biocomputing, 6:459\u2013470, 2001.","journal-title":"Pacific Symposium on Biocomputing"},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat. Concurrent constraint programming. ACM Doctoral Dissertation Awards. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"V. A. Saraswat, R. Jagadeesan, and V. Gupta. Foundations of timed concurrent constraint programming. In 9th Symp. Logic in Computer Science, LICS\u201994, Paris, pages 71\u201380. IEEE, 1994.","DOI":"10.1109\/LICS.1994.316085"},{"issue":"5\/6","key":"7_CR22","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1006\/jsco.1996.0064","volume":"22","author":"V. A. Saraswat","year":"1996","unstructured":"V. A. Saraswat, R. Jagadeesan, and V. Gupta. Timed default concurrent constraint programming. Journal of Symbolic Computation, 22(5\/6):475\u2013520, 1996.","journal-title":"Journal of Symbolic Computation"},{"key":"7_CR23","first-page":"77","volume":"3","author":"D. Thieffry","year":"1998","unstructured":"D. Thieffry and R. Thomas. Qualitative analysis of gene networks. Pacific Symposium on Biocomputing, 3:77\u201388, 1998.","journal-title":"Pacific Symposium on Biocomputing"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"A. van der Schaft and H. Schumacher. An introduction to hybrid dynamical systems. Springer, Lecture Notes in Control and Information Sciences, Vol. 251, 2000.","DOI":"10.1007\/BFb0109998"},{"key":"7_CR25","unstructured":"E. O. Voit. Computational analysis of biochemical systems. Cambridge Univ. Press, 2000."}],"container-title":["Lecture Notes in Computer Science","Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45619-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,16]],"date-time":"2025-01-16T13:10:33Z","timestamp":1737033033000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45619-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439301","9783540456193"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-45619-8_7","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}