2008 |
62 | EE | Manfred Droste,
Werner Kuich,
George Rahonis:
Multi-Valued MSO Logics OverWords and Trees.
Fundam. Inform. 84(3-4): 305-327 (2008) |
61 | EE | Stephen L. Bloom,
Zoltán Ésik,
Werner Kuich:
Partial Conway and Iteration Semirings.
Fundam. Inform. 86(1-2): 19-40 (2008) |
2007 |
60 | EE | Stephen L. Bloom,
Zoltán Ésik,
Werner Kuich:
Partial Conway and iteration semirings
CoRR abs/0712.2952: (2007) |
59 | EE | Zoltán Ésik,
Werner Kuich:
Boolean Fuzzy Sets.
Int. J. Found. Comput. Sci. 18(6): 1197-1207 (2007) |
58 | | Zoltán Ésik,
Werner Kuich:
A Semiring-Semimodule Generalization of Transducers and Abstract omega-Families of Power Series.
Journal of Automata, Languages and Combinatorics 12(4): 435-454 (2007) |
2006 |
57 | EE | Werner Kuich,
George Rahonis:
Fuzzy regular languages over finite and infinite words.
Fuzzy Sets and Systems 157(11): 1532-1549 (2006) |
2005 |
56 | | Zoltán Ésik,
Werner Kuich:
A Semiring-Semimodule Generalization of ?-Regular Languages I.
Journal of Automata, Languages and Combinatorics 10(2/3): 203-242 (2005) |
55 | | Zoltán Ésik,
Werner Kuich:
A Semiring-Semimodule Generalization of ?-Regular Languages II.
Journal of Automata, Languages and Combinatorics 10(2/3): 243-264 (2005) |
2004 |
54 | EE | Zoltán Ésik,
Werner Kuich:
An Algebraic Generalization of omega-Regular Languages.
MFCS 2004: 648-659 |
53 | EE | Zoltán Ésik,
Werner Kuich:
A Semiring-Semimodule Generalization of omega-Context-Free Languages.
Theory Is Forever 2004: 68-80 |
52 | EE | Zoltán Ésik,
Werner Kuich:
Inductive star-semirings.
Theor. Comput. Sci. 324(1): 3-33 (2004) |
2003 |
51 | EE | Werner Kuich,
Klaus W. Wagner:
On the Exponentiation of Languages.
FCT 2003: 376-386 |
50 | | Zoltán Ésik,
Werner Kuich:
Formal Tree Series.
Journal of Automata, Languages and Combinatorics 8(2): 219-285 (2003) |
2002 |
49 | | Werner Kuich,
Grzegorz Rozenberg,
Arto Salomaa:
Developments in Language Theory, 5th International Conference, DLT 2001, Vienna, Austria, July 16-21, 2001, Revised Papers
Springer 2002 |
48 | EE | Werner Kuich:
Formal series over sorted algebras.
Discrete Mathematics 254(1-3): 231-258 (2002) |
47 | EE | Zoltán Ésik,
Werner Kuich:
Rationally Additive Semirings.
J. UCS 8(2): 173-183 (2002) |
46 | EE | Werner Kuich,
Norbert Sauer,
Friedrich J. Urbanek:
Heyting Algebras and Formal Languages.
J. UCS 8(7): 722- (2002) |
2001 |
45 | EE | Werner Kuich:
Cones, Semi-AFPs, and AFPs of Algebraic Power Series.
FCT 2001: 204-216 |
44 | | 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 |
43 | EE | Werner Kuich,
Norbert Sauer:
Atoms and partial orders of infinite languages.
ITA 35(4): 389-401 (2001) |
42 | | Werner Kuich:
Pushdown Tree Automata, Algebraic Tree Systems, and Algebraic Tree Series.
Inf. Comput. 165(1): 69-99 (2001) |
2000 |
41 | | Werner Kuich:
Forty Years of Formal Power Series in Automata Theory.
A Half-Century of Automata Theory 2000: 49-71 |
40 | EE | Werner Kuich:
Formal Series over Algebras.
MFCS 2000: 488-496 |
39 | | Zoltán Ésik,
Werner Kuich:
A Kleene Theorem for Lindenmayerian Algebraic Power Series.
Journal of Automata, Languages and Combinatorics 5(2): 109-122 (2000) |
1999 |
38 | | Werner Kuich:
Full Abstract Families of Tree Series I.
Jewels are Forever 1999: 145-156 |
37 | EE | Werner Kuich:
Tree Transducers and Formal Tree Series.
Acta Cybern. 14(1): 135-164 (1999) |
1998 |
36 | EE | Werner Kuich:
Gaußian Elimination and a Characterization of Algebraic Power Series.
MFCS 1998: 512-521 |
1997 |
35 | | Werner Kuich:
Semirings: A basis for a mathematical automata and language theory.
Developments in Language Theory 1997: 49-60 |
34 | | Werner Kuich:
Formal Power Series over Trees.
Developments in Language Theory 1997: 61-101 |
33 | EE | Georg Karner,
Werner Kuich:
On Abstract Families of Languages, Power Series, and Elements.
Foundations of Computer Science: Potential - Theory - Cognition 1997: 117-124 |
32 | | Georg Karner,
Werner Kuich:
A Characterization of Abstract Families of Algebraic Power Series.
MFCS 1997: 327-336 |
31 | | Werner Kuich:
Generalized Lindenmayerian Algebraic Systems.
New Trends in Formal Languages 1997: 412-421 |
30 | EE | Juha Honkala,
Werner Kuich:
On Lindenmayerian Algebraic Power Series.
Theor. Comput. Sci. 183(1): 113-142 (1997) |
1996 |
29 | | Juha Honkala,
Werner Kuich:
On a Power Series Generalization of ETOL Languages.
Fundam. Inform. 25(3): 257-270 (1996) |
1995 |
28 | | Werner Kuich:
The Algebraic Equivalent of AFL Theory.
ICALP 1995: 39-50 |
27 | EE | Werner Kuich:
Representations and Complete Semiring Morphisms.
Inf. Process. Lett. 56(6): 293-298 (1995) |
26 | EE | Juha Honkala,
Werner Kuich:
On Four Classes of Lindenmayerian Power Series.
J. UCS 1(2): 131-135 (1995) |
1994 |
25 | | Werner Kuich:
On the Multiplicity Equivalence Problem for Context-free Grammars.
Results and Trends in Theoretical Computer Science 1994: 232-250 |
1993 |
24 | | Werner Kuich:
Lindenmayer Systems Generalized to Formal Power Series and Their Growth Functions.
Developments in Language Theory 1993: 171-178 |
1992 |
23 | | Werner Kuich:
Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings
Springer 1992 |
1991 |
22 | | Werner Kuich:
Automata and Languages Generalized to omega-Continuous Semirings.
Theor. Comput. Sci. 79(1): 137-150 (1991) |
1990 |
21 | | Werner Kuich:
Omega-Continuous Semirings, Algebraich Systems and Pushdown Automata.
ICALP 1990: 103-110 |
1988 |
20 | | Werner Kuich:
Matrix Systems and Principal Cones of Algebraic Power Series.
Theor. Comput. Sci. 57: 147-152 (1988) |
1987 |
19 | | Werner Kuich:
The Kleene and the Parikh Theorem in Complete Semirings.
ICALP 1987: 212-225 |
18 | | Werner Kuich:
Unampiguous automata.
Bulletin of the EATCS 33: 62-66 (1987) |
17 | | Werner Kuich:
Hauptkegel algebraischer Potenzreihen.
Elektronische Informationsverarbeitung und Kybernetik 23(4/5): 147-170 (1987) |
1986 |
16 | | Werner Kuich,
Arto Salomaa:
Semirings, Automata, Languages
Springer 1986 |
15 | | Werner Kuich:
Matrix Systems and Principal Cones of Algebraic Power Series.
MFCS 1986: 512-517 |
1984 |
14 | | W. Herfort,
Werner Kuich:
Semitopological Semirings and Pushdown Automata.
Mathematical Systems Theory 17(4): 279-291 (1984) |
1983 |
13 | | Werner Kuich,
Friedrich J. Urbanek:
Infinite Linear Systems and one Counter Languages.
Theor. Comput. Sci. 22: 95-126 (1983) |
1982 |
12 | | Werner Kuich:
An Algebraic Characterization of Some Principal Regulated Rational Cones.
J. Comput. Syst. Sci. 25(3): 377-401 (1982) |
1981 |
11 | | Werner Kuich:
Cycle-Free N-Algebraic Systems.
Theoretical Computer Science 1981: 5-12 |
10 | | Werner Kuich:
The Characterization of Parallel Ultralinear Grammars by Rational Power Series.
Acta Inf. 15: 129-139 (1981) |
9 | | Werner Kuich:
Zur Theorie algebraischer Systeme.
Elektronische Informationsverarbeitung und Kybernetik 17(1): 3-14 (1981) |
8 | | Gerd Baron,
Werner Kuich:
The Characterization of Nonexpansive Grammars by Rational Power Series
Information and Control 48(2): 109-118 (1981) |
1980 |
7 | | Werner Kuich:
Generating Functions for Derivation Trees
Information and Control 45(2): 199-216 (1980) |
1979 |
6 | | Werner Kuich,
Helmut Prodinger,
Friedrich J. Urbanek:
On the Height of Derivation Trees.
ICALP 1979: 370-384 |
1976 |
5 | | Werner Kuich:
The Structure Generating Function of Some Families of Languages
Information and Control 32(1): 85-92 (1976) |
1971 |
4 | | Werner Kuich,
Hermann A. Maurer:
The Structure Generating Function and Entropy of Tuple Languages
Information and Control 19(3): 195-203 (1971) |
3 | | Werner Kuich:
The Complexity of Skewlinear Tuple Languages and o-Regular Languages
Information and Control 19(4): 353-367 (1971) |
1970 |
2 | | Werner Kuich:
Systems of Pushdown Acceptors and Context-free Grammars.
Elektronische Informationsverarbeitung und Kybernetik 6(2): 95-113 (1970) |
1 | | Werner Kuich:
On the Entropy of Context-Free Languages
Information and Control 16(2): 173-20 (1970) |