2008 | ||
---|---|---|
140 | EE | Zoltán Ésik, Szabolcs Iván: Games for Temporal Logics on Trees. CIAA 2008: 191-200 |
139 | EE | Zoltán Ésik: Iteration Semirings. Developments in Language Theory 2008: 1-20 |
138 | EE | Zoltán Ésik, Szabolcs Iván: Products of Tree Automata with an Application to Temporal Logic. Fundam. Inform. 82(1-2): 61-78 (2008) |
137 | EE | Zoltán Ésik, Szabolcs Iván: Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics. Fundam. Inform. 82(1-2): 79-103 (2008) |
136 | EE | Stephen L. Bloom, Zoltán Ésik, Werner Kuich: Partial Conway and Iteration Semirings. Fundam. Inform. 86(1-2): 19-40 (2008) |
2007 | ||
135 | Erzsébet Csuhaj-Varjú, Zoltán Ésik: Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings Springer 2007 | |
134 | EE | Zoltán Ésik, Szabolcs Iván: Aperiodicity in Tree Automata. CAI 2007: 189-207 |
133 | EE | Stephen L. Bloom, Zoltán Ésik: Regular and Algebraic Words and Ordinals. CALCO 2007: 1-15 |
132 | Zoltán Ésik, Gabriela Martín: An Algebraic Characterization of Wolper's Logic. FCS 2007: 139-143 | |
131 | EE | Zoltán Ésik, Pascal Weil: Algebraic characterization of logically defined tree languages CoRR abs/0709.2962: (2007) |
130 | EE | Stephen L. Bloom, Zoltán Ésik: Axiomatizing rational power series CoRR abs/0712.1337: (2007) |
129 | EE | Stephen L. Bloom, Zoltán Ésik, Werner Kuich: Partial Conway and iteration semirings CoRR abs/0712.2952: (2007) |
128 | EE | Zoltán Ésik, Guangwu Liu: Fuzzy tree automata. Fuzzy Sets and Systems 158(13): 1450-1460 (2007) |
127 | EE | Zoltán Ésik, Werner Kuich: Boolean Fuzzy Sets. Int. J. Found. Comput. Sci. 18(6): 1197-1207 (2007) |
126 | 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 | ||
125 | Zoltán Ésik, Carlos Martín-Vide, Victor Mitrana: Recent Advances in Formal Languages and Applications Springer 2006 | |
124 | Zoltán Ésik: Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings Springer 2006 | |
123 | EE | Stephen L. Bloom, Zoltán Ésik: Completing Categorical Algebras. IFIP TCS 2006: 231-249 |
122 | EE | Zoltán Ésik, Pascal Weil: Algebraic recognizability of regular tree languages CoRR abs/cs/0609113: (2006) |
121 | EE | Zoltán Ésik: Cascade Products and Temporal Logics on Finite Trees. Electr. Notes Theor. Comput. Sci. 162: 163-166 (2006) |
120 | EE | Alberto Bertoni, Zoltán Ésik, Juhani Karhumäki: Preface. Theor. Comput. Sci. 356(1-2): 1-5 (2006) |
119 | EE | Zoltán Ésik: Characterizing CTL-like logics on finite trees. Theor. Comput. Sci. 356(1-2): 136-152 (2006) |
118 | EE | Zoltán Ésik: Preface. Theor. Comput. Sci. 366(3): 181 (2006) |
2005 | ||
117 | EE | Zoltán Ésik, Hans Leiß: Algebraically complete semirings and Greibach normal form. Ann. Pure Appl. Logic 133(1-3): 173-203 (2005) |
116 | EE | Stephen L. Bloom, Zoltán Ésik: The equational theory of regular words. Inf. Comput. 197(1-2): 55-89 (2005) |
115 | 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) | |
114 | 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) | |
113 | EE | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik: Guest editors' foreword: Process Algebra. Theor. Comput. Sci. 335(2-3): 127-129 (2005) |
112 | EE | Zoltán Ésik, Pascal Weil: Algebraic recognizability of regular tree languages. Theor. Comput. Sci. 340(1): 291-321 (2005) |
2004 | ||
111 | EE | Zoltán Ésik, Werner Kuich: An Algebraic Generalization of omega-Regular Languages. MFCS 2004: 648-659 |
110 | EE | Zoltán Ésik, Werner Kuich: A Semiring-Semimodule Generalization of omega-Context-Free Languages. Theory Is Forever 2004: 68-80 |
109 | Zoltán Ésik, Zoltán L. Németh: Higher Dimensional Automata. Journal of Automata, Languages and Combinatorics 9(1): 3-29 (2004) | |
108 | EE | Zoltán Ésik, Werner Kuich: Inductive star-semirings. Theor. Comput. Sci. 324(1): 3-33 (2004) |
107 | EE | Zoltán Ésik, Zoltán Fülöp: Foreword. Theor. Comput. Sci. 327(3): 223-224 (2004) |
2003 | ||
106 | Zoltán Ésik, Zoltán Fülöp: Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings Springer 2003 | |
105 | EE | Zoltán Ésik, Pascal Weil: On Logically Defined Recognizable Tree Languages. FSTTCS 2003: 195-207 |
104 | EE | Stephen L. Bloom, Zoltán Ésik: Axioms for Regular Words: Extended Abstract. FSTTCS 2003: 50-61 |
103 | EE | Zoltán Ésik, Masami Ito: Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata. Acta Cybern. 16(1): 1-28 (2003) |
102 | EE | Janusz A. Brzozowski, Zoltán Ésik: Hazard Algebras. Formal Methods in System Design 23(3): 223-256 (2003) |
101 | EE | Stephen L. Bloom, Zoltán Ésik: Deciding whether the frontier of a regular tree is scattered. Fundam. Inform. 55(1): 1-21 (2003) |
100 | EE | Zoltán Ésik, Kim Guldstrand Larsen: Regular languages definable by Lindström quantifiers. ITA 37(3): 179-241 (2003) |
99 | Zoltán Ésik, Anna Ingólfsdóttir: Foreword. ITA 37(4): 272 (2003) | |
98 | Stephen L. Bloom, Zoltán Ésik: An Extension Theorem with an Application to Formal Tree Series. Journal of Automata, Languages and Combinatorics 8(2): 145-185 (2003) | |
97 | Zoltán Ésik, Werner Kuich: Formal Tree Series. Journal of Automata, Languages and Combinatorics 8(2): 219-285 (2003) | |
96 | EE | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Equational theories of tropical semirings. Theor. Comput. Sci. 3(298): 417-469 (2003) |
2002 | ||
95 | Zoltán Ésik, Anna Ingólfsdóttir: Fixed Points in Computer Science, FICS 2002, Copenhagen, Denmark, 20-21 July 2002, Preliminary Proceedings University of Aarhus 2002 | |
94 | EE | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Equational Axioms for Probabilistic Bisimilarity. AMAST 2002: 239-253 |
93 | EE | Zoltán Ésik, Hans Leiß: Greibach Normal Form in Algebraically Complete Semirings. CSL 2002: 135-150 |
92 | EE | Zoltán Ésik: Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators. Developments in Language Theory 2002: 43-58 |
91 | EE | Stephen L. Bloom, Zoltán Ésik: Unique, guarded fixed points in an additive setting: Extended Abstract. Electr. Notes Theor. Comput. Sci. 69: (2002) |
90 | EE | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: A Fully Equational Proof of Parikh's Theorem. ITA 36(2): 129-153 (2002) |
89 | EE | Zoltán Ésik: Continuous Additive Algebras and Injective Simulations of Synchronization Trees. J. Log. Comput. 12(2): 271-300 (2002) |
88 | EE | Zoltán Ésik, Werner Kuich: Rationally Additive Semirings. J. UCS 8(2): 173-183 (2002) |
87 | EE | Zoltán Ésik: Axiomatizing the subsumption and subword preorders on finite and infinite partial words. Theor. Comput. Sci. 273(1-2): 225-248 (2002) |
2001 | ||
86 | EE | Zoltán Ésik: The Equational Theory of Fixed Points with Applications to Generalized Language Theory. Developments in Language Theory 2001: 21-36 |
85 | EE | Zoltán Ésik, Zoltán L. Németh: Automata on Series-Parallel Biposets. Developments in Language Theory 2001: 217-227 |
84 | EE | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: Axiomatizing Tropical Semirings. FoSSaCS 2001: 42-56 |
83 | Janusz A. Brzozowski, Zoltán Ésik, Y. Iland: Algebras for Hazard Detection. ISMVL 2001: 3- | |
82 | 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 | |
81 | EE | Stephen L. Bloom, Zoltán Ésik, Anna Labella, Ernest G. Manes: Iteration 2-theories. Applied Categorical Structures 9(2): 173-216 (2001) |
80 | Sinisa Crvenkovic, Igor Dolinka, Zoltán Ésik: On Equations for Union-Free Regular Languages. Inf. Comput. 164(1): 152-172 (2001) | |
79 | Pál Dömösi, Zoltán Ésik: Homomorphic Simulation and Letichevsky's Criterion. Journal of Automata, Languages and Combinatorics 6(4): 427-436 (2001) | |
2000 | ||
78 | Janusz A. Brzozowski, Zoltán Ésik: Hazard Algebras (Extended Abstract). A Half-Century of Automata Theory 2000: 1-19 | |
77 | EE | Zoltán Ésik: Axiomatizing the Least Fixed Point Operation and Binary Supremum. CSL 2000: 302-316 |
76 | Stephen L. Bloom, Zoltán Ésik: Iteration Algebras Are Not Finitely Axiomatizable. Extended Abstract. LATIN 2000: 367-376 | |
75 | EE | Zoltán Ésik: Iteration Theories of Boolean Functions. MFCS 2000: 343-352 |
74 | EE | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir: On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers. STACS 2000: 267-278 |
73 | EE | Zoltán Ésik: The Power of the Group-Identities for Iteration. IJAC 10(3): 349-374 (2000) |
72 | Zoltán Ésik, Werner Kuich: A Kleene Theorem for Lindenmayerian Algebraic Power Series. Journal of Automata, Languages and Combinatorics 5(2): 109-122 (2000) | |
71 | EE | Sinisa Crvenkovic, Igor Dolinka, Zoltán Ésik: The Variety of Kleene Algebras with Conversion is not Finitely Based. Theor. Comput. Sci. 230(1-2): 235-245 (2000) |
70 | EE | Zoltán Ésik: A proof of the Krohn-Rhodes Decomposition Theorem. Theor. Comput. Sci. 234(1-2): 287-300 (2000) |
1999 | ||
69 | EE | Zoltán Ésik, Satoshi Okawa: Series and Parallel Operations on Pomsets. FSTTCS 1999: 316-328 |
68 | EE | Zoltán Ésik: Axiomatizing Iteration Categories. Acta Cybern. 14(1): 65-82 (1999) |
67 | Zoltán Ésik: Group Axioms for Iteration. Inf. Comput. 148(2): 131-180 (1999) | |
66 | EE | Sinisa Crvenkovic, Igor Dolinka, Zoltán Ésik: A Note on Equations for Commutative Regular Languages. Inf. Process. Lett. 70(6): 265-267 (1999) |
1998 | ||
65 | Zoltán Ésik: Axiomatizing the Equational Theory of Regular Tree Languages (Extended Anstract). STACS 1998: 455-465 | |
64 | EE | Zoltán Ésik, Michael Bertol: Nonfinite Axiomatizability of the Equational Theory of Shuffle. Acta Inf. 35(6): 505-539 (1998) |
63 | L. Bernátsky, Zoltán Ésik: Semantics on Flowchart Programs and the Free Conway Theories. ITA 32(1-3): 35-78 (1998) | |
62 | EE | Zoltán Ésik, Anna Labella: Equational Properties of Iteration in Algebraically Complete Categories. Theor. Comput. Sci. 195(1): 61-89 (1998) |
1997 | ||
61 | Stephen L. Bloom, Anna Labella, Zoltán Ésik, Ernest G. Manes: Iteration 2-Theories: Extended Abstract. AMAST 1997: 30-44 | |
60 | Stephen L. Bloom, Zoltán Ésik: Axiomatizing Shuffle and Concatenation in Languages. Inf. Comput. 139(1): 62-91 (1997) | |
59 | Stephen L. Bloom, Zoltán Ésik: Varieties Generated by Languages with Poset Operations. Mathematical Structures in Computer Science 7(6): 701-713 (1997) | |
58 | EE | Zoltán Ésik: Completeness of Park Induction. Theor. Comput. Sci. 177(1): 217-283 (1997) |
57 | EE | Stephen L. Bloom, Zoltán Ésik: The Equational Logic of Fixed Points (Tutorial). Theor. Comput. Sci. 179(1-2): 1-60 (1997) |
1996 | ||
56 | Zoltán Ésik, Anna Labella: Equational Properties of Iteration in Algebraically Complete Categories. MFCS 1996: 336-347 | |
55 | Stephen L. Bloom, Zoltán Ésik: Two Axiomatizations of a Star Semiring Quasi-Variety. Bulletin of the EATCS 59: (1996) | |
54 | EE | Stephen L. Bloom, Zoltán Ésik: Fixed-Point Operations on ccc's. Part I. Theor. Comput. Sci. 155(1): 1-38 (1996) |
53 | EE | Stephen L. Bloom, Zoltán Ésik: Free Shuffle Algebras in Language Varieties. Theor. Comput. Sci. 163(1&2): 55-98 (1996) |
1995 | ||
52 | Zoltán Ésik, Michael Bertol: Nonfinite Axiomatizability of the Equational Theory of Shuffle. ICALP 1995: 27-38 | |
51 | Stephen L. Bloom, Zoltán Ésik: Free Shuffle Algebras in Language Varieties (Extended Abstract). LATIN 1995: 99-111 | |
50 | Stephen L. Bloom, Zoltán Ésik: Nonfinite Axiomatizability of Shuffle Inequalities. TAPSOFT 1995: 318-333 | |
49 | EE | Zoltán Ésik, L. Bernátsky: Scott induction and equational proofs. Electr. Notes Theor. Comput. Sci. 1: (1995) |
48 | Stephen L. Bloom, Zoltán Ésik: Some Equational Laws of Initiality in 2CCC's. Int. J. Found. Comput. Sci. 6(2): 95-118 (1995) | |
47 | EE | Zoltán Ésik, L. Bernátsky: Equational Properties of Kleene Algebras of Relations with Conversion. Theor. Comput. Sci. 137(2): 237-251 (1995) |
1994 | ||
46 | Stephen L. Bloom, Zoltán Ésik: Solving Polynomial Fixed Point Equations. MFCS 1994: 52-67 | |
1993 | ||
45 | Zoltán Ésik: Fundamentals of Computation Theory, 9th International Symposium, FCT '93, Szeged, Hungary, August 23-27, 1993, Proceedings Springer 1993 | |
44 | Stephen L. Bloom, Zoltán Ésik: Some Quasi-Varieties of Iteration Theories. MFPS 1993: 378-409 | |
43 | Stephen L. Bloom, Zoltán Ésik, Dirk Taubner: Iteration Theories of Synchronization Trees Inf. Comput. 102(1): 1-55 (1993) | |
42 | Stephen L. Bloom, Zoltán Ésik: Erratum: Iteration Algebras. Int. J. Found. Comput. Sci. 4(1): 99 (1993) | |
41 | Stephen L. Bloom, Zoltán Ésik: Matrix and Matricial Iteration Theories, Part I. J. Comput. Syst. Sci. 46(3): 381-408 (1993) | |
40 | Stephen L. Bloom, Zoltán Ésik: Matrix and Matricial Iteration Theories, Part II. J. Comput. Syst. Sci. 46(3): 409-439 (1993) | |
39 | Stephen L. Bloom, Zoltán Ésik: Equational Axioms for Regular Sets. Mathematical Structures in Computer Science 3(1): 1-24 (1993) | |
1992 | ||
38 | Stephen L. Bloom, Zoltán Ésik: Iteration Algebras. Int. J. Found. Comput. Sci. 3(3): 245-302 (1992) | |
1991 | ||
37 | Stephen L. Bloom, Zoltán Ésik: Program Correctness and Matricial Iteration Theories. MFPS 1991: 457-476 | |
36 | Stephen L. Bloom, Zoltán Ésik: Iteration Algebras (Extended Abstract). TAPSOFT, Vol.1 1991: 264-274 | |
35 | Stephen L. Bloom, Zoltán Ésik: Cayley iff Stone. Bulletin of the EATCS 43: 159-161 (1991) | |
34 | EE | Zoltán Ésik: A note on isomorphic simulation of automata by networks of two-state automata. Discrete Applied Mathematics 30(1): 77-82 (1991) |
33 | EE | Stephen L. Bloom, Zoltán Ésik: Floyd-Hoare Logic in Iteration Theories. J. ACM 38(4): 887-934 (1991) |
32 | Zoltán Ésik: Results on Homomorphic Realization of Automata by alpha_0-Products. Theor. Comput. Sci. 87(2): 229-249 (1991) | |
1990 | ||
31 | Pál Dömösi, Zoltán Ésik: Product hierarchies of automata and homomorphic simulation. Acta Cybern. 9(4): 371-373 (1990) | |
30 | Zoltán Ésik: A note on the axiomatization of iteration theories. Acta Cybern. 9(4): 375-384 (1990) | |
1989 | ||
29 | Pál Dömösi, Zoltán Ésik, Balázs Imreh: On Product Hierarchies of Automata. FCT 1989: 137-144 | |
28 | Stephen L. Bloom, Zoltán Ésik: Equational Logic of Circular Data Type Specification. Theor. Comput. Sci. 63(3): 303-331 (1989) | |
1988 | ||
27 | Zoltán Ésik: An Extension of the Krohn-Rhodes Decomposition of Automata. IMYCS 1988: 66-71 | |
26 | Pál Dömösi, Zoltán Ésik: On the hiearchy of nui-product. Acta Cybern. 8: 253-257 (1988) | |
25 | Pál Dömösi, Zoltán Ésik: On homomorphic simulation of automata by alphai-producst. Acta Cybern. 8: 315-323 (1988) | |
24 | Zoltán Ésik: Independence of the Equational Axioms for Iteration Theories. J. Comput. Syst. Sci. 36(1): 66-76 (1988) | |
23 | Stephen L. Bloom, Zoltán Ésik: Varieties of Iteration Theories. SIAM J. Comput. 17(5): 939-966 (1988) | |
22 | Pál Dömösi, Zoltán Ésik: Critical Classes for the alpha_0-Product. Theor. Comput. Sci. 61: 17-24 (1988) | |
1987 | ||
21 | Zoltán Ésik: On isomorphic realization of automata with alphai-products. Acta Cybern. 8: 119-127 (1987) | |
20 | Zoltán Ésik, J. Virágh: A note on alpha0* - products of aperiodic automata. Acta Cybern. 8: 41-43 (1987) | |
19 | Zoltán Ésik: Loop products and loop-free products. Acta Cybern. 8: 45-48 (1987) | |
18 | Zoltán Ésik, Ferenc Gécseg: On a Representation of Tree Automata. Theor. Comput. Sci. 53: 243-255 (1987) | |
1986 | ||
17 | Zoltán Ésik, Pál Dömösi, Ferenc Gécseg, J. Virágh: Homomorphic Realizations of Automata with Compositions. MFCS 1986: 299-307 | |
16 | Zoltán Ésik: Varieties and general products of top-down algebras. Acta Cybern. 7(3): 293-298 (1986) | |
15 | Zoltán Ésik, J. Virágh: On products of automata with identity. Acta Cybern. 7(3): 299-311 (1986) | |
14 | Zoltán Ésik, Pál Dömösi: Complete Classes of Automata for the alpha-0-Product. Theor. Comput. Sci. 47(3): 1-14 (1986) | |
13 | Zoltán Ésik, Ferenc Gécseg: On alpha-0-Products and alpha-2-Products. Theor. Comput. Sci. 48(3): 1-8 (1986) | |
1985 | ||
12 | Zoltán Ésik: On the weak equivalence of Elgot's flow-chart schemata. Acta Cybern. 7(2): 147-154 (1985) | |
11 | Stephen L. Bloom, Zoltán Ésik: Axiomatizing Schemes and Their Behaviors. J. Comput. Syst. Sci. 31(3): 375-393 (1985) | |
1984 | ||
10 | Zoltán Ésik, Ferenc Gécseg: General products and equational classes of automata. Acta Cybern. 6: 281-284 (1984) | |
9 | Zoltán Ésik: Decidability results concerning tree transducers II. Acta Cybern. 6: 303-314 (1984) | |
8 | Stephen L. Bloom, Zoltán Ésik: Some varieties of iteration theories. Bulletin of the EATCS 24: 53-65 (1984) | |
1983 | ||
7 | Zoltán Ésik: Algebras of Iteration Theories. J. Comput. Syst. Sci. 27(2): 291-303 (1983) | |
1981 | ||
6 | Zoltán Ésik: An Axiomatization of Regular Forests in the Language of Algebraic Theories with Iteration. FCT 1981: 130-136 | |
5 | Zoltán Ésik: Decidability results concerning tree transducers I. Acta Cybern. 5: 1-20 (1981) | |
4 | Zoltán Ésik, Balázs Imreh: Remarks on finite commutative automat. Acta Cybern. 5: 143-146 (1981) | |
3 | Zoltán Ésik, Balázs Imreh: Subdirectly irreducible commutative automata. Acta Cybern. 5: 251-260 (1981) | |
1979 | ||
2 | Zoltán Ésik: On functional tree transducers. FCT 1979: 121-127 | |
1976 | ||
1 | Zoltán Ésik: On two problems of A. Salomaa. Acta Cybern. 2: 299-306 (1976) |