Zoltán Ésik Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Luca Aceto [74] [84] [90] [94] [96] [115]
2L. Bernátsky [47] [49] [63]
3Michael Bertol [52] [64]
4Alberto Bertoni [123]
5Stephen L. Bloom [8] [11] [23] [28] [33] [35] [36] [37] [38] [39] [40] [41] [42] [43] [44] [46] [48] [50] [51] [53] [54] [55] [57] [59] [60] [61] [76] [81] [91] [98] [101] [104] [111] [118] [127] [133] [134] [137] [140] [146] [147] [150] [153] [154]
6Janusz A. Brzozowski [78] [83] [102]
7Sinisa Crvenkovic [66] [71] [80]
8Erzsébet Csuhaj-Varjú [139] [152]
9Igor Dolinka [66] [71] [80]
10Pál Dömösi [14] [17] [22] [25] [26] [29] [31] [79]
11Wan Fokkink [115]
12Zoltán Fülöp [106] [107] [151]
13Yuan Gao [145]
14Ferenc Gécseg [10] [13] [17] [18]
15T. Hajgató [149]
16Y. Iland [83]
17Balázs Imreh [3] [4] [29]
18Anna Ingólfsdóttir [74] [84] [90] [94] [95] [96] [99] [115]
19Masami Ito [103]
20Szabolcs Iván [138] [141] [142] [144] [148]
21Juhani Karhumäki [123]
22Werner Kuich [72] [82] [88] [97] [108] [112] [113] [116] [117] [130] [131] [133] [140] [150]
23Anna Labella [56] [61] [62] [81]
24Kim Guldstrand Larsen (Kim G. Larsen) [100]
25Hans Leiß [93] [120]
26Guangwu Liu [132] [145]
27Ernest G. Manes [61] [81]
28Gabriela Martín [136]
29Carlos Martín-Vide [129]
30Victor Mitrana [129]
31Zoltán L. Németh [85] [109] [119]
32Satoshi Okawa [69]
33Dirk Taubner [43]
34J. Virágh [15] [17] [20]
35Igor Walukiewicz [110]
36Pascal Weil [105] [114] [125] [135]
37Sheng Yu [145]

Colors in the list of coauthors

Copyright © Mon Mar 15 21:39:48 2010 by Michael Ley (ley@uni-trier.de)