default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWerner Kuich
Person information
- affiliation: TU Wien, Vienna, Austria
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j57]Manfred Droste
, Werner Kuich:
Undecidability of the universal support problem for weighted automata over zero-sum-free commutative semirings. Theor. Comput. Sci. 1002: 114599 (2024)- 2022
- [j56]Manfred Droste, Sven Dziadek, Werner Kuich:
Logic for ω-pushdown automata. Inf. Comput. 282: 104659 (2022) - [j55]Manfred Droste, Sven Dziadek, Werner Kuich:
Greibach normal form for ω-algebraic systems and weighted simple ω-pushdown automata. Inf. Comput. 285(Part): 104871 (2022) - [j54]Manfred Droste, Zoltán Ésik, Werner Kuich:
The Triple-Pair Construction for Weighted ω-Pushdown Automata. Int. J. Found. Comput. Sci. 33(3&4): 227-246 (2022) - 2020
- [c31]Manfred Droste, Sven Dziadek, Werner Kuich:
Nivat-Theorem and Logic for Weighted Pushdown Automata on Infinite Words. FSTTCS 2020: 44:1-44:14 - [i6]Manfred Droste, Sven Dziadek, Werner Kuich:
Greibach Normal Form for ω-Algebraic Systems and Weighted Simple ω-Pushdown Automata. CoRR abs/2007.08866 (2020)
2010 – 2019
- 2019
- [j53]Manfred Droste, Sven Dziadek, Werner Kuich:
Weighted simple reset pushdown automata. Theor. Comput. Sci. 777: 252-259 (2019) - [c30]Manfred Droste, Sven Dziadek, Werner Kuich:
Greibach Normal Form for omega-Algebraic Systems and Weighted Simple omega-Pushdown Automata. FSTTCS 2019: 38:1-38:14 - 2018
- [j52]Manfred Droste, Werner Kuich:
Weighted omega-Restricted One Counter Automata. Log. Methods Comput. Sci. 14(1) (2018) - 2017
- [j51]Manfred Droste, Werner Kuich:
A Kleene Theorem for Weighted ω-Pushdown Automata. Acta Cybern. 23(1): 43-59 (2017) - [j50]Zoltán Ésik, Werner Kuich:
Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems. Acta Cybern. 23(1): 61-79 (2017) - [c29]Zoltán Ésik, Werner Kuich:
Solving Fixed Point Equations over Complete Semirings. The Role of Theory in Computer Science 2017: 33-58 - [c28]Manfred Droste, Zoltán Ésik, Werner Kuich:
The Triple-Pair Construction for Weighted ω-Pushdown Automata. AFL 2017: 101-113 - [i5]Manfred Droste, Werner Kuich:
Weigthed omega-Restricted One Counter Automata. CoRR abs/1701.08703 (2017) - 2016
- [j49]Werner Kuich, Manfred Droste:
Zoltán Ésik (1951 - 2016) - In Memoriam. J. Autom. Lang. Comb. 21(3): 129-130 (2016) - 2015
- [c27]Werner Kuich:
Why We Need Semirings in Automata Theory (Extended Abstract). CAI 2015: 43-44 - 2014
- [j48]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings Part 1. Int. J. Algebra Comput. 24(4): 461-482 (2014) - [j47]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings Part 2. Int. J. Algebra Comput. 24(4): 483-514 (2014) - [c26]Zoltán Ésik, Werner Kuich:
On Power Series over a Graded Monoid. Computing with New Resources 2014: 49-55 - 2013
- [j46]Zoltán Ésik, Werner Kuich:
Free inductive K-semialgebras. J. Log. Algebraic Methods Program. 82(3-4): 111-122 (2013) - [j45]Manfred Droste, Werner Kuich:
Weighted finite automata over hemirings. Theor. Comput. Sci. 485: 38-48 (2013) - [i4]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings. CoRR abs/1307.0725 (2013) - 2011
- [c25]Zoltán Ésik, Werner Kuich:
A Unifying Kleene Theorem for Weighted Finite Automata. Rainbow of Computer Science 2011: 76-89 - [c24]Werner Kuich:
Algebraic Systems and Pushdown Automata. Algebraic Foundations in Computer Science 2011: 228-256 - [e3]Werner Kuich, George Rahonis:
Algebraic Foundations in Computer Science - Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement. Lecture Notes in Computer Science 7020, Springer 2011, ISBN 978-3-642-24896-2 [contents] - 2010
- [i3]Zoltán Ésik, Werner Kuich:
Free iterative and iteration K-semialgebras. CoRR abs/1008.1507 (2010) - [i2]Zoltán Ésik, Werner Kuich:
Free inductive K-semialgebras. CoRR abs/1009.4820 (2010)
2000 – 2009
- 2009
- [c23]Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
Cycle-Free Finite Automata in Partial Iterative Semirings. CAI 2009: 1-12 - 2008
- [j44]Manfred Droste, Werner Kuich, George Rahonis:
Multi-Valued MSO Logics OverWords and Trees. Fundam. Informaticae 84(3-4): 305-327 (2008) - [j43]Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
Partial Conway and Iteration Semirings. Fundam. Informaticae 86(1-2): 19-40 (2008) - 2007
- [j42]Zoltán Ésik, Werner Kuich:
Boolean Fuzzy Sets. Int. J. Found. Comput. Sci. 18(6): 1197-1207 (2007) - [j41]Zoltán Ésik, Werner Kuich:
A Semiring-Semimodule Generalization of Transducers and Abstract omega-Families of Power Series. J. Autom. Lang. Comb. 12(4): 435-454 (2007) - [i1]Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
Partial Conway and iteration semirings. CoRR abs/0712.2952 (2007) - 2006
- [j40]Werner Kuich:
Kleene Theorems for skew formal power series. Acta Cybern. 17(4): 719-749 (2006) - [j39]Werner Kuich, George Rahonis:
Fuzzy regular languages over finite and infinite words. Fuzzy Sets Syst. 157(11): 1532-1549 (2006) - 2005
- [j38]Zoltán Ésik, Werner Kuich:
A Semiring-Semimodule Generalization of ω-Regular Languages I. J. Autom. Lang. Comb. 10(2/3): 203-242 (2005) - [j37]Zoltán Ésik, Werner Kuich:
A Semiring-Semimodule Generalization of ω-Regular Languages II. J. Autom. Lang. Comb. 10(2/3): 243-264 (2005) - 2004
- [j36]Zoltán Ésik, Werner Kuich:
Inductive star-semirings. Theor. Comput. Sci. 324(1): 3-33 (2004) - [c22]Zoltán Ésik, Werner Kuich:
A Semiring-Semimodule Generalization of omega-Context-Free Languages. Theory Is Forever 2004: 68-80 - [c21]Zoltán Ésik, Werner Kuich:
An Algebraic Generalization of omega-Regular Languages. MFCS 2004: 648-659 - 2003
- [j35]Zoltán Ésik, Werner Kuich:
Formal Tree Series. J. Autom. Lang. Comb. 8(2): 219-285 (2003) - [c20]Werner Kuich, Klaus W. Wagner:
On the Exponentiation of Languages. FCT 2003: 376-386 - 2002
- [j34]Werner Kuich:
Formal series over sorted algebras. Discret. Math. 254(1-3): 231-258 (2002) - [j33]Zoltán Ésik, Werner Kuich:
Rationally Additive Semirings. J. Univers. Comput. Sci. 8(2): 173-183 (2002) - [j32]Werner Kuich, Norbert Sauer, Friedrich J. Urbanek:
Heyting Algebras and Formal Languages. J. Univers. Comput. Sci. 8(7): 722- (2002) - [e2]Werner Kuich, Grzegorz Rozenberg, Arto Salomaa:
Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers. Lecture Notes in Computer Science 2295, Springer 2002, ISBN 3-540-43453-4 [contents] - 2001
- [j31]Werner Kuich:
Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series. Inf. Comput. 165(1): 69-99 (2001) - [j30]Werner Kuich, Norbert Sauer:
Atoms and partial orders of infinite languages. RAIRO Theor. Informatics Appl. 35(4): 389-401 (2001) - [c19]Zoltán Ésik, Werner Kuich:
A Generation of Kozen's Axiomatization of the Equational Theory of the Regular Sets. Words, Semigroups, and Transductions 2001: 99-114 - [c18]Henning Fernau, Werner Kuich:
Regularly controlled formal power series. Where Mathematics, Computer Science, Linguistics and Biology Meet 2001: 253-265 - [c17]Werner Kuich:
Cones, Semi-AFPs, and AFPs of Algebraic Power Series. FCT 2001: 204-216 - 2000
- [j29]Zoltán Ésik, Werner Kuich:
A Kleene Theorem for Lindenmayerian Algebraic Power Series. J. Autom. Lang. Comb. 5(2): 109-122 (2000) - [c16]Werner Kuich:
Formal Series over Algebras. MFCS 2000: 488-496 - [p2]Werner Kuich:
Forty Years of Formal Power Series in Automata Theory. A Half-Century of Automata Theory 2000: 49-71
1990 – 1999
- 1999
- [j28]Werner Kuich:
Tree Transducers and Formal Tree Series. Acta Cybern. 14(1): 135-149 (1999) - [c15]Werner Kuich:
Full Abstract Families of Tree Series I. Jewels are Forever 1999: 145-156 - 1998
- [c14]Werner Kuich:
Gaußian Elimination and a Characterization of Algebraic Power Series. MFCS 1998: 512-521 - 1997
- [j27]Juha Honkala, Werner Kuich:
On Lindenmayerian Algebraic Power Series. Theor. Comput. Sci. 183(1): 113-142 (1997) - [c13]Georg Karner, Werner Kuich:
On Abstract Families of Languages, Power Series, and Elements. Foundations of Computer Science: Potential - Theory - Cognition 1997: 117-124 - [c12]Werner Kuich:
Generalized Lindenmayerian Algebraic Systems. New Trends in Formal Languages 1997: 412-421 - [c11]Werner Kuich:
Semirings: A basis for a mathematical automata and language theory. Developments in Language Theory 1997: 49-60 - [c10]Werner Kuich:
Formal Power Series over Trees. Developments in Language Theory 1997: 61-101 - [c9]Georg Karner, Werner Kuich:
A Characterization of Abstract Families of Algebraic Power Series. MFCS 1997: 327-336 - [p1]Werner Kuich:
Semirings and Formal Power Series: Their Relevance to Formal Languages and Automata. Handbook of Formal Languages (1) 1997: 609-677 - 1996
- [j26]Juha Honkala, Werner Kuich:
On a Power Series Generalization of ETOL Languages. Fundam. Informaticae 25(3): 257-270 (1996) - 1995
- [j25]Werner Kuich:
Representations and Complete Semiring Morphisms. Inf. Process. Lett. 56(6): 293-298 (1995) - [j24]Juha Honkala, Werner Kuich:
On Four Classes of Lindenmayerian Power Series. J. Univers. Comput. Sci. 1(2): 131-135 (1995) - [c8]Werner Kuich:
The Algebraic Equivalent of AFL Theory. ICALP 1995: 39-50 - 1994
- [c7]Werner Kuich:
On the Multiplicity Equivalence Problem for Context-free Grammars. Results and Trends in Theoretical Computer Science 1994: 232-250 - 1993
- [c6]Werner Kuich:
Lindenmayer Systems Generalized to Formal Power Series and Their Growth Functions. Developments in Language Theory 1993: 171-178 - 1992
- [e1]Werner Kuich:
Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings. Lecture Notes in Computer Science 623, Springer 1992, ISBN 3-540-55719-9 [contents] - 1991
- [j23]Werner Kuich:
Automata and Languages Generalized to omega-Continuous Semirings. Theor. Comput. Sci. 79(1): 137-150 (1991) - 1990
- [c5]Werner Kuich:
Omega-Continuous Semirings, Algebraich Systems and Pushdown Automata. ICALP 1990: 103-110
1980 – 1989
- 1988
- [j22]Werner Kuich:
Matrix Systems and Principal Cones of Algebraic Power Series. Theor. Comput. Sci. 57: 147-152 (1988) - 1987
- [j21]Werner Kuich:
Unampiguous automata. Bull. EATCS 33: 62-66 (1987) - [j20]Werner Kuich:
Hauptkegel algebraischer Potenzreihen. J. Inf. Process. Cybern. 23(4/5): 147-170 (1987) - [c4]Werner Kuich:
The Kleene and the Parikh Theorem in Complete Semirings. ICALP 1987: 212-225 - 1986
- [b1]Werner Kuich, Arto Salomaa:
Semirings, Automata, Languages. EATCS Monographs on Theoretical Computer Science 5, Springer 1986, ISBN 3-540-13716-5, pp. I-IX, 1-374 - [c3]Werner Kuich:
Matrix Systems and Principal Cones of Algebraic Power Series. MFCS 1986: 512-517 - 1984
- [j19]W. Herfort, Werner Kuich:
Semitopological Semirings and Pushdown Automata. Math. Syst. Theory 17(4): 279-291 (1984) - 1983
- [j18]Werner Kuich, Friedrich J. Urbanek:
Infinite Linear Systems and one Counter Languages. Theor. Comput. Sci. 22: 95-126 (1983) - 1982
- [j17]Werner Kuich:
An Algebraic Characterization of Some Principal Regulated Rational Cones. J. Comput. Syst. Sci. 25(3): 377-401 (1982) - 1981
- [j16]Werner Kuich:
The Characterization of Parallel Ultralinear Grammars by Rational Power Series. Acta Informatica 15: 129-139 (1981) - [j15]Werner Kuich:
Zur Theorie algebraischer Systeme. J. Inf. Process. Cybern. 17(1): 3-14 (1981) - [j14]Gerd Baron, Werner Kuich:
The Characterization of Nonexpansive Grammars by Rational Power Series. Inf. Control. 48(2): 109-118 (1981) - [c2]Werner Kuich:
Cycle-Free N-Algebraic Systems. Theoretical Computer Science 1981: 5-12 - 1980
- [j13]Werner Kuich:
Generating Functions for Derivation Trees. Inf. Control. 45(2): 199-216 (1980)
1970 – 1979
- 1979
- [c1]Werner Kuich, Helmut Prodinger, Friedrich J. Urbanek:
On the Height of Derivation Trees. ICALP 1979: 370-384 - 1976
- [j12]Werner Kuich, R. K. Shyamasundar:
The Structure Generating Function of Some Families of Languages. Inf. Control. 32(1): 85-92 (1976) - 1973
- [j11]H. Will, Nicholas V. Findler, M. Brockhaus, Werner Kuich, Alexander Weinmann:
Buchbesprechungen. Computing 11(1): 97-99 (1973) - [j10]Werner Kuich, Viktor Scheiber, P. Meissl:
Buchbesprechung. Computing 11(2): 179-180 (1973) - 1972
- [j9]Werner Kuich, Alexander Weinmann, R. Albrecht, Lothar Collatz, Walther Eberl, N. Thumb, J. Rybarz:
Buchbesprechung. Computing 9(2): 171-174 (1972) - 1971
- [j8]Werner Kuich, Hermann A. Maurer:
On the inherent ambiguity of simple tuple languages. Computing 7(3-4): 194-203 (1971) - [j7]Wolfgang Händler, H. Kremser, Lothar Collatz, Erich Bukovics, Ingolf Pirzl, Werner Kuich:
Buchbesprechungen. Computing 7(3-4): 370-373 (1971) - [j6]Alexander Weinmann, Werner Kuich, H. Kremser, R. Weiss:
Buchbesprechungen. Computing 8(3-4): 396-398 (1971) - [j5]Werner Kuich, Hermann A. Maurer:
The Structure Generating Function and Entropy of Tuple Languages. Inf. Control. 19(3): 195-203 (1971) - [j4]Werner Kuich:
The Complexity of Skewlinear Tuple Languages and o-Regular Languages. Inf. Control. 19(4): 353-367 (1971) - 1970
- [j3]Werner Kuich:
Systems of Pushdown Acceptors and Context-free Grammars. J. Inf. Process. Cybern. 6(2): 95-113 (1970) - [j2]Werner Kuich:
On the Entropy of Context-Free Languages. Inf. Control. 16(2): 173-20 (1970)
1960 – 1969
- 1966
- [j1]Werner Kuich, Kurt Walk:
Block-stochastic matrices and associated finite-state languages. Computing 1(1): 50-61 (1966)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 22:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
