{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T11:35:30Z","timestamp":1774956930598,"version":"3.50.1"},"reference-count":16,"publisher":"World Scientific Pub Co Pte Lt","issue":"04","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Found. Comput. Sci."],"published-print":{"date-parts":[[2008,8]]},"abstract":"<jats:p> We give a brief survey of results that use \u201creversal-bounded counters\u201d in studying reachability problems for various classes of transition systems. We also discuss the connection between the decidability of reachability in counter machines and the solvability of certain Diophantine equations. <\/jats:p>","DOI":"10.1142\/s0129054108006042","type":"journal-article","created":{"date-parts":[[2008,8,6]],"date-time":"2008-08-06T06:30:40Z","timestamp":1218004240000},"page":"919-934","source":"Crossref","is-referenced-by-count":1,"title":["ON COUNTER MACHINES, REACHABILITY PROBLEMS, AND DIOPHANTINE EQUATIONS"],"prefix":"10.1142","volume":"19","author":[{"given":"OSCAR H.","family":"IBARRA","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of California, Santa Barbara, California 93106, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"ZHE","family":"DANG","sequence":"additional","affiliation":[{"name":"School of Electrical Engineering and Computer Science, Washington State University, Pullman,  Washington 99164, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"LINMIN","family":"YANG","sequence":"additional","affiliation":[{"name":"School of Electrical Engineering and Computer Science, Washington State University, Pullman, Washington 99164, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2011,11,20]]},"reference":[{"key":"rf1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"rf4","volume":"302","author":"Dang Z.","journal-title":"Theoretical Computer Science"},{"key":"rf7","doi-asserted-by":"publisher","DOI":"10.1007\/s002360050074"},{"key":"rf8","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1966.16.285"},{"key":"rf9","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90028-3"},{"key":"rf10","doi-asserted-by":"publisher","DOI":"10.1145\/322326.322340"},{"key":"rf11","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(74)90043-X"},{"key":"rf12","doi-asserted-by":"publisher","DOI":"10.1145\/322047.322058"},{"key":"rf13","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2003.10.027"},{"key":"rf14","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.12.001"},{"key":"rf15","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539792240625"},{"key":"rf16","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9947-1978-0469886-1"},{"key":"rf17","volume-title":"Hilbert's Tenth Problem","author":"Matiyasevich Y. V.","year":"1993"},{"key":"rf18","doi-asserted-by":"publisher","DOI":"10.2307\/1970290"},{"key":"rf20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56196-2"},{"key":"rf21","first-page":"278","volume":"65","author":"Ibarra O. H.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["International Journal of Foundations of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0129054108006042","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,7]],"date-time":"2019-08-07T11:23:58Z","timestamp":1565177038000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/abs\/10.1142\/S0129054108006042"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,8]]},"references-count":16,"journal-issue":{"issue":"04","published-online":{"date-parts":[[2011,11,20]]},"published-print":{"date-parts":[[2008,8]]}},"alternative-id":["10.1142\/S0129054108006042"],"URL":"https:\/\/doi.org\/10.1142\/s0129054108006042","relation":{},"ISSN":["0129-0541","1793-6373"],"issn-type":[{"value":"0129-0541","type":"print"},{"value":"1793-6373","type":"electronic"}],"subject":[],"published":{"date-parts":[[2008,8]]}}}