{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:35:07Z","timestamp":1725485707330},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540003038"},{"type":"electronic","value":"9783540362654"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36265-7_41","type":"book-chapter","created":{"date-parts":[[2007,6,9]],"date-time":"2007-06-09T15:05:25Z","timestamp":1181401525000},"page":"431-442","source":"Crossref","is-referenced-by-count":7,"title":["XS-systems: eXtended S-Systems and Algebraic Differential Automata for Modeling Cellular Behavior"],"prefix":"10.1007","author":[{"given":"Marco","family":"Antoniotti","sequence":"first","affiliation":[]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[]},{"given":"Nadia","family":"Ugel","sequence":"additional","affiliation":[]},{"given":"Bud","family":"Mishra","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,12,18]]},"reference":[{"key":"41_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/3-540-45351-2_6","volume-title":"Proc. of the Fourth International Workshop on Hybrid Systems: Computation and Control","author":"R. Alur","year":"2001","unstructured":"R. Alur, C. Belta, F. Ivan\u010di\u0107, V. Kumar, M. Mintz, G. Pappas, H. Rubin, and J. Schug. Hybrid modeling and simulation of biological systems. In Proc. of the Fourth International Workshop on Hybrid Systems: Computation and Control, LNCS 2034, pages 19\u201332, Berlin, 2001. Springer-Verlag. 435"},{"key":"41_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"R. Alur, C. Courcoubetis, N. Halbwachs, T.A. Henzinger, P.-H. Ho, X. Nicollin, A. Olivero, J. Sifakis, and S. Yovine. The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science, 138:3\u201334, 1995. 432, 441","journal-title":"Theoretical Computer Science"},{"key":"41_CR3","doi-asserted-by":"crossref","unstructured":"U. S. Bhalla and R. Iyengar. Emergent properties of networks of biological signaling pathways. SCIENCE, 283:381\u2013387, 15 January1999. 435","DOI":"10.1126\/science.283.5400.381"},{"key":"41_CR4","unstructured":"R.W. Brockett. Dynamical systems and their associated automata. In U. Helmke, R. Mennicken, and J. Saurer, eds., Systems and Networks: Mathematical Theory and Applications\u2014Proceedings of the 1993 MTNS, volume 77, pages 49\u201369, Berlin, 1994. Akademie-Verlag. 435, 441"},{"key":"41_CR5","volume-title":"Fundamentals of Enzyme Kinetics","author":"A. Cornish-Bowden","year":"1999","unstructured":"A. Cornish-Bowden. Fundamentals of Enzyme Kinetics. Portland Press, London, second revised edition, 1999. 433","edition":"second revised"},{"key":"41_CR6","unstructured":"H. de-Jong, M. Page, C. Hernandez, and J. Geiselmann. Qualitative simulation of genetic regulatoryne tworks: methods and applications. In B. Nebel, ed., Proc. of the 17th Int. Joint Conf. on Art. Int., San Mateo, CA, 2001. Morgan Kaufmann. 434"},{"key":"41_CR7","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1038\/35002125","volume":"403","author":"M. Elowitz","year":"2000","unstructured":"M. Elowitz and S. Leibler. A synthetic oscillatory network of transcriptional regulators. Nature, 403:335\u2013338, 2000. 434, 435, 440, 441","journal-title":"Nature"},{"key":"41_CR8","doi-asserted-by":"crossref","unstructured":"E.A. Emerson. Temporal and Modal Logic. In J. van Leeuwen, ed., Handbook of Theoretical Computer Science, volume B, chapter 16, pages 995\u20131072. MIT Press, 1990. 439","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"issue":"18","key":"41_CR9","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1038\/35053181","volume":"409","author":"D. Endy","year":"2001","unstructured":"D. Endy and R. Brent. Modeling cellular behavior. Nature, 409(18):391\u2013395, January 2001. 435","journal-title":"Nature"},{"key":"41_CR10","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/S0303-2647(98)00015-X","volume":"47","author":"R. Hofest\u00e4dt","year":"1998","unstructured":"R. Hofest\u00e4dt and U. Scholz. Information processing for the analysis of metabolic pathways and inborn errors. BioSystems, 47:91\u2013102, 1998.","journal-title":"BioSystems"},{"issue":"3","key":"41_CR11","doi-asserted-by":"publisher","first-page":"704","DOI":"10.1137\/0727042","volume":"27","author":"D.H. Irvine","year":"1990","unstructured":"D.H. Irvine and M.A. Savageau. Efficient solution of nonlinear ordinary differential equations expressed in S-System canonical form. SIAM Journal on Numerical Analysis, 27(3):704\u2013735, 1990. 434","journal-title":"SIAM Journal on Numerical Analysis"},{"key":"41_CR12","unstructured":"B. Kuipers. Qualitative Reasoning. MIT Press, 1994. 435"},{"key":"41_CR13","unstructured":"B. E. Shapiro and E.D. Mjolsness. Developmental simulation with cellerator. In Proc. of the Second International Conference on Systems Biology (ICSB), Pasadena, CA, November 2001. 435"},{"issue":"1-2","key":"41_CR14","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1016\/S0004-3702(96)00050-1","volume":"92","author":"B. Shults","year":"1997","unstructured":"B. Shults and B. J. Kuipers. Proving properties of continuous systmes: qualitative simulation and temporal logic. Artificial Intelligence Journal, 92(1-2), 1997. 435","journal-title":"Artificial Intelligence Journal"},{"key":"41_CR15","unstructured":"E.O. Voit. Canonical Nonlinear Modeling, S-system Approach to Understanding Complexity. Van Nostrand Reinhold, New York, 1991. 432, 433"},{"key":"41_CR16","unstructured":"E.O. Voit. Computational Analysis of Biochemical Systems A Practical Guide for Biochemists and Molecular Biologists. Cambridge University Press, 2000. 432, 433"}],"container-title":["Lecture Notes in Computer Science","High Performance Computing \u2014 HiPC 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36265-7_41","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T20:08:59Z","timestamp":1556482139000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36265-7_41"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540003038","9783540362654"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-36265-7_41","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}