{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,20]],"date-time":"2026-08-20T14:40:09Z","timestamp":1787236809333,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,7,8]],"date-time":"2024-07-08T00:00:00Z","timestamp":1720396800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100000781","name":"European Research Council","doi-asserted-by":"publisher","award":["950398"],"award-info":[{"award-number":["950398"]}],"id":[{"id":"10.13039\/501100000781","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004281","name":"Narodowe Centrum Nauki","doi-asserted-by":"publisher","award":["2022\/46\/E\/ST6\/00230"],"award-info":[{"award-number":["2022\/46\/E\/ST6\/00230"]}],"id":[{"id":"10.13039\/501100004281","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662073","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T08:30:12Z","timestamp":1718958612000},"page":"1-13","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6527-4470","authenticated-orcid":false,"given":"Isma\u00ebl","family":"Jecker","sequence":"first","affiliation":[{"name":"University of Franche-Comt\u00e9, Besan\u00e7on, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4535-6508","authenticated-orcid":false,"given":"Filip","family":"Mazowiecki","sequence":"additional","affiliation":[{"name":"University of Warsaw, Warsaw, Poland"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0394-1634","authenticated-orcid":false,"given":"David","family":"Purser","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Liverpool, Liverpool, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","unstructured":"Corentin Barloy Nathana\u00ebl Fijalkow Nathan Lhote and Filip Mazowiecki. 2022. A robust class of linear recurrence sequences. Inf. Comput. 289 Part (2022) 104964. 10.1016\/j.ic.2022.104964","DOI":"10.1016\/j.ic.2022.104964"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00029-021-00629-2"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS56636.2023.10175691"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2022.02.002"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.48550\/arXiv.2307.13505"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2020.115"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.46298\/lmcs-18(1:40)2022"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-19225-3_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2022.16"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3531130.3533336"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3397619.3397621"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2021.01.006"},{"key":"e_1_3_2_1_13_1","volume-title":"Handbook of weighted automata","author":"Droste Manfred","unstructured":"Manfred Droste, Werner Kuich, and Heiko Vogler. 2009. Handbook of weighted automata. Springer Science & Business Media."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.CONCUR.2017.19"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209142"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.STACS.2021.44"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"Isma\u00ebl Jecker Filip Mazowiecki and David Purser. 2023. Determinisation and Unambiguisation of Polynomially-Ambiguous Rational Weighted Automata. arXiv:2310.02204 [cs.FL]","DOI":"10.1145\/3661814.3662073"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-9(1:8)2013"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.STACS.2009.1850"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.25596\/jalc-2005-287"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2004.02.049"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2021.11.002"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.01.028"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/972695.972698"},{"key":"e_1_3_2_1_26_1","volume-title":"Introduction to probabilistic automata","author":"Paz Azaria","unstructured":"Azaria Paz. 1971. Introduction to probabilistic automata. Academic Press."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2018.138"},{"key":"e_1_3_2_1_28_1","volume-title":"FCT 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin\/Wendisch-Rietz","author":"Reutenauer Christophe","year":"1979","unstructured":"Christophe Reutenauer. 1979. On Polya series in noncommuting variables. In Fundamentals of Computation Theory, FCT 1979, Proceedings of the Conference on Algebraic, Arthmetic, and Categorial Methods in Computation Theory, Berlin\/Wendisch-Rietz, Germany, September 17-21, 1979, Lothar Budach (Ed.). Akademie-Verlag, Berlin, 391--396."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90038-6"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(61)80020-X"},{"key":"e_1_3_2_1_31_1","unstructured":"Gilbert Strang. 2022. Introduction to linear algebra. SIAM."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(96)00039-7"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90381-B"}],"event":{"name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","location":"Tallinn Estonia","acronym":"LICS '24","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"]},"container-title":["Proceedings of the 39th Annual ACM\/IEEE Symposium on Logic in Computer Science"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662073","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662073","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:44:08Z","timestamp":1750275848000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662073"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":32,"alternative-id":["10.1145\/3661814.3662073","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662073","relation":{},"subject":[],"published":{"date-parts":[[2024,7,8]]},"assertion":[{"value":"2024-07-08","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}