{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T18:10:06Z","timestamp":1764785406931,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"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:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"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"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,7,8]]},"DOI":"10.1145\/3661814.3662095","type":"proceedings-article","created":{"date-parts":[[2024,6,21]],"date-time":"2024-06-21T12:30:12Z","timestamp":1718973012000},"page":"1-14","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Finite-valued Streaming String Transducers"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2520-5630","authenticated-orcid":false,"given":"Emmanuel","family":"Filiot","sequence":"first","affiliation":[{"name":"Computer Science, Universit\u00e9 Libre de Bruxelles, Brussels, Belgium"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6527-4470","authenticated-orcid":false,"given":"Isma\u00ebl","family":"Jecker","sequence":"additional","affiliation":[{"name":"Universit\u00e9 de Besan\u00e7on, Besan\u00e7on, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1529-2806","authenticated-orcid":false,"given":"Christof","family":"L\u00f6ding","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Aachen, Germany"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8214-204X","authenticated-orcid":false,"given":"Anca","family":"Muscholl","sequence":"additional","affiliation":[{"name":"LaBRI, Universite Bordeaux, Bordeaux, France"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9831-3264","authenticated-orcid":false,"given":"Gabriele","family":"Puppis","sequence":"additional","affiliation":[{"name":"Udine University, Udine, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3499-1995","authenticated-orcid":false,"given":"Sarah","family":"Winter","sequence":"additional","affiliation":[{"name":"Universit\u00e9 Paris-Cit\u00e9, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2024,7,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/6581.6591"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.FSTTCS.2010.1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926454"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3092842"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22012-8_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.48550\/ARXIV.2209.05448"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2012.18"},{"key":"e_1_3_2_1_8_1","volume-title":"Automatic Structures. In Proceedings of the 15th IEEE Symposium on Logic in Computer Science, LICS 2000. IEEE Computer Society Press, 51--62","author":"Blumensath Achim","year":"2000","unstructured":"Achim Blumensath and Erich Gr\u00e4del. 2000. Automatic Structures. In Proceedings of the 15th IEEE Symposium on Logic in Computer Science, LICS 2000. IEEE Computer Society Press, 51--62."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3313909.3313911"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/3531130.3533326"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ICALP.2019.106"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS56636.2023.10175808"},{"volume-title":"Graph Structure and Monadic Second-Order Logic - A Language-Theoretic Approach. Encyclopedia of mathematics and its applications","author":"Courcelle Bruno","key":"e_1_3_2_1_13_1","unstructured":"Bruno Courcelle and Joost Engelfriet. 2012. Graph Structure and Monadic Second-Order Logic - A Language-Theoretic Approach. Encyclopedia of mathematics and its applications, Vol. 138. Cambridge University Press."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/22101.22107"},{"key":"e_1_3_2_1_15_1","volume-title":"44th International Colloquium on Automata, Languages, and Programming, ICALP 2017","volume":"12","author":"Dartois Luc","year":"2017","unstructured":"Luc Dartois, Paulin Fournier, Isma\u00ebl Jecker, and Nathan Lhote. 2017. On Reversible Transducers. In 44th International Colloquium on Automata, Languages, and Programming, ICALP 2017, July 10-14, 2017, Warsaw, Poland (LIPIcs, Vol. 80), Ioannis Chatzigiannakis, Piotr Indyk, Fabian Kuhn, and Anca Muscholl (Eds.). Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 113:1--113:12."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054118420054"},{"key":"e_1_3_2_1_17_1","unstructured":"Rodrigo De Souza. 2008. Etude structurelle des transducteurs de norme born\u00e9e. Ph. D. Dissertation. LTCI - Laboratoire Traitement et Communication de l'Information Paris-Saclay. http:\/\/www.theses.fr\/2008ENST0023\/document"},{"volume-title":"Optimization of string transducers. Ph. D. Dissertation. Universit\u00e9 Paris Cit\u00e9","author":"Dou\u00e9neau-Tabot Ga\u00ebtan","key":"e_1_3_2_1_18_1","unstructured":"Ga\u00ebtan Dou\u00e9neau-Tabot. 2023. Optimization of string transducers. Ph. D. Dissertation. Universit\u00e9 Paris Cit\u00e9, Paris, France. https:\/\/gdoueneau.github.io\/pages\/DOUENEAU-TABOT_Optimization-transducers_v2.pdf"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/371316.371512"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.STACS.2023.32"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.3233\/FI-2021-1998"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(68)80006-6"},{"key":"e_1_3_2_1_23_1","first-page":"688","article-title":"Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems","volume":"40","author":"Guba Victor S.","year":"1986","unstructured":"Victor S. Guba. 1986. Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems. Mat. Zametki 40, 3 (1986), 688--690.","journal-title":"Mat. Zametki"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(81)90028-3"},{"key":"e_1_3_2_1_25_1","volume-title":"Acre (Akko), Israel","volume":"505","author":"Eitan","year":"1981","unstructured":"Eitan M. Gurari and Oscar H. Ibarra. 1981. The Complexity of Decision Problems for Finite-Turn Multicounter Machines. In Automata, Languages and Programming, 8th Colloquium, Acre (Akko), Israel, July 13-17, 1981, Proceedings (Lecture Notes in Computer Science, Vol. 115), Shimon Even and Oded Kariv (Eds.). Springer, 495--505."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01744569"},{"key":"e_1_3_2_1_27_1","first-page":"39","article-title":"D\u00e9cidabilit\u00e9 par automate fini","volume":"7","author":"Hodgson Bernard R.","year":"1983","unstructured":"Bernard R. Hodgson. 1983. D\u00e9cidabilit\u00e9 par automate fini. Ann. Sci. Math. Qu\u00e9bec 7, 3 (1983), 39--57.","journal-title":"Ann. Sci. Math. Qu\u00e9bec"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1137\/0207042"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90006-8"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.STACS.2021.44"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFB0015755"},{"key":"e_1_3_2_1_32_1","volume-title":"International Workshop LCC '94","volume":"392","author":"Khoussainov Bakhadyr","year":"1995","unstructured":"Bakhadyr Khoussainov and Anil Nerode. 1995. Automatic Presentations of Structures. In Logical and Computational Complexity. Selected Papers. Logic and Computational Complexity, International Workshop LCC '94, Indianapolis, Indiana, USA, 13-16 October 1994 (Lecture Notes in Computer Science, Vol. 960). Springer, 367--392."},{"key":"e_1_3_2_1_33_1","unstructured":"J\u00e9r\u00e9my Ledent. 2013. Streaming string transducers (internship report). https:\/\/perso.ens-lyon.fr\/jeremy.ledent\/internship_report_L3.pdf."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90001-9"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ICALP.2019.122"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/1986200302211"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejc.2015.01.005"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(98)00040-1"},{"key":"e_1_3_2_1_39_1","volume-title":"33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture Notes in Computer Science","volume":"600","author":"Sakarovitch Jacques","year":"2008","unstructured":"Jacques Sakarovitch and Rodrigo de Souza. 2008. On the Decidability of Bounded Valuedness for Transducers. In Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings (Lecture Notes in Computer Science, Vol. 5162), Edward Ochmanski and Jerzy Tyszkiewicz (Eds.). Springer, 588--600."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.STACS.2008.1324"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01192143"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1147\/RD.32.0198"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1137\/0222014"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/1996300503791"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(91)90381-B"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","unstructured":"Di-De Yen and Hsu-Chun Yen. 2022. On the decidability of the valuedness problem for two-way finite transducers. Inf. Comput. 285 Part (2022) 104870. 10.1016\/J.IC.2022.104870","DOI":"10.1016\/J.IC.2022.104870"}],"event":{"name":"LICS '24: 39th Annual ACM\/IEEE Symposium on Logic in Computer Science","sponsor":["SIGLOG ACM Special Interest Group on Logic and Computation","IEEE Computer Society","EACSL"],"location":"Tallinn Estonia","acronym":"LICS '24"},"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.3662095","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3661814.3662095","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T23:44:08Z","timestamp":1750290248000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3661814.3662095"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,8]]},"references-count":46,"alternative-id":["10.1145\/3661814.3662095","10.1145\/3661814"],"URL":"https:\/\/doi.org\/10.1145\/3661814.3662095","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"}}]}}