{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T19:59:22Z","timestamp":1769025562901,"version":"3.49.0"},"reference-count":36,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T00:00:00Z","timestamp":1687737600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023,6,26]]},"DOI":"10.1109\/lics56636.2023.10175768","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T17:18:23Z","timestamp":1689355103000},"page":"1-13","source":"Crossref","is-referenced-by-count":0,"title":["The Identity Problem in the special affine group of Z<sup>2<\/sup>"],"prefix":"10.1109","author":[{"given":"Ruiwen","family":"Dong","sequence":"first","affiliation":[{"name":"University of Oxford,Oxford,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","article-title":"Extensions of free groups: algebraic, geometric, and algorithmic aspects","author":"delgado rodr\u00edguez","year":"2017","journal-title":"Ph D Dissertation"},{"key":"ref35","first-page":"44:1","article-title":"On reachability problems for low-dimensional matrix semigroups","volume":"132","author":"colcombet","year":"2019","journal-title":"46th International Colloquium on Automata Languages and Programming ICALP 2019"},{"key":"ref12","first-page":"132:1","article-title":"On the identity problem for the special linear group and the heisenberg group","volume":"107","author":"ko","year":"2018","journal-title":"45th International Colloquium on Automata Languages and Programming ICALP 2018"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539793252687"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1017\/S096354831300062X"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1090\/S0002-9939-1963-0145005-0"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/0024-3795(91)90112-A"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(69)90030-1"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/0021-8693(72)90058-0"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611974782.13"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1201\/b11066"},{"key":"ref10","article-title":"Subgroup membership in gl (2, z)","author":"lohrey","year":"2021","journal-title":"38th International Symposium on Theoretical Aspects of Computer Science (STACS 2021)"},{"key":"ref32","first-page":"498","article-title":"Multiplicative equations over commuting matrices","author":"babai","year":"1996","journal-title":"Proceedings of the Seventh Annual ACM-SIAM Symposium on Discrete Algorithms"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1137\/S0097539703425861"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1993.366844"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-85729-710-5"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1017\/etds.2015.45"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1177\/0278364909345167"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.23919\/FUSION45008.2020.9190566"},{"key":"ref24","first-page":"116:1","article-title":"Rational subsets of baumslag-solitar groups","volume":"168","author":"cadilhac","year":"2020","journal-title":"47th International Colloquium on Automata Languages and Programming ICALP 2020"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98654-8_38"},{"key":"ref26","volume":"63","author":"dru?u","year":"2018","journal-title":"Geometric group theory"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(89)90038-8"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s11005-010-0422-4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40313-2_37"},{"key":"ref21","article-title":"Affine extensions of integer vector addition systems with states","volume":"17","author":"raskin","year":"2021","journal-title":"Logical Methods in Computer Science"},{"key":"ref28","author":"serre","year":"2002","journal-title":"Trees"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1614"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1215\/ijm\/1255632506"},{"key":"ref8","article-title":"On the Identity Problem and the Group Problem in nilpotent groups","author":"dong","year":"2022"},{"key":"ref7","first-page":"241","article-title":"The occurrence problem for direct products of groups","volume":"112","author":"mikhailova","year":"1966","journal-title":"Matematicheskii Sbornik"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1142\/S0129054110007660"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.11.008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1051\/ita:2005007"},{"key":"ref6","first-page":"539","article-title":"On certain insoluble problems concerning matrices","volume":"57","author":"markov","year":"1947","journal-title":"Doklady Akad Nauk SSSR"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209142"}],"event":{"name":"2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Boston, MA, USA","start":{"date-parts":[[2023,6,26]]},"end":{"date-parts":[[2023,6,29]]}},"container-title":["2023 38th Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10175635\/10175671\/10175768.pdf?arnumber=10175768","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T17:58:38Z","timestamp":1690912718000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175768\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175768","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}