{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:24:04Z","timestamp":1725549844299},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540272311"},{"type":"electronic","value":"9783540316862"}],"license":[{"start":{"date-parts":[[2005,1,1]],"date-time":"2005-01-01T00:00:00Z","timestamp":1104537600000},"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":[[2005]]},"DOI":"10.1007\/11513988_3","type":"book-chapter","created":{"date-parts":[[2010,3,12]],"date-time":"2010-03-12T08:33:28Z","timestamp":1268382808000},"page":"5-19","source":"Crossref","is-referenced-by-count":35,"title":["Algorithmic Algebraic Model Checking I: Challenges from Systems Biology"],"prefix":"10.1007","author":[{"given":"C.","family":"Piazza","sequence":"first","affiliation":[]},{"given":"M.","family":"Antoniotti","sequence":"additional","affiliation":[]},{"given":"V.","family":"Mysore","sequence":"additional","affiliation":[]},{"given":"A.","family":"Policriti","sequence":"additional","affiliation":[]},{"given":"F.","family":"Winkler","sequence":"additional","affiliation":[]},{"given":"B.","family":"Mishra","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","first-page":"414","volume-title":"International Symposium on Logic in Computer Science","author":"R. Alur","year":"1990","unstructured":"Alur, R., Courcoubetis, C., Dill, D.: Model-Checking for Real-Time Systems. In: International Symposium on Logic in Computer Science, vol.\u00a05, pp. 414\u2013425. IEEE Computer Press, Los Alamitos (1990)"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., Courcoubetis, C., Halbwachs, N., Henzinger, T.A., Ho, P.-H., Nicollin, X., Olivero, A., Sifakis, J., Yovine, S.: The Algorithmic Analysis of Hybrid Systems. Theoretical Computer Science\u00a0138, 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1007\/3-540-36580-X_4","volume-title":"Hybrid Systems: Computation and Control","author":"R. Alur","year":"2003","unstructured":"Alur, R., Dang, T., Ivancic, F.: Progress on Reachability Analysis of Hybrid Systems Using Predicate Abstraction. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 4\u201319. Springer, Heidelberg (2003)"},{"key":"3_CR4","first-page":"2","volume-title":"IEEE Real-Time Systems Symposium","author":"R. Alur","year":"1993","unstructured":"Alur, R., Henzinger, T.A.: Pei-Hsin Ho. Automatic Symbolic Verification of Embedded Systems. In: IEEE Real-Time Systems Symposium, pp. 2\u201311. IEEE Press, Los Alamitos (1993)"},{"key":"3_CR5","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1385\/CBB:38:3:271","volume":"38","author":"M. Antoniotti","year":"2003","unstructured":"Antoniotti, M., Policriti, A., Ugel, N., Mishra, B.: Reasoning about Biochemical Processes. Cell Biochemistry and Biophysics\u00a038, 271\u2013286 (2003)","journal-title":"Cell Biochemistry and Biophysics"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1007\/3-540-46430-1_6","volume-title":"Hybrid Systems: Computation and Control","author":"E. Asarin","year":"2000","unstructured":"Asarin, E., Dang, T., Maler, O., Bournez, O.: Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 20\u201331. Springer, Heidelberg (2000)"},{"key":"3_CR7","unstructured":"Bensalem, S., Ganesh, V., Lakhnech, Y., Mu\u00f1oz, C., Owre, S., Rue\u00df, H., Rushby, J., Rusu, V., Sa\u00efdi, H., Shankar, N., Singerman, E., Tiwari, A.: An overview of SAL. In: Holloway, C.M. (ed.) NASA Langley Formal Methods Workshop, pp. 187\u2013196 (2000)"},{"key":"3_CR8","volume-title":"Complexity and Real Computation","author":"L. Blum","year":"1997","unstructured":"Blum, L., Cucker, F., Shub, M., Smale, S.: Complexity and Real Computation. Springer, Heidelberg (1997)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/3-540-48983-5_10","volume-title":"Hybrid Systems: Computation and Control","author":"A. Chutinan","year":"1999","unstructured":"Chutinan, A., Krogh, B.: Verification of Polyhedral-Invariant Hybrid Automata Using Polygonal Flow Pipe Approximations. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, pp. 76\u201390. Springer, Heidelberg (1999)"},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1006\/jtbi.1996.0233","volume":"183","author":"J.R. Collier","year":"1996","unstructured":"Collier, J.R., Monk, N.A.M., Maini, P.K., Lewis, J.H.: Pattern Formation by Lateral Inhibition with Feedback: a Mathematical Model of Delta-Notch Intercellular Signalling. Journal of Theor. Biology\u00a0183, 429\u2013446 (1996)","journal-title":"Journal of Theor. Biology"},{"key":"3_CR11","volume-title":"Fundamentals of Enzyme Kinetics","author":"A. Cornish-Bowden","year":"2004","unstructured":"Cornish-Bowden, A.: Fundamentals of Enzyme Kinetics, 3rd edn. Portland Press, London (2004)","edition":"3"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/3-540-36580-X_19","volume-title":"Hybrid Systems: Computation and Control","author":"R. Ghosh","year":"2003","unstructured":"Ghosh, R., Tiwari, A., Tomlin, C.: Automated symbolic reachability analysis; with application to delta-notch signaling automata. In: Maler, O., Pnueli, A. (eds.) HSCC 2003. LNCS, vol.\u00a02623, pp. 233\u2013248. Springer, Heidelberg (2003)"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"394","DOI":"10.1109\/LICS.1992.185551","volume-title":"7th Annual IEEE Symposium on Logic in Computer Science","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Nicollin, X., Sifakis, J., Yovine, S.: Symbolic Model Checking for Real-time Systems. In: 7th Annual IEEE Symposium on Logic in Computer Science, June 1992, pp. 394\u2013406. IEEE Computer Society Press, Los Alamitos (1992)"},{"key":"3_CR14","unstructured":"Hong, H.: Quantifier elimination in elementary algebra and geometryby partial cylindrical algebraic decomposition, version 13 (1995), WWW site, \n                    \n                      www.eecis.udel.edu\/~saclib"},{"key":"3_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/b98841","volume-title":"Mathematical Physiology","author":"J.P. Keener","year":"1998","unstructured":"Keener, J.P., Sneyd, J.: Mathematical Physiology. Springer, New York (1998)"},{"key":"3_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"402","DOI":"10.1007\/978-3-540-31954-2_26","volume-title":"Hybrid Systems: Computation and Control","author":"R. Lanotte","year":"2005","unstructured":"Lanotte, R., Tini, S.: Taylor Approximation for Hybrid Systems. In: Morari, M., Thiele, L. (eds.) HSCC 2005. LNCS, vol.\u00a03414, pp. 402\u2013416. Springer, Heidelberg (2005)"},{"key":"3_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-4344-1","volume-title":"Algorithmic Algebra","author":"B. Mishra","year":"1993","unstructured":"Mishra, B.: Algorithmic Algebra. Springer, New York (1993)"},{"key":"3_CR18","first-page":"111","volume-title":"Computational Differential Algebra","author":"B. Mishra","year":"2000","unstructured":"Mishra, B.: Computational Differential Algebra, pp. 111\u2013145. World Scientific, Singapore (2000)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"725","DOI":"10.1007\/3-540-36265-7_70","volume-title":"High Performance Computing - HiPC 2002","author":"B. Mishra","year":"2002","unstructured":"Mishra, B.: A Symbolic Approach to Modeling Cellular Behavior. In: Sahni, S.K., Prasanna, V.K., Shukla, U. (eds.) HiPC 2002. LNCS, vol.\u00a02552, pp. 725\u2013732. Springer, Heidelberg (2002)"},{"key":"3_CR20","first-page":"740","volume-title":"Computational Real Algebraic Geometry","author":"B. Mishra","year":"2004","unstructured":"Mishra, B.: Computational Real Algebraic Geometry, pp. 740\u2013764. CRC Press, Boca Raton (2004)"},{"key":"3_CR21","first-page":"18","volume-title":"International Conference on Logic Programming (ICLP 1993)","author":"A. Nerode","year":"1993","unstructured":"Nerode, A., Kohn, W.: Hybrid Systems and Constraint Logic Programming. In: Warren, D.S. (ed.) International Conference on Logic Programming (ICLP 1993), pp. 18\u201324. MIT Press, Cambridge (1993)"},{"key":"3_CR22","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 of Abstraction for Hybrid Automata. In: Tomlin, C.J., Greenstreet, M.R. (eds.) HSCC 2002. LNCS, vol.\u00a02289, pp. 465\u2013478. Springer, Heidelberg (2002)"},{"key":"3_CR23","volume-title":"A Pratical Guide for Biochemists and Molecular Biologists","author":"E.O. Voit","year":"2000","unstructured":"Voit, E.O.: Computational Analysis of Biochemical Systems. In: A Pratical Guide for Biochemists and Molecular Biologists. Cambridge University Press, Cambridge (2000)"},{"key":"3_CR24","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7091-6571-3","volume-title":"Polynomial Algorithms in Computer Algebra","author":"F. Winkler","year":"1996","unstructured":"Winkler, F.: Polynomial Algorithms in Computer Algebra. Springer, New York (1996)"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11513988_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T13:35:17Z","timestamp":1558272917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11513988_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540272311","9783540316862"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/11513988_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}