{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:11Z","timestamp":1760202551222},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540679011"},{"type":"electronic","value":"9783540446125"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-44612-5_38","type":"book-chapter","created":{"date-parts":[[2007,5,5]],"date-time":"2007-05-05T13:28:20Z","timestamp":1178371700000},"page":"426-435","source":"Crossref","is-referenced-by-count":17,"title":["Counter Machines: Decidable Properties and Applications to Verification Problems"],"prefix":"10.1007","author":[{"given":"Oscar H.","family":"Ibarra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianwen","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhe","family":"Dang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tevfik","family":"Bultan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Kemmerer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,1]]},"reference":[{"issue":"2","key":"38_CR1","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"R. Alur and D. Dill. \u201cA theory of timed automata,\u201d Theo. Comp. Sci., 126(2):183\u2013235, 1994.","journal-title":"Theo. Comp. Sci."},{"key":"38_CR2","first-page":"315","volume":"8","author":"B. Baker","year":"1974","unstructured":"B. Baker and R. Book. \u201cReversal-bounded multipushdown machines,\u201d J.C.S.S., 8:315\u2013332, 1974.","journal-title":"J.C.S.S."},{"key":"38_CR3","doi-asserted-by":"crossref","unstructured":"H. Comon and Y. Jurski. \u201cMultiple counters automata, safety analysis and Presburger arithmetic,\u201d Proc. Int. Conf. on Computer Aided Verification, pp. 268\u2013279, 1998.","DOI":"10.1007\/BFb0028751"},{"key":"38_CR4","unstructured":"Z. Dang, O. H. Ibarra, T. Bultan, R. A. Kemmerer, and J. Su. \u201cDecidable approximations on discrete clock machines with parameterized durations,\u201d in preparation."},{"key":"38_CR5","doi-asserted-by":"crossref","unstructured":"Z. Dang, O. H. Ibarra, T. Bultan, R. A. Kemmerer, and J. Su. \u201cBinary reachability analysis of discrete pushdown timed automata,\u201d to appear in CAV 2000.","DOI":"10.1007\/10722167_9"},{"key":"38_CR6","unstructured":"Z. Dang, O. H. Ibarra, T. Bultan, R. A. Kemmerer, and J. Su. \u201cPast machines,\u201d in preparation."},{"issue":"2","key":"38_CR7","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002360050074","volume":"34","author":"J. Esparza","year":"1997","unstructured":"J. Esparza. \u201cDecidability of model checking for infinite-state concurrent systems,\u201d Acta Informatica. 34(2):85\u2013107, 1997.","journal-title":"Acta Informatica"},{"key":"38_CR8","first-page":"145","volume":"19","author":"E. M. Gurari","year":"1979","unstructured":"E. M. Gurari and O. H. Ibarra. \u201cSimple counter machines and number-theoretic problems,\u201d J.C.S.S., 19:145\u2013162, 1979.","journal-title":"J.C.S.S."},{"key":"38_CR9","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/322047.322058","volume":"25","author":"O. H. Ibarra","year":"1978","unstructured":"O. H. Ibarra. \u201cReversal-bounded multicounter machines and their decision problems,\u201d J. ACM, 25:116\u2013133, 1978.","journal-title":"J. ACM"},{"issue":"1","key":"38_CR10","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1137\/S0097539792240625","volume":"24","author":"O. H. Ibarra","year":"1995","unstructured":"O. H. Ibarra, T. Jiang, N. Tran, and H. Wang. \u201cNew decidability results concerning two-way counter machines,\u201d SIAM J. Comput., 24(1):123\u2013137, 1995.","journal-title":"SIAM J. Comput."},{"key":"38_CR11","first-page":"354","volume":"11","author":"Y. Matijasevic","year":"1970","unstructured":"Y. Matijasevic. \u201cEnumerable sets are Diophantine,\u201d Soviet Math. Dokl, 11:354\u2013357, 1970.","journal-title":"Soviet Math. Dokl"},{"key":"38_CR12","doi-asserted-by":"publisher","first-page":"437","DOI":"10.2307\/1970290","volume":"74","author":"M. Minsky","year":"1961","unstructured":"M. Minsky. \u201cRecursive unsolvability of Post\u2019s problem of Tag and other topics in the theory of Turing machines.\u201d Ann. of Math., 74:437\u2013455, 1961.","journal-title":"Ann. of Math."},{"key":"38_CR13","doi-asserted-by":"publisher","first-page":"570","DOI":"10.1145\/321356.321364","volume":"13","author":"R. Parikh","year":"1966","unstructured":"R. Parikh. \u201cOn context-free languages,\u201d J. ACM, 13:570\u2013581, 1966.","journal-title":"J. ACM"},{"key":"38_CR14","first-page":"340","volume":"10","author":"L. G. Valiant","year":"1975","unstructured":"L. G. Valiant and M. S. Paterson. \u201cDeterministic one-counter automata,\u201d J. C.S.S., 10:340\u2013350, 1975.","journal-title":"J. C.S.S."},{"key":"38_CR15","doi-asserted-by":"crossref","unstructured":"P. Wolper and B. Boigelot. \u201cVerifying systems with infinite but regular state spaces,\u201d Proc. 10th Int. Conf. on Computer Aided Verification, pp. 88\u201397, 1998.","DOI":"10.1007\/BFb0028736"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2000"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44612-5_38","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,27]],"date-time":"2019-04-27T18:41:26Z","timestamp":1556390486000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44612-5_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540679011","9783540446125"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-44612-5_38","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}