{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:59:11Z","timestamp":1725562751136},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642153488"},{"type":"electronic","value":"9783642153495"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15349-5_6","type":"book-chapter","created":{"date-parts":[[2010,8,21]],"date-time":"2010-08-21T03:39:27Z","timestamp":1282361967000},"page":"91-103","source":"Crossref","is-referenced-by-count":0,"title":["On the Joint Spectral Radius for Bounded Matrix Languages"],"prefix":"10.1007","author":[{"given":"Paul C.","family":"Bell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vesa","family":"Halava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mika","family":"Hirvensalo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"8","key":"6_CR1","doi-asserted-by":"publisher","first-page":"1231","DOI":"10.1142\/S0218196708004925","volume":"18","author":"P. Bell","year":"2008","unstructured":"Bell, P., Halava, V., Harju, T., Karhum\u00e4ki, J., Potapov, I.: Matrix Equations and Hilbert\u2019s Tenth Problem. International Journal of Algebra and Computation\u00a018(8), 1231\u20131241 (2008)","journal-title":"International Journal of Algebra and Computation"},{"key":"6_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-73235-5","volume-title":"Rational Series and Their Languages","author":"J. Berstel","year":"1988","unstructured":"Berstel, J., Reutenauer, C.: Rational Series and Their Languages. Springer, Heidelberg (1988)"},{"key":"6_CR3","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/s00224-003-1061-2","volume":"36","author":"V. Blondel","year":"2003","unstructured":"Blondel, V., Canterini, V.: Undecidable Problems for Probabilistic Automata of Fixed Dimension. Theory of Comp. Sys.\u00a036, 231\u2013245 (2003)","journal-title":"Theory of Comp. Sys."},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BF01219774","volume":"10","author":"V. Blondel","year":"1997","unstructured":"Blondel, V., Tsitsiklis, J.: The Lyapunov Exponent and Joint Spectral Radius of Pairs of Matrices are Hard - when not Impossible \u2013 to Compute and to Approximate. Math. of Control, Signals, and Sys.\u00a010, 31\u201340 (1997)","journal-title":"Math. of Control, Signals, and Sys."},{"issue":"2","key":"6_CR5","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0167-6911(00)00049-9","volume":"41","author":"V. Blondel","year":"2000","unstructured":"Blondel, V., Tsitsiklis, J.: The Boundedness of all Products of a Pair of Matrices is Undecidable. Sys. and Control Letters\u00a041(2), 135\u2013140 (2000)","journal-title":"Sys. and Control Letters"},{"issue":"6","key":"6_CR6","doi-asserted-by":"publisher","first-page":"1464","DOI":"10.1137\/S0097539703425861","volume":"34","author":"V. Blondel","year":"2005","unstructured":"Blondel, V., Jeandel, E., Koiran, P., Portier, N.: Decidable and Undecidable Problems about Quantum Automata. SIAM Journal on Computing\u00a034(6), 1464\u20131473 (2005)","journal-title":"SIAM Journal on Computing"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/3-540-36136-7_10","volume-title":"Algorithms and Computation","author":"Z. Dang","year":"2002","unstructured":"Dang, Z., Ibarra, O., Sun, Z.: On the emptiness problem for two-way NFA with one reversal-bounded counter. In: Bose, P., Morin, P. (eds.) ISAAC 2002. LNCS, vol.\u00a02518, pp. 103\u2013114. Springer, Heidelberg (2002)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Egerstedt, M., Blondel, V.: How Hard Is It to Control Switched Systems? In: Proc. of the American Control Conference, Anchorage (2002)","DOI":"10.1109\/ACC.2002.1023905"},{"key":"6_CR9","volume-title":"Matrix Analysis","author":"R. Horn","year":"1990","unstructured":"Horn, R., Johnson, C.: Matrix Analysis. Cambridge University Press, Cambridge (1990)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/978-3-540-69507-3_25","volume-title":"SOFSEM 2007: Theory and Practice of Computer Science","author":"M. Hirvensalo","year":"2007","unstructured":"Hirvensalo, M.: Improved Undecidability Results on the Emptiness Problem of Probabilistic and Quantum Cut-Point Languages. In: van Leeuwen, J., Italiano, G.F., van der Hoek, W., Meinel, C., Sack, H., Pl\u00e1\u0161il, F. (eds.) SOFSEM 2007. LNCS, vol.\u00a04362, pp. 309\u2013319. Springer, Heidelberg (2007)"},{"issue":"3","key":"6_CR11","doi-asserted-by":"publisher","first-page":"549","DOI":"10.2307\/2273588","volume":"47","author":"J.P. Jones","year":"1982","unstructured":"Jones, J.P.: Universal Diophantine Equation. The Journal of Symbolic Logic\u00a047(3), 549\u2013571 (1982)","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"6_CR12","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1145\/322047.322058","volume":"25","author":"O. Ibarra","year":"1978","unstructured":"Ibarra, O.: Reversal-Bounded Multicounter Machines and their Decision Problems. Journal of the ACM\u00a025(1), 116\u2013133 (1978)","journal-title":"Journal of the ACM"},{"key":"6_CR13","volume-title":"Hilbert\u2019s Tenth Problem","author":"Y. Matiyasevich","year":"1993","unstructured":"Matiyasevich, Y.: Hilbert\u2019s Tenth Problem. MIT Press, Cambridge (1993)"},{"key":"6_CR14","volume-title":"Introduction to Probabilistic Automata","author":"A. Paz","year":"1971","unstructured":"Paz, A.: Introduction to Probabilistic Automata. Academic Press, London (1971)"},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0747-7171(10)80003-3","volume":"13","author":"J. Renegar","year":"1992","unstructured":"Renegar, J.: On the Complexity and Geometry of the First-order Theory of the Reals. Parts I, II, and III. Journal of Symbolic Computation\u00a013(3), 255\u2013352 (1992)","journal-title":"Journal of Symbolic Computation"},{"key":"6_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-6264-0","volume-title":"Automata-Theoretic Aspects of Formal Power Series","author":"A. Salomaa","year":"1978","unstructured":"Salomaa, A., Soittola, M.: Automata-Theoretic Aspects of Formal Power Series. Springer, Heidelberg (1978)"},{"key":"6_CR17","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0019-9958(61)80020-X","volume":"4","author":"M.P. Sch\u00fctzenberger","year":"1961","unstructured":"Sch\u00fctzenberger, M.P.: On the Definition of a Family of Automata. Information and Control\u00a04, 245\u2013270 (1961)","journal-title":"Information and Control"},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"885","DOI":"10.2307\/2034080","volume":"13","author":"M.P. Sch\u00fctzenberger","year":"1962","unstructured":"Sch\u00fctzenberger, M.P.: On a Theorem of R. Jungen. Proc. Amer. Math. Soc.\u00a013, 885\u2013890 (1962) ISSN 0002-9939","journal-title":"Proc. Amer. Math. Soc."},{"key":"6_CR19","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1090\/S0002-9939-1969-0242596-1","volume":"21","author":"P. Turakainen","year":"1969","unstructured":"Turakainen, P.: Generalized automata and stochastic languages. Proceedings of American Mathematical Society\u00a021, 303\u2013309 (1969)","journal-title":"Proceedings of American Mathematical Society"}],"container-title":["Lecture Notes in Computer Science","Reachability Problems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15349-5_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:04:56Z","timestamp":1606187096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15349-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642153488","9783642153495"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15349-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}