Werner Kuich

Publication Activity (10 Years)

Years Active: 1966-2024
Publications (10 Years): 15

Top Topics

Automata Theory

Top Venues

Theor. Comput. Sci.

Publications

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