{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T16:10:05Z","timestamp":1750695005276,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2025,6,15]]},"DOI":"10.1145\/3717823.3718149","type":"proceedings-article","created":{"date-parts":[[2025,6,15]],"date-time":"2025-06-15T23:34:42Z","timestamp":1750030482000},"page":"1851-1862","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Reachability in One-Dimensional Pushdown Vector Addition Systems Is Decidable"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-6469-1170","authenticated-orcid":false,"given":"Clotilde","family":"Bizi\u00e8re","sequence":"first","affiliation":[{"name":"University of Bordeaux, Bordeaux, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6169-868X","authenticated-orcid":false,"given":"Wojciech","family":"Czerwi\u0144ski","sequence":"additional","affiliation":[{"name":"University of Warsaw, Warsaw, Poland"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2025,6,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSTTCS.2011.152"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2015.14"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22993-0_16"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63141-0_10"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3422822"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS52979.2021.00120"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2020.106079"},{"key":"e_1_3_2_1_8_1","first-page":"244","article-title":"Decidability Issues for Petri Nets - a survey","volume":"52","author":"Esparza Javier","year":"1994","unstructured":"Javier Esparza and Mogens Nielsen. 1994. Decidability Issues for Petri Nets - a survey. Bull. EATCS, 52 (1994), 244\u2013262.","journal-title":"Bull. EATCS"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSTTCS.2018.31"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3531130.3533345"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2024.141"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2502.07660"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032365"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2002.1836"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/1196416"},{"key":"e_1_3_2_1_16_1","volume-title":"The reachability problem for vector addition systems with a stack is not elementary. CoRR, abs\/1310.1767","author":"Lazic Ranko","year":"2013","unstructured":"Ranko Lazic. 2013. The reachability problem for vector addition systems with a stack is not elementary. CoRR, abs\/1310.1767 (2013)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.FSTTCS.2019.3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","unstructured":"Ranko Lazic and Patrick Totzke. 2017. What Makes Petri Nets Harder to Verify: Stack or Data? In Concurrency Security and Puzzles - Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday (Lecture Notes in Computer Science Vol. 10160). Springer 144\u2013161. https:\/\/doi.org\/10.1007\/978-3-319-51046-0_8 10.1007\/978-3-319-51046-0_8","DOI":"10.1007\/978-3-319-51046-0_8"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOCS52979.2021.00121"},{"key":"e_1_3_2_1_20_1","volume-title":"On Functions Weakly Computable by Pushdown Petri Nets and Related Systems. Log. Methods Comput. Sci., 15, 4","author":"Leroux J\u00e9r\u00f4me","year":"2019","unstructured":"J\u00e9r\u00f4me Leroux, M. Praveen, Philippe Schnoebelen, and Gr\u00e9goire Sutre. 2019. On Functions Weakly Computable by Pushdown Petri Nets and Related Systems. Log. Methods Comput. Sci., 15, 4 (2019)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2603088.2603146"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2019.8785796"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2020.37"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24537-9_10"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47666-6_26"},{"volume-title":"The Reachability Problem Requires Exponential Space","author":"Lipton Richard J.","key":"e_1_3_2_1_26_1","unstructured":"Richard J. Lipton. 1976. The Reachability Problem Requires Exponential Space. Yale University."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095587"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53904-2_94"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(78)90036-1"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2008.12.042"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2858784"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2893582.2893585"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000043"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/11532231_25"}],"event":{"name":"STOC '25: 57th Annual ACM Symposium on Theory of Computing","sponsor":["SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Prague Czechia","acronym":"STOC '25"},"container-title":["Proceedings of the 57th Annual ACM Symposium on Theory of Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3717823.3718149","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,23]],"date-time":"2025-06-23T15:40:35Z","timestamp":1750693235000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3717823.3718149"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,6,15]]},"references-count":34,"alternative-id":["10.1145\/3717823.3718149","10.1145\/3717823"],"URL":"https:\/\/doi.org\/10.1145\/3717823.3718149","relation":{},"subject":[],"published":{"date-parts":[[2025,6,15]]},"assertion":[{"value":"2025-06-15","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}