{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T10:58:46Z","timestamp":1780743526339,"version":"3.54.1"},"reference-count":40,"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.10175691","type":"proceedings-article","created":{"date-parts":[[2023,7,14]],"date-time":"2023-07-14T13:18:23Z","timestamp":1689340703000},"page":"1-13","source":"Crossref","is-referenced-by-count":3,"title":["Computing the linear hull: Deciding Deterministic? and Unambiguous? for weighted automata over fields"],"prefix":"10.1109","author":[{"given":"Jason P.","family":"Bell","sequence":"first","affiliation":[{"name":"University of Waterloo,Department of Pure Mathematics,Waterloo,Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Smertnig","sequence":"additional","affiliation":[{"name":"University of Graz,Institute for Mathematics and Scientific Computing NAWI Graz,Graz,Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.jsc.2004.11.008"},{"key":"ref35","doi-asserted-by":"crossref","DOI":"10.1142\/3767","volume":"6","author":"okni?ski","year":"1998","journal-title":"Semigroups of matrices ser Series in Algebra"},{"key":"ref12","first-page":"14","article-title":"Automata in the category of glued vector spaces","volume":"83","author":"colcombet","year":"2017","journal-title":"42nd International Symposium on Mathematical Foundations of Computer Science ser LIPIcs Leibniz Int Proc Inform Schloss Dagstuhl"},{"key":"ref34","first-page":"257","article-title":"Linear representations of semigroups","author":"okni?ski","year":"1991","journal-title":"Monoids and semigroups with applications (Berkeley CA 1989)"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01492-5"},{"key":"ref37","volume":"133","author":"putcha","year":"1988","journal-title":"Linear algebraic monoids ser London Mathematical Society Lecture Note Series"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-68195-1_21"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-020-10021-w"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.08.019"},{"key":"ref30","first-page":"213","article-title":"Chapter 6: Weighted automata algorithms","author":"mohri","year":"2009","journal-title":"Handbook of weighted automata ser Monogr Theoret Comput Sci EATCS Ser"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(77)90049-4"},{"key":"ref33","first-page":"215","article-title":"Strongly ?-regular matrix semigroups","volume":"93","author":"okni?ski","year":"1985","journal-title":"Proc Amer Math Soc"},{"key":"ref10","first-page":"229","article-title":"Determinization of weighted tree automata using factorizations","volume":"15","author":"b\u00fcchse","year":"2010","journal-title":"J Autom Lang Comb"},{"key":"ref32","article-title":"On the Computation of the Zariski Closure of Finitely Generated Groups of Matrices","author":"nosan","year":"2021"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0963548398003411"},{"key":"ref1","first-page":"117","article-title":"Efficient algorithms for testing the twins property","volume":"8","author":"allauzen","year":"2003"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-11(3:14)2015"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781139195218"},{"key":"ref16","first-page":"9","article-title":"Orders of finite linear groups","author":"feit","year":"1996","journal-title":"Proceedings of the First Jamaican Conference on Group Theory and its Applications (Kingston 1996)"},{"key":"ref38","volume":"134","author":"renner","year":"2005","journal-title":"Linear algebraic monoids ser Encyclopaedia of Mathematical Sciences"},{"key":"ref19","first-page":"44","article-title":"Crisp-determinization of weighted tree automata over strong bimonoids","volume":"23","author":"f\u00fcl\u00f6p","year":"2021","journal-title":"Discrete Math Theor Comput Sci"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"3519","DOI":"10.1090\/S0002-9939-97-04283-4","article-title":"The maximal orders of finite subgroups in GLn(Q)","volume":"125","author":"friedland","year":"1997","journal-title":"Proc Amer Math Soc"},{"key":"ref24","first-page":"287","article-title":"On the determinization of weighted automata","volume":"10","author":"kirsten","year":"2005","journal-title":"J Autom Lang Comb"},{"key":"ref23","first-page":"589","article-title":"Deciding unambiguity and sequentiality of polynomially ambiguous min-plus automata","volume":"3","author":"kirsten","year":"2009","journal-title":"STACS 2009 26th International Symposium on Theoretical Aspects of Computer Science ser LIPIcs Leibniz Int Proc Inform Schloss Dagstuhl"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1080\/00029890.2002.11919850"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2021.11.002"},{"key":"ref20","volume":"15","author":"herstein","year":"1994","journal-title":"Noncommutative rings ser Carus Mathematical Monographs Mathematical Association of America"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2011.11.006"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209142"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2006.01.028"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-81688-9_8"},{"key":"ref29","first-page":"269","article-title":"Finite-state transducers in language and speech processing","volume":"23","author":"mohri","year":"1997","journal-title":"Comput Linguist"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0941-6"},{"key":"ref7","volume":"137","author":"berstel","year":"2011","journal-title":"Noncommutative rational series with applications ser Encyclopedia of Mathematics and its Applications"},{"key":"ref9","author":"bourbaki","year":"1972","journal-title":"Elements of Mathematics Commutative Algebra"},{"key":"ref4","article-title":"Computing the linear hull: Deciding sequential? and unambiguous? for weighted automata over fields","author":"bell","year":"2023"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/s00029-021-00629-2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.24033\/bsmf.1823"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1093\/qmath\/hah003"},{"key":"ref40","article-title":"The stacks project","author":"stacks project authors","year":"2019"}],"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\/10175691.pdf?arnumber=10175691","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T13:59:05Z","timestamp":1690898345000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10175691\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,26]]},"references-count":40,"URL":"https:\/\/doi.org\/10.1109\/lics56636.2023.10175691","relation":{},"subject":[],"published":{"date-parts":[[2023,6,26]]}}}