{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T04:53:17Z","timestamp":1725511997513},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540714927"},{"type":"electronic","value":"9783540714934"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-71493-4_71","type":"book-chapter","created":{"date-parts":[[2007,5,30]],"date-time":"2007-05-30T21:33:57Z","timestamp":1180560837000},"page":"727-730","source":"Crossref","is-referenced-by-count":2,"title":["Qualitative Analysis of Nonlinear Biochemical Networks with Piecewise-Affine Functions"],"prefix":"10.1007","author":[{"given":"M. W. J. M.","family":"Musters","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"de Jong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. P. J.","family":"van den Bosch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N. A. W.","family":"van Riel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"71_CR1","first-page":"20","volume":"4","author":"R. Alur","year":"2002","unstructured":"Alur, R., et al.: Modeling and analyzing biomolecular networks. CiSE\u00a04(1), 20 (2002)","journal-title":"CiSE"},{"key":"71_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/978-3-540-31954-2_9","volume-title":"Hybrid Systems: Computation and Control","author":"G. Batt","year":"2005","unstructured":"Batt, G., et al.: Qualitative analysis and verification of hybrid models of genetic regulatory networks: Nutritional stress response in escherichia coli. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 134\u2013150. Springer, Heidelberg (2005)"},{"key":"71_CR3","first-page":"869","volume-title":"Proceedings of the 40th IEEE Conference on Decision and Control","author":"C. Belta","year":"2001","unstructured":"Belta, C., et al.: Stability and reachability analysis of a hybrid model of luminescence in the marine bacterium vibrio fischeri. In: Proceedings of the 40th IEEE Conference on Decision and Control, pp. 869\u2013874. IEEE Computer Society Press, Los Alamitos (2001)"},{"issue":"5596","key":"71_CR4","doi-asserted-by":"publisher","first-page":"1241","DOI":"10.1126\/science.1071914","volume":"298","author":"A. Hoffmann","year":"2002","unstructured":"Hoffmann, A., et al.: The I\u03baB-NF-\u03baB signaling module: temporal control and gene activation. Science\u00a0298(5596), 1241\u20131245 (2002)","journal-title":"Science"},{"key":"71_CR5","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/0004-3702(90)90047-4","volume":"41","author":"E. Sacks","year":"1990","unstructured":"Sacks, E.: Automatic qualitative analysis of dynamic systems using piecewise linear approximations. Artif. Intell.\u00a041, 313\u2013364 (1990)","journal-title":"Artif. Intell."},{"key":"71_CR6","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0004-3702(94)00062-6","volume":"75","author":"T. Nishida","year":"1995","unstructured":"Nishida, T., Doshita, S.: Qualitative analysis of behavior of systems of piecewise linear differential equations with two state variables. Artif. Intell.\u00a075, 3\u201329 (1995)","journal-title":"Artif. Intell."},{"key":"71_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"465","DOI":"10.1007\/3-540-45873-5_36","volume-title":"Hybrid Systems: Computation and Control","author":"A. Tiwari","year":"2002","unstructured":"Tiwari, A., Khanna, G.: Series abstractions for hybrid automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 465\u2013478. Springer, Heidelberg (2002)"},{"key":"71_CR8","doi-asserted-by":"crossref","unstructured":"Musters, M.W.J.M., et al.: Hybrid identification of nonlinear biochemical processes. In: IFAC SYSID, Newcastle, Australia (2006)","DOI":"10.3182\/20060329-3-AU-2901.00051"}],"container-title":["Lecture Notes in Computer Science","Hybrid Systems: Computation and Control"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-71493-4_71","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:24:22Z","timestamp":1558272262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-71493-4_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540714927","9783540714934"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-71493-4_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}