Werner Kuich - RankMe

100 papers A* 5B 7C 4Journal 63Unranked 17

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings. Theor. Comput. Sci. Manfred Droste, Werner Kuich
2022	J	`jnl`	Greibach normal form for Inf. Comput. Manfred Droste, Sven Dziadek, Werner Kuich
2022	J	`jnl`	Logic for Inf. Comput. Manfred Droste, Sven Dziadek, Werner Kuich
2022	J	`jnl`	The Triple-Pair Construction for Weighted ω-Pushdown Automata. Int. J. Found. Comput. Sci. Manfred Droste, Zoltán Ésik, Werner Kuich
2020	J	`jnl`	Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata. CoRR Manfred Droste, Sven Dziadek, Werner Kuich
2020	—	`conf`	Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. FSTTCS Manfred Droste, Sven Dziadek, Werner Kuich
2019	—	`conf`	Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata. FSTTCS Manfred Droste, Sven Dziadek, Werner Kuich
2019	J	`jnl`	Weighted simple reset pushdown automata. Theor. Comput. Sci. Manfred Droste, Sven Dziadek, Werner Kuich
2018	J	`jnl`	Weighted omega-Restricted One Counter Automata. Log. Methods Comput. Sci. Manfred Droste, Werner Kuich
2017	J	`jnl`	A Kleene Theorem for Weighted ω-Pushdown Automata. Acta Cybern. Manfred Droste, Werner Kuich
2017	J	`jnl`	Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems. Acta Cybern. Zoltán Ésik, Werner Kuich
2017	—	`conf`	Solving Fixed Point Equations over Complete Semirings. The Role of Theory in Computer Science Zoltán Ésik, Werner Kuich
2017	—	`conf`	The Triple-Pair Construction for Weighted ω-Pushdown Automata. AFL Manfred Droste, Zoltán Ésik, Werner Kuich
2017	J	`jnl`	Weigthed omega-Restricted One Counter Automata. CoRR Manfred Droste, Werner Kuich
2016	J	`jnl`	Zoltán Ésik (1951 - 2016) - In Memoriam. J. Autom. Lang. Comb. Werner Kuich, Manfred Droste
2015	—	`conf`	Why We Need Semirings in Automata Theory (Extended Abstract). CAI Werner Kuich
2014	J	`jnl`	Conway and iteration hemirings Part 1. Int. J. Algebra Comput. Manfred Droste, Zoltán Ésik, Werner Kuich
2014	J	`jnl`	Conway and iteration hemirings Part 2. Int. J. Algebra Comput. Manfred Droste, Zoltán Ésik, Werner Kuich
2014	—	`conf`	On Power Series over a Graded Monoid. Computing with New Resources Zoltán Ésik, Werner Kuich
2013	J	`jnl`	Conway and iteration hemirings. CoRR Manfred Droste, Zoltán Ésik, Werner Kuich
2013	J	`jnl`	Free inductive K-semialgebras. J. Log. Algebraic Methods Program. Zoltán Ésik, Werner Kuich
2013	J	`jnl`	Weighted finite automata over hemirings. Theor. Comput. Sci. Manfred Droste, Werner Kuich
2011	—	`conf`	A Unifying Kleene Theorem for Weighted Finite Automata. Rainbow of Computer Science Zoltán Ésik, Werner Kuich
2011	—	`ed.`	Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement Algebraic Foundations in Computer Science Werner Kuich, George Rahonis
2011	—	`conf`	Algebraic Systems and Pushdown Automata. Algebraic Foundations in Computer Science Werner Kuich
2010	J	`jnl`	Free inductive K-semialgebras CoRR Zoltán Ésik, Werner Kuich
2010	J	`jnl`	Free iterative and iteration K-semialgebras CoRR Zoltán Ésik, Werner Kuich
2009	—	`conf`	Cycle-Free Finite Automata in Partial Iterative Semirings. CAI Stephen L. Bloom, Zoltán Ésik, Werner Kuich
2008	J	`jnl`	Multi-Valued MSO Logics OverWords and Trees. Fundam. Informaticae Manfred Droste, Werner Kuich, George Rahonis
2008	J	`jnl`	Partial Conway and Iteration Semirings. Fundam. Informaticae Stephen L. Bloom, Zoltán Ésik, Werner Kuich
2007	J	`jnl`	A Semiring-Semimodule Generalization of Transducers and Abstract omega-Families of Power Series. J. Autom. Lang. Comb. Zoltán Ésik, Werner Kuich
2007	J	`jnl`	Boolean Fuzzy Sets. Int. J. Found. Comput. Sci. Zoltán Ésik, Werner Kuich
2007	J	`jnl`	Partial Conway and iteration semirings CoRR Stephen L. Bloom, Zoltán Ésik, Werner Kuich
2006	J	`jnl`	Fuzzy regular languages over finite and infinite words. Fuzzy Sets Syst. Werner Kuich, George Rahonis
2006	J	`jnl`	Kleene Theorems for skew formal power series. Acta Cybern. Werner Kuich
2005	J	`jnl`	A Semiring-Semimodule Generalization of ω-Regular Languages I. J. Autom. Lang. Comb. Zoltán Ésik, Werner Kuich
2005	J	`jnl`	A Semiring-Semimodule Generalization of ω-Regular Languages II. J. Autom. Lang. Comb. Zoltán Ésik, Werner Kuich
2004	—	`conf`	A Semiring-Semimodule Generalization of omega-Context-Free Languages. Theory Is Forever Zoltán Ésik, Werner Kuich
2004	B	`conf`	An Algebraic Generalization of omega-Regular Languages. MFCS Zoltán Ésik, Werner Kuich
2004	J	`jnl`	Inductive star-semirings. Theor. Comput. Sci. Zoltán Ésik, Werner Kuich
2003	J	`jnl`	Formal Tree Series. J. Autom. Lang. Comb. Zoltán Ésik, Werner Kuich
2003	B	`conf`	On the Exponentiation of Languages. FCT Werner Kuich, Klaus W. Wagner
2002	C	`ed.`	Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers Developments in Language Theory Werner Kuich, Grzegorz Rozenberg, Arto Salomaa
2002	J	`jnl`	Formal series over sorted algebras. Discret. Math. Werner Kuich
2002	J	`jnl`	Heyting Algebras and Formal Languages. J. Univers. Comput. Sci. Werner Kuich, Norbert Sauer, Friedrich J. Urbanek
2002	J	`jnl`	Rationally Additive Semirings. J. Univers. Comput. Sci. Zoltán Ésik, Werner Kuich
2001	—	`conf`	A Generation of Kozen's Axiomatization of the Equational Theory of the Regular Sets. Words, Semigroups, and Transductions Zoltán Ésik, Werner Kuich
2001	J	`jnl`	Atoms and partial orders of infinite languages. RAIRO Theor. Informatics Appl. Werner Kuich, Norbert Sauer
2001	B	`conf`	Cones, Semi-AFPs, and AFPs of Algebraic Power Series. FCT Werner Kuich
2001	J	`jnl`	Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series. Inf. Comput. Werner Kuich
2001	—	`conf`	Regularly controlled formal power series. Where Mathematics, Computer Science, Linguistics and Biology Meet Henning Fernau, Werner Kuich
2000	J	`jnl`	A Kleene Theorem for Lindenmayerian Algebraic Power Series. J. Autom. Lang. Comb. Zoltán Ésik, Werner Kuich
2000	B	`conf`	Formal Series over Algebras. MFCS Werner Kuich
2000	—	`ch.`	Forty Years of Formal Power Series in Automata Theory. A Half-Century of Automata Theory Werner Kuich
1999	—	`conf`	Full Abstract Families of Tree Series I. Jewels are Forever Werner Kuich
1999	J	`jnl`	Tree Transducers and Formal Tree Series. Acta Cybern. Werner Kuich
1998	B	`conf`	Gaußian Elimination and a Characterization of Algebraic Power Series. MFCS Werner Kuich
1997	B	`conf`	A Characterization of Abstract Families of Algebraic Power Series. MFCS Georg Karner, Werner Kuich
1997	C	`conf`	Formal Power Series over Trees. Developments in Language Theory Werner Kuich
1997	—	`conf`	Generalized Lindenmayerian Algebraic Systems. New Trends in Formal Languages Werner Kuich
1997	—	`conf`	On Abstract Families of Languages, Power Series, and Elements. Foundations of Computer Science: Potential - Theory - Cognition Georg Karner, Werner Kuich
1997	J	`jnl`	On Lindenmayerian Algebraic Power Series. Theor. Comput. Sci. Juha Honkala, Werner Kuich
1997	—	`ch.`	Semirings and Formal Power Series: Their Relevance to Formal Languages and Automata. Handbook of Formal Languages (1) Werner Kuich
1997	C	`conf`	Semirings: A basis for a mathematical automata and language theory. Developments in Language Theory Werner Kuich
1996	J	`jnl`	On a Power Series Generalization of ETOL Languages. Fundam. Informaticae Juha Honkala, Werner Kuich
1995	J	`jnl`	On Four Classes of Lindenmayerian Power Series. J. Univers. Comput. Sci. Juha Honkala, Werner Kuich
1995	J	`jnl`	Representations and Complete Semiring Morphisms. Inf. Process. Lett. Werner Kuich
1995	A*	`conf`	The Algebraic Equivalent of AFL Theory. ICALP Werner Kuich
1994	—	`conf`	On the Multiplicity Equivalence Problem for Context-free Grammars. Results and Trends in Theoretical Computer Science Werner Kuich
1993	C	`conf`	Lindenmayer Systems Generalized to Formal Power Series and Their Growth Functions. Developments in Language Theory Werner Kuich
1992	A*	`ed.`	Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings ICALP Werner Kuich
1991	J	`jnl`	Automata and Languages Generalized to omega-Continuous Semirings. Theor. Comput. Sci. Werner Kuich
1990	A*	`conf`	Omega-Continuous Semirings, Algebraich Systems and Pushdown Automata. ICALP Werner Kuich
1988	J	`jnl`	Matrix Systems and Principal Cones of Algebraic Power Series. Theor. Comput. Sci. Werner Kuich
1987	J	`jnl`	Hauptkegel algebraischer Potenzreihen. J. Inf. Process. Cybern. Werner Kuich
1987	A*	`conf`	The Kleene and the Parikh Theorem in Complete Semirings. ICALP Werner Kuich
1987	J	`jnl`	Unampiguous automata. Bull. EATCS Werner Kuich
1986	B	`conf`	Matrix Systems and Principal Cones of Algebraic Power Series. MFCS Werner Kuich
1986	—	`book`	Semirings, Automata, Languages Werner Kuich, Arto Salomaa
1984	J	`jnl`	Semitopological Semirings and Pushdown Automata. Math. Syst. Theory W. Herfort, Werner Kuich
1983	J	`jnl`	Infinite Linear Systems and one Counter Languages. Theor. Comput. Sci. Werner Kuich, Friedrich J. Urbanek
1982	J	`jnl`	An Algebraic Characterization of Some Principal Regulated Rational Cones. J. Comput. Syst. Sci. Werner Kuich
1981	—	`conf`	Cycle-Free N-Algebraic Systems. Theoretical Computer Science Werner Kuich
1981	J	`jnl`	The Characterization of Nonexpansive Grammars by Rational Power Series Inf. Control. Gerd Baron, Werner Kuich
1981	J	`jnl`	The Characterization of Parallel Ultralinear Grammars by Rational Power Series. Acta Informatica Werner Kuich
1981	J	`jnl`	Zur Theorie algebraischer Systeme. J. Inf. Process. Cybern. Werner Kuich
1980	J	`jnl`	Generating Functions for Derivation Trees Inf. Control. Werner Kuich
1979	A*	`conf`	On the Height of Derivation Trees. ICALP Werner Kuich, Helmut Prodinger, Friedrich J. Urbanek
1976	J	`jnl`	The Structure Generating Function of Some Families of Languages Inf. Control. Werner Kuich, R. K. Shyamasundar
1973	J	`jnl`	Buchbesprechung. Computing Werner Kuich, Viktor Scheiber, P. Meissl
1973	J	`jnl`	Buchbesprechungen. Computing H. Will, Nicholas V. Findler, M. Brockhaus, Werner Kuich, Alexander Weinmann
1972	J	`jnl`	Buchbesprechung. Computing Werner Kuich, Alexander Weinmann, R. Albrecht, Lothar Collatz, Walther Eberl, N. Thumb, J. Rybarz
1971	J	`jnl`	Buchbesprechungen. Computing Wolfgang Händler, H. Kremser, Lothar Collatz, Erich Bukovics, Ingolf Pirzl, Werner Kuich
1971	J	`jnl`	Buchbesprechungen. Computing Alexander Weinmann, Werner Kuich, H. Kremser, R. Weiss
1971	J	`jnl`	On the inherent ambiguity of simple tuple languages. Computing Werner Kuich, Hermann A. Maurer
1971	J	`jnl`	The Complexity of Skewlinear Tuple Languages and o-Regular Languages Inf. Control. Werner Kuich
1971	J	`jnl`	The Structure Generating Function and Entropy of Tuple Languages Inf. Control. Werner Kuich, Hermann A. Maurer
1970	J	`jnl`	On the Entropy of Context-Free Languages Inf. Control. Werner Kuich
1970	J	`jnl`	Systems of Pushdown Acceptors and Context-free Grammars. J. Inf. Process. Cybern. Werner Kuich
1966	J	`jnl`	Block-stochastic matrices and associated finite-state languages. Computing Werner Kuich, Kurt Walk