{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,5]],"date-time":"2026-04-05T13:38:44Z","timestamp":1775396324026,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540354284","type":"print"},{"value":"9783540354307","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11779148_6","type":"book-chapter","created":{"date-parts":[[2006,6,21]],"date-time":"2006-06-21T05:55:49Z","timestamp":1150869349000},"page":"49-58","source":"Crossref","is-referenced-by-count":27,"title":["Weighted Automata and Weighted Logics on Infinite Words"],"prefix":"10.1007","author":[{"given":"Manfred","family":"Droste","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George","family":"Rahonis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","series-title":"International Series in Computer Science","volume-title":"Finite transition systems","author":"A. Arnold","year":"1994","unstructured":"Arnold, A.: Finite transition systems. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1994)"},{"key":"6_CR2","unstructured":"Balbes, R., Dwinger, P.: Distributive Lattices. University of Missouri Press (1974)"},{"key":"6_CR3","volume-title":"EATCS Monographs in Theoretical Computer Science","author":"J. Berstel","year":"1988","unstructured":"Berstel, J., Reutenauer, C.: Rational Series and Their Languages. EATCS Monographs in Theoretical Computer Science, vol.\u00a012. Springer, Heidelberg (1988)"},{"key":"6_CR4","volume-title":"EATCS Monographs on Theoretical Computer Science","author":"S.L. Bloom","year":"1993","unstructured":"Bloom, S.L., \u00c9sik, Z.: Iteration Theories. EATCS Monographs on Theoretical Computer Science. Springer, Heidelberg (1993)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1002\/malq.19600060105","volume":"6","author":"J.R. B\u00fcchi","year":"1960","unstructured":"B\u00fcchi, J.R.: Weak second-order arithmetic and finite automata. Z. Math. Logik Grundlager Math.\u00a06, 66\u201392 (1960)","journal-title":"Z. Math. Logik Grundlager Math."},{"key":"6_CR6","unstructured":"B\u00fcchi, J.R.: On a decision method in restricted second order arithmetic. In: Proc. 1960 Int. Congr. for Logic, Methodology and Philosophy of Science, pp. 1\u201311 (1962)"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/0097-8493(93)90079-O","volume":"17","author":"K. Culik II","year":"1993","unstructured":"Culik II, K., Kari, J.: Image compression using weighted finite automata. Computer and Graphics\u00a017, 305\u2013313 (1993)","journal-title":"Computer and Graphics"},{"issue":"4","key":"6_CR8","doi-asserted-by":"publisher","first-page":"789","DOI":"10.1137\/S0097539791224893","volume":"23","author":"K. Culik","year":"1994","unstructured":"Culik, K., Karhum\u00e4ki, J.: Finite automata computing real functions. SIAM J. Comput.\u00a023(4), 789\u2013814 (1994)","journal-title":"SIAM J. Comput."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Droste, M., Gastin, P.: On aperiodic and star-free formal power series in partially commuting variables. In: Proceedings of FPASAC 2000, pp. 158\u2013169. Springer, Heidelberg (2000), full version: Research Report LSV-05, ENS de Cachan, France (2005)","DOI":"10.1007\/978-3-662-04166-6_14"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Droste, M., Gastin, P.: Weighted automata and weighted logics. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol.\u00a03580, pp. 513\u2013525. Springer, Heidelberg (2005); full version in:, http:\/\/www.informatik.uni-leipzig.de\/theo\/pers\/droste\/publications.html","DOI":"10.1007\/11523468_42"},{"key":"6_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/3-540-45061-0_35","volume-title":"Automata, Languages and Programming","author":"M. Droste","year":"2003","unstructured":"Droste, M., Kuske, D.: Skew and infinitary formal power series. In: Baeten, J.C.M., Lenstra, J.K., Parrow, J., Woeginger, G.J. (eds.) ICALP 2003. LNCS, vol.\u00a02719, pp. 426\u2013438. Springer, Heidelberg (2003)"},{"key":"6_CR12","unstructured":"Droste, M., P\u00fcschmann, U.: Weighted B\u00fcchi Automata (submitted)"},{"key":"6_CR13","volume-title":"Automata, Languages and Machines","author":"S. Eilenberg","year":"1974","unstructured":"Eilenberg, S.: Automata, Languages and Machines, vol.\u00a0A. Academic Press, London (1974)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1090\/S0002-9947-1961-0139530-9","volume":"98","author":"C. Elgot","year":"1961","unstructured":"Elgot, C.: Decision problems of finite automata design and related arithmetics. Trans. Amer. Math. Soc.\u00a098, 21\u201352 (1961)","journal-title":"Trans. Amer. Math. Soc."},{"key":"6_CR15","unstructured":"\u00c9sik, Z., Kuich, W.: On iteration semiring-semimodule pairs (to appear)"},{"key":"6_CR16","unstructured":"\u00c9sik, Z., Kuich, W.: A semiring-semimodule generalization of \u03c9-regular languages\u00a0I and II. Special issue on Weighted automata. Droste, M., Vogler, H. (eds.) J. of Automata Languages and Combinatorics (to appear)"},{"key":"6_CR17","unstructured":"Hafner, U.: Low Bit-Rate Image and Video Coding with Weighted Finite Automata. PhD thesis, Universit\u00e4t W\u00fcrzburg, Germany (1999)"},{"key":"6_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/3-540-44968-X_44","volume-title":"Computing and Combinatorics","author":"Z. Jiang","year":"2000","unstructured":"Jiang, Z., Litow, B., de Vel, O.: Similarity enrichment in image compression through weighted finite automata. In: Du, D.-Z., Eades, P., Sharma, A.K., Lin, X., Estivill-Castro, V. (eds.) COCOON 2000. LNCS, vol.\u00a01858, pp. 447\u2013456. Springer, Heidelberg (2000)"},{"key":"6_CR19","unstructured":"Katritzke, F.: Refinements of data compression using weighted finite automata. PhD thesis, Universit\u00e4t Siegen, Germany (2001)"},{"key":"6_CR20","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1016\/S0020-0255(01)00150-5","volume":"138","author":"K. Krithivasan","year":"2001","unstructured":"Krithivasan, K., Sharda, K.: Fuzzy \u03c9-automata. Inf. Sci.\u00a0138, 257\u2013281 (2001)","journal-title":"Inf. Sci."},{"key":"6_CR21","doi-asserted-by":"crossref","first-page":"609","DOI":"10.1007\/978-3-642-59136-5_9","volume-title":"Handbook of Formal Languages","author":"W. Kuich","year":"1997","unstructured":"Kuich, W.: Semirings and formal power series: Their relevance to formal languages and automata theory. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a01, pp. 609\u2013677. Springer, Heidelberg (1997)"},{"key":"6_CR22","unstructured":"Kuich, W.: On skew formal power series. In: Bozapalidis, S., Kalampakas, A., Rahonis, G. (eds.) Proceedings of the Conference on Algebraic Informatics. Thessaloniki, pp. 7\u201330 (2005)"},{"key":"6_CR23","doi-asserted-by":"crossref","unstructured":"Kuich, W., Rahonis, G.: Fuzzy regular languages over finite and infinite words. Fuzzy Sets and Systems (to appear)","DOI":"10.1016\/j.fss.2006.02.004"},{"key":"6_CR24","volume-title":"EATCS Monographs in Theoretical Computer Science","author":"W. Kuich","year":"1986","unstructured":"Kuich, W., Salomaa, A.: Semirings, Automata, Languages. EATCS Monographs in Theoretical Computer Science, vol.\u00a05. Springer, Heidelberg (1986)"},{"key":"6_CR25","series-title":"Princeton Series in Computer Science","volume-title":"Computer-Aided Verification of Coordinating Processes","author":"R.P. Kurshan","year":"1994","unstructured":"Kurshan, R.P.: Computer-Aided Verification of Coordinating Processes. Princeton Series in Computer Science. Princeton University Press, Princeton (1994)"},{"key":"6_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"K. McMillan","year":"1993","unstructured":"McMillan, K.: Symbolic Model Checking. Kluwer Academic Publishers, Dordrecht (1993)"},{"key":"6_CR27","first-page":"269","volume":"23","author":"M. Mohri","year":"1997","unstructured":"Mohri, M.: Finite-state transducers in language and speech processing. Computational Linguistics\u00a023, 269\u2013311 (1997)","journal-title":"Computational Linguistics"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/S0304-3975(99)00014-6","volume":"231","author":"M. Mohri","year":"2000","unstructured":"Mohri, M., Pereira, F., Riley, M.: The design principles of a weighted finite-state transducer library. Theoret. Comput. Sci.\u00a0231, 17\u201332 (2000)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR29","volume-title":"Infinite Words","author":"D. Perrin","year":"2004","unstructured":"Perrin, D., Pin, J.E.: Infinite Words. Elsevier, Amsterdam (2004)"},{"key":"6_CR30","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1016\/j.fss.2004.12.003","volume":"153","author":"G. Rahonis","year":"2005","unstructured":"Rahonis, G.: Infinite fuzzy computations. Fuzzy Sets and Systems\u00a0153, 275\u2013288 (2005)","journal-title":"Fuzzy Sets and Systems"},{"key":"6_CR31","series-title":"Texts and Monographs in Computer Science","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. Texts and Monographs in Computer Science. Springer, Heidelberg (1978)"},{"key":"6_CR32","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1016\/S0019-9958(61)80020-X","volume":"4","author":"M. Sch\u00fctzenberger","year":"1961","unstructured":"Sch\u00fctzenberger, M.: On the definition of a family of automata. Inf. Control\u00a04, 245\u2013270 (1961)","journal-title":"Inf. Control"},{"key":"6_CR33","first-page":"135","volume-title":"Handbook of Theoretical Computer Science","author":"W. Thomas","year":"1990","unstructured":"Thomas, W.: Automata on infinite objects. In: Leeuwen, J.v. (ed.) Handbook of Theoretical Computer Science, vol.\u00a0B, pp. 135\u2013191. Elsevier Science Publishers, Amsterdam (1990)"},{"key":"6_CR34","doi-asserted-by":"crossref","first-page":"389","DOI":"10.1007\/978-3-642-59126-6_7","volume-title":"Handbook of Formal Languages","author":"W. Thomas","year":"1997","unstructured":"Thomas, W.: Languages, automata and logic. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, vol.\u00a03, pp. 389\u2013485. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11779148_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:15:58Z","timestamp":1619507758000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11779148_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540354284","9783540354307"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/11779148_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}