{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T02:03:03Z","timestamp":1649037783052},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[2007,7,4]],"date-time":"2007-07-04T00:00:00Z","timestamp":1183507200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theory Comput Syst"],"published-print":{"date-parts":[[2008,12]]},"DOI":"10.1007\/s00224-007-9019-4","type":"journal-article","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T16:19:03Z","timestamp":1183479543000},"page":"498-515","source":"Crossref","is-referenced-by-count":0,"title":["Bounds on Sizes of Finite Bisimulations of Pfaffian Dynamical Systems"],"prefix":"10.1007","volume":"43","author":[{"given":"Margarita","family":"Korovina","sequence":"first","affiliation":[]},{"given":"Nicolai","family":"Vorobjov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2007,7,4]]},"reference":[{"key":"9019_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05355-3","volume-title":"Algorithms in Real Algebraic Geometry","author":"S. Basu","year":"2003","unstructured":"Basu, S., Pollack, R., Roy, M.-F.: Algorithms in Real Algebraic Geometry. Springer, Berlin (2003)"},{"key":"9019_CR2","doi-asserted-by":"crossref","unstructured":"Brihaye, T., Michaux, C., Riviere, C., Troestler, C.: On o-minimal hybrid systems. In: Alur, R., Pappas, G.J. (eds.) Proceedings of HSCC 2004. Lecture Notes in Comput. Sci., vol. 2993, pp. 219\u2013233 (2004)","DOI":"10.1007\/978-3-540-24743-2_15"},{"issue":"4\/5","key":"9019_CR3","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1051\/ita:1999123","volume":"33","author":"J.M. Davoren","year":"1999","unstructured":"Davoren, J.M.: Topologies, continuity and bisimulations. Theor. Inf. Appl. 33(4\/5), 357\u2013382 (1999)","journal-title":"Theor. Inf. Appl."},{"key":"9019_CR4","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF02570696","volume":"14","author":"A. Gabrielov","year":"1995","unstructured":"Gabrielov, A., Vorobjov, N.: Complexity of stratifications of semi-Pfaffian sets. Discret. Comput. Geom. 14, 71\u201391 (1995)","journal-title":"Discret. Comput. Geom."},{"key":"9019_CR5","series-title":"NATO Science Series II","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/978-94-007-1025-2_5","volume-title":"Normal Forms, Bifurcations and Finiteness Problems in Differential Equations","author":"A. Gabrielov","year":"2004","unstructured":"Gabrielov, A., Vorobjov, N.: Complexity of computations with Pfaffian and Noetherian functions. In: Ilyashenko, Y. et al. (eds.) Normal Forms, Bifurcations and Finiteness Problems in Differential Equations. NATO Science Series II, vol. 137, pp. 211\u2013250. Kluwer, Dordrecht (2004)"},{"issue":"1","key":"9019_CR6","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1112\/S0024610703004939","volume":"69","author":"A. Gabrielov","year":"2004","unstructured":"Gabrielov, A., Vorobjov, N., Zell, T.: Betti numbers of semialgebraic and sub-Pfaffian sets. J. Lond. Math. Soc. 69(1), 27\u201343 (2004)","journal-title":"J. Lond. Math. Soc."},{"key":"9019_CR7","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4684-9449-5","volume-title":"Differential Topology","author":"M. Hirsch","year":"1976","unstructured":"Hirsch, M.: Differential Topology. Springer, New York (1976)"},{"key":"9019_CR8","doi-asserted-by":"crossref","unstructured":"Korovina, M., Vorobjov, N.: Pfaffian hybrid systems. In: Computer Science Logic\u201904. Lecture Notes in Comput. Sci., vol. 3210, pp. 430\u2013441 (2004)","DOI":"10.1007\/978-3-540-30124-0_33"},{"key":"9019_CR9","doi-asserted-by":"crossref","unstructured":"Korovina, M., Vorobjov, N.: Upper and lower bounds on sizes of finite bisimulations of Pfaffian hybrid systems. In: Logical Approaches to Computational Barriers. Lecture Notes in Comput. Sci., vol. 3988, pp.\u00a0267\u2013276","DOI":"10.1007\/11780342_28"},{"key":"9019_CR10","doi-asserted-by":"crossref","first-page":"67","DOI":"10.4310\/jdg\/1090347525","volume":"56","author":"K. Kurdyka","year":"2000","unstructured":"Kurdyka, K., Orro, P., Symon, S.: Semialgebraic Sard theorem for generalized critical values. J. Differ. Geom. 56, 67\u201392 (2000)","journal-title":"J. Differ. Geom."},{"key":"9019_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/PL00009858","volume":"13","author":"G. Lafferriere","year":"2000","unstructured":"Lafferriere, G., Pappas, G., Sastry, S.: O-minimal hybrid systems. Math. Control Signals Syst. 13, 1\u201321 (2000)","journal-title":"Math. Control Signals Syst."},{"key":"9019_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4939-9063-4","volume-title":"A Basic Course in Algebraic Topology","author":"W.S. Massey","year":"1991","unstructured":"Massey, W.S.: A Basic Course in Algebraic Topology. Springer, New York (1991)"},{"key":"9019_CR13","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1016\/S0022-4049(99)00017-1","volume":"139","author":"T. Zell","year":"1999","unstructured":"Zell, T.: Betti numbers of semi-Pfaffian sets. J. Pure Appl. Algebra 139, 323\u2013338 (1999)","journal-title":"J. Pure Appl. Algebra"}],"container-title":["Theory of Computing Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-007-9019-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00224-007-9019-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00224-007-9019-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,24]],"date-time":"2020-04-24T00:42:32Z","timestamp":1587688952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00224-007-9019-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,7,4]]},"references-count":13,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[2008,12]]}},"alternative-id":["9019"],"URL":"https:\/\/doi.org\/10.1007\/s00224-007-9019-4","relation":{},"ISSN":["1432-4350","1433-0490"],"issn-type":[{"value":"1432-4350","type":"print"},{"value":"1433-0490","type":"electronic"}],"subject":[],"published":{"date-parts":[[2007,7,4]]}}}