{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,18]],"date-time":"2025-01-18T05:07:12Z","timestamp":1737176832026,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540006053"},{"type":"electronic","value":"9783540364818"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36481-1_6","type":"book-chapter","created":{"date-parts":[[2007,6,16]],"date-time":"2007-06-16T17:17:47Z","timestamp":1182014267000},"page":"57-74","source":"Crossref","is-referenced-by-count":12,"title":["Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing"],"prefix":"10.1007","author":[{"given":"Marco","family":"Antoniotti","sequence":"first","affiliation":[]},{"given":"Bhubaneswar","family":"Mishra","sequence":"additional","affiliation":[]},{"given":"Carla","family":"Piazza","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Policriti","sequence":"additional","affiliation":[]},{"given":"Marta","family":"Simeoni","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"key":"6_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","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, volume 2034 of LNCS pages 19\u201322. Springer-Verlag, 2001.60, 62, 67"},{"key":"6_CR2","series-title":"Lect Notes Comput Sci","first-page":"209","volume-title":"Hybrid Systems","author":"R. Alur","year":"1992","unstructured":"R. Alur, C. Courcoubetis, T.A. Henzinger, and P.H. Ho.Hybrid automata:An algorithmic approach to the specification and verification of hybrid systems.In R.L. Grossman, A. Nerode, A.P. Ravn, and H. Richel,editors, Hybrid Systems LNCS, pages 209\u2013229. Springer-Verlag, 1992. 66"},{"unstructured":"M. Antoniotti, F.C. Park, A. Policriti, N. Ugel, and B. Mishra. Foundations of a Query and Simulation System for the odeling of Biochemical and Biological Processes. In Proc. of the Pacific Symposium of Biocomputing (PSB\u201903) 2003. 58, 59","key":"6_CR3"},{"unstructured":"M. Antoniotti, A. Policriti, N. Ugel, and B. Mishra. XS-systems:extended S-systems and algebraic differential automata for modeling cellular behaviour.In Proc. of Int. Conference on High Performance Computing (HiPC\u201902) 2002. 58, 59, 60, 63, 64, 66, 71","key":"6_CR4"},{"doi-asserted-by":"crossref","unstructured":"M. Antoniotti, A. Policriti, N. Ugel, and B. Mishra. Model Building and Model Checking for Biological Processes.Cell Biochemistry and Biophysics 2003. To appear. 58","key":"6_CR5","DOI":"10.1385\/CBB:38:3:271"},{"unstructured":"U.S. Bhalla. Data Base of Quatitative Cellular Signaling (DOQCS).Website at http:\/\/doqcs.ncbs.res.in\/ , 2001.58","key":"6_CR6"},{"key":"6_CR7","volume-title":"Systems and Networks: Mathematical Theory and Applications","author":"R.W. Brockett","year":"1994","unstructured":"R.W. Brockett. Dynamical systems and their associated automata. In Systems and Networks: Mathematical Theory and Applications, volume 77. Akademie-Verlag, Berlin, 1994. 59"},{"unstructured":"E.M. Clarke, O. Grumberg, and D.A. Peled. Model checking IT Press, 1999. 63","key":"6_CR8"},{"key":"6_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Design and synthesis of synchronization skeletons using brancing time temporal logic","author":"E.M. Clarke","year":"1981","unstructured":"E.M. Clarke and E.A. Emerson. Design and synthesis of synchronization skeletons using brancing time temporal logic. In Proc. Workshop Logic of Programs volume 131 of LNCS Springer, 1981. 68"},{"unstructured":"M. Curti, P. Degano, C. Priami, and C.T. Baldari. Casual\u03c0-calculus for biochemical modelling. DIT 02, University of Trento, 2002. 60","key":"6_CR10"},{"key":"6_CR11","first-page":"59","volume":"4032","author":"H. Jong","year":"2000","unstructured":"H. de Jong. Modeling and simulation of genetic regulatory systems:A literature review. DIT 4032, Inria, 2000.59","journal-title":"DIT"},{"key":"6_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/3-540-44585-4_8","volume-title":"A fast bisimulation algorithm","author":"A. Dovier","year":"2001","unstructured":"A. Dovier, C. Piazza, and A. Policriti. A fast bisimulation algorithm. In G. Berry, H. Comon, and A. Finkel, editors, Proc. of Int. Conference on Computer Aided Verification (CAV\u201901) volume 2102 of LNCS pages 79\u201390. Springer-Verlag, 2001. 70"},{"key":"6_CR13","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. 59, 65","journal-title":"Nature"},{"doi-asserted-by":"crossref","unstructured":"E.A. Emerson. Temporal and modal logic. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science volume B, pages 995\u20131072. MIT Press, 1990. 62, 64","key":"6_CR14","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"doi-asserted-by":"crossref","unstructured":"T.A. Henzinger. The theory of hybrid automata. In Proc. of IEEE Symposium on Logic in Computer Science (LICS\u201996) pages 278\u2013292. IEEE Press, 1996. 67, 68","key":"6_CR15","DOI":"10.1109\/LICS.1996.561342"},{"issue":"1","key":"6_CR16","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/s100090050008","volume":"1","author":"T.A. Henzinger","year":"1997","unstructured":"T.A. Henzinger, P.H. Ho, and H. Wong-Toi. HYTECH:A model checker for hybrid systems. International Journal on Software Tools for Technology Transfer 1(1\u20132):110\u2013122, 1997. 67","journal-title":"International Journal on Software Tools for Technology Transfer"},{"unstructured":"J.E. Hopcroft and J.D. Ullman. Introduction to Automata Theory, Languages, and Computation Addison-Wesley, 1979.63","key":"6_CR17"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1093\/nar\/30.1.59","volume":"30","author":"P.D. Karp","year":"2002","unstructured":"P.D. Karp, M. Riley, S. Paley, and A. Pellegrini-Toole. The etaCyc Database. Nucleic Acid Research 30(1):59, 2002.58","journal-title":"Nucleic Acid Research"},{"issue":"1","key":"6_CR19","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1093\/nar\/30.1.56","volume":"30","author":"P.D. Karp","year":"2002","unstructured":"P.D. Karp, M. Riley, M. Saier, and S. Paley A. Pellegrini-Toole.The EcoCyc Database. Nucleic Acids Research 30(1):56, 2002.58","journal-title":"Nucleic Acids Research"},{"doi-asserted-by":"crossref","unstructured":"H. Kitano.Systems Biology:an Overview. Science 295:1662\u20131664, March 2002. 57","key":"6_CR20","DOI":"10.1126\/science.1069492"},{"issue":"1","key":"6_CR21","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1076\/1387-3954(200003)6:1;1-Q;FT071","volume":"6","author":"O. M\u00fcller","year":"2000","unstructured":"O. M\u00fcller and T. Stauner. Modelling and verification using linear hybrid automata. Mathematical and Computer Modelling of Dynamical Systems 6(1):71\u201389, 2000. 67","journal-title":"Mathematical and Computer Modelling of Dynamical Systems"},{"key":"6_CR22","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(85)90159-8","volume":"40","author":"R. Paige","year":"1985","unstructured":"R. Paige, R.E. Tarjan, and R. Bonic. A linear time solution to the single function coarsest partition problem. Theoretical Computer Science 40:67\u201384, 1985.70","journal-title":"Theoretical Computer Science"},{"doi-asserted-by":"crossref","unstructured":"A. Regev, W. Silverman, and E. Shapiro. Representation and simulation of biochemical processes using the \u03c0-calculus process algebra. In Proc. of thePacific Symposium of Biocomputing (PSB\u201901) pages 459-70, 2003. 60","key":"6_CR23","DOI":"10.1142\/9789814447362_0045"},{"doi-asserted-by":"crossref","unstructured":"D. Shasha, A. Kouranov, L. Lejay, C. Chou, and G. Coruzzi. Combinatorial Design to study regulation by multiple input signals:A tool for parsimony in the post-genomics era. Plant Physiology 127:1590\u20131594, December 2001.59","key":"6_CR24","DOI":"10.1104\/pp.010683"},{"unstructured":"E.O. Voit. Computational Analysis of Biochemical Systems. A Pratical Guide for Biochemists and Molecular Biologists Cambridge University Press, 2000. 60, 61, 65","key":"6_CR25"}],"container-title":["Lecture Notes in Computer Science","Computational Methods in Systems Biology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36481-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T08:15:50Z","timestamp":1737101750000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36481-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540006053","9783540364818"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-36481-1_6","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2003]]}}}