Edit Profile (opens in new tab) Ésik, Zoltán Compute Distance To: Compute Author ID: esik.zoltan Published as: Ésik, Zoltán; Ésik, Z.; Ésik, Zoltan; Esik, Zoltan; Esik, Z.; Ések, Zoltán; Esik, Zoltán; Ésik, Z Homepage: http://www.inf.u-szeged.hu/~ze/ External Links: Wikidata · dblp · GND · IdRef Documents Indexed: 221 Publications since 1973, including 4 Books 20 Contributions as Editor Biographic References: 4 Publications Co-Authors: 51 Co-Authors with 168 Joint Publications 1,376 Co-Co-Authors all top 5 Co-Authors 72 single-authored 37 Bloom, Stephen L. 26 Kuich, Werner 14 Iván, Szabolcs 12 Dömösi, Pál 9 Ingólfsdóttir, Anna 8 Aceto, Luca 6 Gécseg, Ferenc 5 Csuhaj-Varjú, Erzsébet 5 Fahrenberg, Uli 5 Legay, Axel 4 Carayol, Arnaud 4 Fülöp, Zoltán 4 Hajgató, Tamás 4 Labella, Anna 4 Virágh, János 3 Bernatsky, Laszlo 3 Brzozowski, Janusz Antoni 3 Crvenković, Siniša 3 Dolinka, Igor 3 Droste, Manfred 3 Imreh, Balázs 3 Ito, Masami 3 Manes, Ernest G. 3 Németh, Zoltán L. 3 Okawa, Satoshi 3 Quaas, Karin 3 Rondogiannis, Panos 3 Weil, Pascal 2 Bertol, Michael W. 2 Dietzfelbinger, Martin 2 Horvath, Gyula 2 Leiß, Hans 2 Liu, Guangwu 2 Maletti, Andreas 2 Ştefănescu, Gheorghe 1 Almeida, Jorge 1 Charalambidis, Angelos 1 Choffrut, Christian 1 Fokkink, Willem Jan 1 Gao, Yuan 1 Iland, Yaacov 1 Katsura, Masashi 1 Kozen, Dexter C. 1 Larsen, Kim Guldstrand 1 Martín-Vide, Carlos 1 Mitrana, Victor 1 Pin, Jean-Eric 1 Simon, Imre 1 Sutner, Klaus 1 Taubner, Dirk 1 Yu, Sheng all top 5 Serials 30 Theoretical Computer Science 24 Acta Cybernetica 11 International Journal of Foundations of Computer Science 9 Journal of Automata, Languages and Combinatorics 6 Information and Computation 6 RAIRO. Theoretical Informatics and Applications 6 Fundamenta Informaticae 6 Lecture Notes in Computer Science 5 Journal of Computer and System Sciences 5 International Journal of Algebra and Computation 5 MSCS. Mathematical Structures in Computer Science 4 Publicationes Mathematicae 3 Information Processing Letters 2 Acta Scientiarum Mathematicarum 2 Algebra Universalis 2 Computational Linguistics and Computer Languages 2 Semigroup Forum 2 Acta Mathematica Hungarica 2 Bulletin of the European Association for Theoretical Computer Science (EATCS) 2 Journal of Logic and Computation 2 The Journal of Logic and Algebraic Programming 2 Electronic Proceedings in Theoretical Computer Science (EPTCS) 1 Acta Informatica 1 American Mathematical Monthly 1 Discrete Applied Mathematics 1 Periodica Mathematica Hungarica 1 Foundations of Control Engineering 1 Fuzzy Sets and Systems 1 Journal of the Association for Computing Machinery 1 Monatshefte für Mathematik 1 SIAM Journal on Computing 1 Annales Societatis Mathematicae Polonae. Series IV 1 Annals of Pure and Applied Logic 1 Alkalmazott Matematikai Lapok. A Magyar Tudomanyos Akademia. Matematikai es Fizikai Tudomanyok Osztalyanak Közlemenyei 1 Formal Methods in System Design 1 Applied Categorical Structures 1 Algebra Colloquium 1 RIMS Kokyuroku 1 Journal of Universal Computer Science 1 Theory and Practice of Logic Programming 1 Studies in Computational Intelligence 1 Logical Methods in Computer Science 1 Journal of Logical and Algebraic Methods in Programming 1 EATCS Monographs on Theoretical Computer Science all top 5 Fields 225 Computer science (68-XX) 58 General algebraic systems (08-XX) 46 Mathematical logic and foundations (03-XX) 35 Category theory; homological algebra (18-XX) 33 Associative rings and algebras (16-XX) 20 Order, lattices, ordered algebraic structures (06-XX) 19 General and overarching topics; collections (00-XX) 10 Group theory and generalizations (20-XX) 5 Combinatorics (05-XX) 4 Information and communication theory, circuits (94-XX) 1 History and biography (01-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 172 Publications have been cited 1,037 times in 465 Documents Cited by ▼ Year ▼ Iteration theories. The equational logic of iterative processes. Zbl 0773.03033Bloom, Stephen; Ésik, Zoltán 58 1993 Equational axioms for regular sets. Zbl 0796.68153Bloom, S. L.; Ésik, Z. 43 1993 Group axioms for iteration. Zbl 0924.68143Ésik, Z. 30 1999 Formal tree series. Zbl 1089.68054Ésik, Zoltán; Kuich, Werner 29 2003 Matrix and matricial iteration theories. I. Zbl 0791.08006Bloom, Stephen L.; Ésik, Zoltán 28 1993 Identities in iterative and rational algebraic theories. Zbl 0466.68010Esik, Zoltan 24 1980 Free shuffle algebras in language varieties. Zbl 0874.68171Bloom, Stephen L.; Ésik, Zoltán 21 1996 Completeness of Park induction. Zbl 0901.68107Ésik, Z. 19 1997 Estimation of state complexity of combined operations. Zbl 1173.68032Ésik, Zoltán; Gao, Yuan; Liu, Guangwu; Yu, Sheng 19 2009 A Cayley theorem for Boolean algebras. Zbl 0749.08002Bloom, Stephen L.; Ésik, Zoltán; Manes, Ernest G. 18 1990 Fuzzy tree automata. Zbl 1123.68057Ésik, Zoltán; Liu, Guangwu 17 2007 The equational logic of fixed points. Zbl 0920.03067Bloom, Stephen L.; Ésik, Zoltán 16 1997 A Cayley theorem for ternary algebras. Zbl 0939.06009Ésik, Z. 15 1998 Inductive \(^{*}\)-semirings. Zbl 1105.68062Ésik, Zoltán; Kuich, Werner 15 2004 Decidability results concerning tree transducers. I. Zbl 0456.68098Esik, Z. 13 1980 The equational theory of regular words. Zbl 1083.68072Bloom, Stephen L.; Ésik, Zoltán 13 2005 Equational properties of Kleene algebras of relations with conversion. Zbl 0872.08004Ésik, Z.; Bernátsky, L. 13 1995 Equational properties of iteration in algebraically complete categories. Zbl 0903.18003Ésik, Z.; Labella, A. 13 1998 Equational axioms for probabilistic bisimilarity. Zbl 1275.68099Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 13 2002 Axiomatizing schemes and their behaviors. Zbl 0613.68013Bloom, Stephen L.; Esik, Zoltán 12 1985 Iteration theories of synchronization trees. Zbl 0780.68088Bloom, Stephen L.; Ésik, Zoltán; Taubner, Dirk 12 1993 Axiomatizing rational power series over natural numbers. Zbl 1167.68036Bloom, S. L.; Ésik, Z. 11 2009 A semiring-semimodule generalization of \(\omega\)-regular languages. Zbl 1161.68025Ésik, Zoltán; Kuich, Werner 11 2005 On iteration semiring-semimodule pairs. Zbl 1155.16035Ésik, Z.; Kuich, W. 11 2007 Notes on equational theories of relations. Zbl 0834.08004Bloom, S. L.; Ésik, Z.; Stefanescu, Gh. 10 1995 Partial Conway and iteration semirings. Zbl 1167.08002Bloom, Stephen L.; Ésik, Zoltan; Kuich, Werner 10 2008 A semiring-semimodule generalization of \(\omega\)-regular languages II\(^1\). Zbl 1161.68524Ésik, Zoltán; Kuich, Werner 10 2005 Independence of the equational axioms for iteration theories. Zbl 0649.68010Ésik, Z. 10 1988 The variety of Kleene algebras with conversion is not finitely based. Zbl 0954.08004Crvenković, S.; Dolinka, I.; Ésik, Z. 9 2000 Floyd-Hoare logic in iteration theories. Zbl 0799.68042Bloom, Stephen L.; Ésik, Zoltán 9 1991 Iteration 2-theories. Zbl 0981.18005Bloom, S. L.; Ésik, Z.; Labella, A.; Manes, E. G. 9 2001 Algebraic recognizability of regular tree languages. Zbl 1078.68100Ésik, Zoltán; Weil, Pascal 9 2005 Temporal logic with cyclic counting and the degree of aperiodicity of finite automata. Zbl 1027.68074Ésik, Z.; Ito, M. 9 2003 An extension theorem with an application to formal tree series. Zbl 1089.68051Bloom, Stephen L.; Ésik, Zoltán 9 2003 Homomorphically complete classes of automata with respect to the \(\alpha _ 2\)-product. Zbl 0623.68053Ésik, Z. 9 1985 Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos 8 2014 Algebras of iteration theories. Zbl 0532.68011Ésik, Z. 8 1983 Axiomatizing iteration categories. Zbl 0959.68059Ésik, Z. 8 1999 A variety theorem for trees and theories. Zbl 0981.68085Ésik, Z. 8 1999 Higher dimensional automata. Zbl 1102.68059Ésik, Zoltán; Németh, Zoltán L. 8 2004 An undecidable property of context-free linear orders. Zbl 1260.68202Ésik, Z. 8 2011 A unifying Kleene theorem for weighted finite automata. Zbl 1318.68121Ésik, Zoltán; Kuich, Werner 8 2011 On generalized iterative algebraic theories. Zbl 0494.68009Esik, Zoltan 7 1982 Nonfinite axiomatizability of the equational theory of shuffle. Zbl 0903.68114Ésik, Zoltán; Bertol, Michael 7 1998 Free iterative and iteration \(K\)-semialgebras. Zbl 1260.08001Ésik, Z.; Kuich, W. 7 2012 On logically defined recognizable tree languages. Zbl 1196.68149Ésik, Zoltán; Weil, Pascal 7 2003 The category of simulations for weighted tree automata. Zbl 1244.68046Ésik, Zoltán; Maletti, Andreas 7 2011 Boolean fuzzy sets. Zbl 1183.68338Ésik, Zoltán; Kuich, Werner 7 2007 Deciding whether the frontier of a regular tree is scattered. Zbl 1066.68060Bloom, Stephen L.; Ésik, Zoltán 7 2003 Algebraic linear orderings. Zbl 1227.18002Bloom, S. L.; Ésik, Z. 7 2011 Equational logic of circular data type specification. Zbl 0683.68018Bloom, Stephen L.; Esik, Zoltan 6 1989 Complete classes of automata for the \(\alpha _ 0\)-product. Zbl 0619.68053Ésik, Zoltán; Dömösi, Pál 6 1986 Equational axioms for a theory of automata. Zbl 1088.68117Ésik, Zoltán; Kuich, Werner 6 2004 Fixed-point operations on ccc’s. I. Zbl 0874.18006Bloom, Stephen L.; Ésik, Zoltán 6 1996 Axiomatizing shuffle and concatenation in languages. Zbl 0892.68055Bloom, Stephen L.; Ésik, Zoltán 6 1997 Axiomatizing the equational theory of regular tree languages. Zbl 1184.68315Ésik, Z. 6 2010 A note on the axiomatization of iteration theories. Zbl 0725.68068Ésik, Z. 6 1990 Rationally additive semirings. Zbl 1257.16034Ésik, Zoltán; Kuich, Werner 6 2002 On equations for union-free regular languages. Zbl 1005.08001Crvenković, Siniša; Dolinka, Igor; Ésik, Zoltán 6 2001 Varieties of iteration theories. Zbl 0676.68020Bloom, Stephen L.; Esik, Zoltan 5 1988 The \(\alpha_ 2\)-product is homomorphically general. Zbl 0536.68056Ésik, Z.; Horváth, Gy. 5 1983 On the two-variable fragment of the equational theory of the max-sum algebra of the natural numbers. Zbl 0955.08004Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 5 2000 Free algebras for generalized automata and language theory. Zbl 0969.68526Ésik, Z. 5 2000 Axiomatizing the least fixed point operation and binary supremum. Zbl 0973.08003Ésik, Zoltán 5 2000 Equational theories of relations and regular sets. Zbl 0874.08002Bernátsky, L.; Bloom, S. L.; Ésik, Z.; Stefanescu, Gh. 5 1994 Axiomatizing the equational theory of regular tree languages. (Extended abstract). Zbl 0899.08006Ésik, Z. 5 1998 Modeling literal morphisms by shuffle. Zbl 0982.20056Ésik, Z.; Simon, I. 5 1998 Algebraic ordinals. Zbl 1208.68152Bloom, Stephen L.; Ésik, Zoltan 5 2010 Büchi context-free languages. Zbl 1206.68171Ésik, Zoltán; Iván, Szabolcs 5 2011 Algebraic characterization of logically defined tree languages. Zbl 1196.68150Ésik, Zoltán; Weil, Pascal 5 2010 Regular and algebraic words and ordinals. Zbl 1214.68234Bloom, S. L.; Ésik, Z. 5 2007 Continuous additive algebras and injective simulations of synchronization trees. Zbl 1003.06003Ésik, Zoltán 5 2002 Iteration grove theories with applications. Zbl 1256.68123Ésik, Z.; Hajgató, T. 5 2009 A fixed point theorem for non-monotonic functions. Zbl 1318.68066Ésik, Zoltán; Rondogiannis, Panos 5 2015 Equational theories of tropical semirings. Zbl 1021.08002Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 5 2003 A fully equational proof of Parikh’s theorem. Zbl 1024.68070Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 5 2002 Iteration semirings. Zbl 1161.68598Ésik, Zoltán 5 2008 Equational properties of stratified least fixed points (extended abstract). Zbl 1465.68169Ésik, Zoltán 4 2015 A semiring-semimodule generalization of \(\omega\)-context-free languages. Zbl 1055.68067Ésik, Zoltán; Kuich, Werner 4 2004 Some equational laws of initiality 2CCC’s. Zbl 0834.68078Bloom, Stephen L.; Ésik, Zoltán 4 1995 Scott induction and equational proofs. Zbl 0910.68129Ésik, Zoltan; Bernátsky, L. 4 1995 The max-plus algebra of the natural numbers has no finite equational basis. Zbl 1021.08001Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 4 2003 Iteration algebras. Zbl 0790.08004Bloom, Stephen L.; Ésik, Zoltán 4 1992 Axiomatizing the subsumption and subword preorders on finite and infinite partial words. Zbl 0997.68069Ésik, Zoltán 4 2002 Free inductive \(K\)-semialgebras. Zbl 1286.68332Ésik, Z.; Kuich, W. 4 2013 Regular languages definable by Lindström quantifiers. Zbl 1046.20042Ésik, Zoltán; Larsen, Kim G. 4 2003 On products of automata with identity. Zbl 0621.68039Ésik, Z.; Virágh, J. 4 1986 Automata on series-parallel biposets. Zbl 1073.68668Ésik, Z.; Németh, Z. L. 4 2002 Scattered context-free linear orderings. Zbl 1221.68127Ésik, Zoltán 4 2011 Axiomatizing weighted synchronization trees and weighted bisimilarity. Zbl 1359.68219Ésik, Z. 4 2014 Locally closed semirings. Zbl 1015.16052Ésik, Z.; Kuich, W. 3 2002 On the weak equivalence of Elgot’s flow-chart schemata. Zbl 0579.68035Ésik, Z. 3 1985 Remarks on finite commutative automata. Zbl 0487.68045Esik, Z.; Imreh, B. 3 1981 A proof of the Krohn–Rhodes Decomposition Theorem. Zbl 0944.68089Ésik, Z. 3 2000 Series and parallel operations on pomsets. Zbl 0959.08002Ésik, Zoltán; Okawa, Satoshi 3 1999 Iteration algebras are not finitely axiomatizable. (Extended abstract). Zbl 0957.08500Bloom, Stephen L.; Ésik, Zoltán 3 2000 A note on isomorphic simulation of automata by networks of two-state automata. Zbl 0737.05052Ésik, Zoltán 3 1991 Results on homomorphic realization of automata by \(\alpha_ 0\)-products. Zbl 0744.68104Ésik, Zoltán 3 1991 Hazard algebras. Zbl 1073.68883Brzozowski, J.; Ésik, Z. 3 2003 Axiomatizing omega and omega-op powers of words. Zbl 1082.68070Bloom, Stephen L.; Ésik, Zoltán 3 2004 An analysis of the equational properties of the well-founded fixed point. Zbl 1373.06004Carayol, Arnaud; Ésik, Zoltán 2 2017 Solving fixed point equations over complete semirings. Zbl 1395.16050Ésik, Zoltán; Kuich, Werner 1 2017 Equational axioms associated with finite automata for fixed point operations in Cartesian categories. Zbl 1364.68267Ésik, Zoltán 1 2017 Commutative positive varieties of languages. Zbl 1389.68055Almeida, Jorge; Ésik, Zoltán; Pin, Jean-Éric 1 2017 An algebraic approach to energy problems. I: \(^*\)-continuous Kleene \(\omega\)-algebras. Zbl 1389.68056Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin 1 2017 An algebraic approach to energy problems. II: The algebra of energy functions. Zbl 1389.68057Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin 1 2017 A fixed point theorem for non-monotonic functions. Zbl 1318.68066Ésik, Zoltán; Rondogiannis, Panos 5 2015 Equational properties of stratified least fixed points (extended abstract). Zbl 1465.68169Ésik, Zoltán 4 2015 Equational properties of fixed point operations in Cartesian categories: an overview. Zbl 1423.68270Ésik, Zoltán 2 2015 Residuated Park theories. Zbl 1341.68115Ésik, Z. 2 2015 \(^*\)-continuous Kleene \(\omega \)-algebras. Zbl 1434.68309Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel 2 2015 Minimum model semantics for extensional higher-order logic programming with negation. Zbl 1309.68030Charalambidis, Angelos; Ésik, Zoltán; Rondogiannis, Panos 8 2014 Axiomatizing weighted synchronization trees and weighted bisimilarity. Zbl 1359.68219Ésik, Z. 4 2014 Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars. Zbl 1318.68113Ésik, Zoltán; Rondogiannis, Panos 2 2014 Free inductive \(K\)-semialgebras. Zbl 1286.68332Ésik, Z.; Kuich, W. 4 2013 The FC-rank of a context-free language. Zbl 1272.68208Carayol, Arnaud; Ésik, Zoltán 2 2013 Kleene algebras and semimodules for energy problems. Zbl 1318.68105Ésik, Zoltán; Fahrenberg, Uli; Legay, Axel; Quaas, Karin 2 2013 On context-free languages of scattered words. Zbl 1293.68185Ésik, Zoltán; Okawa, Satoshi 1 2013 A connection between concurrency and language theory. Zbl 1334.68116Ésik, Zoltán 1 2013 Free iterative and iteration \(K\)-semialgebras. Zbl 1260.08001Ésik, Z.; Kuich, W. 7 2012 On Müller context-free grammars. Zbl 1232.68079Ésik, Zoltán; Iván, Szabolcs 3 2012 Hausdorff rank of scattered context-free linear orders. Zbl 1318.68106Ésik, Zoltán; Iván, Szabolcs 2 2012 Proceedings of the 8th workshop on fixed points in computer science, Tallinn, Estonia, March 24, 2012. Zbl 1415.68039 1 2012 A context-free linear ordering with an undecidable first-order theory. Zbl 1318.68102Carayol, Arnaud; Ésik, Zoltán 1 2012 Algebraic synchronization trees and processes. Zbl 1318.68118Aceto, Luca; Carayol, Arnaud; Ésik, Zoltán; Ingólfsdóttir, Anna 1 2012 An undecidable property of context-free linear orders. Zbl 1260.68202Ésik, Z. 8 2011 A unifying Kleene theorem for weighted finite automata. Zbl 1318.68121Ésik, Zoltán; Kuich, Werner 8 2011 The category of simulations for weighted tree automata. Zbl 1244.68046Ésik, Zoltán; Maletti, Andreas 7 2011 Algebraic linear orderings. Zbl 1227.18002Bloom, S. L.; Ésik, Z. 7 2011 Büchi context-free languages. Zbl 1206.68171Ésik, Zoltán; Iván, Szabolcs 5 2011 Scattered context-free linear orderings. Zbl 1221.68127Ésik, Zoltán 4 2011 Simulations of weighted tree automata. Zbl 1297.68125Ésik, Zoltán; Maletti, Andreas 3 2011 Partial Conway and iteration semiring-semimodule pairs. Zbl 1318.68120Ésik, Zoltán 3 2011 Multi-linear iterative \(K\)-\(\Sigma\)-semialgebras. Zbl 1345.08004Ésik, Z. 2 2011 Dagger extension theorem. Zbl 1241.18005Ésik, Z.; Hajgató, T. 2 2011 Kleene theorem in partial Conway theories with applications. Zbl 1318.68119Ésik, Zoltán; Hajgató, Tamás 1 2011 Axiomatizing the equational theory of regular tree languages. Zbl 1184.68315Ésik, Z. 6 2010 Algebraic ordinals. Zbl 1208.68152Bloom, Stephen L.; Ésik, Zoltan 5 2010 Algebraic characterization of logically defined tree languages. Zbl 1196.68150Ésik, Zoltán; Weil, Pascal 5 2010 A Mezei-Wright theorem for categorical algebras. Zbl 1186.68244Bloom, S. L.; Ésik, Z. 2 2010 Linear languages of finite and infinite words. Zbl 1264.68092Ésik, Z.; Ito, M.; Kuich, W. 1 2010 On Müller context-free grammars. Zbl 1250.68140Ésik, Zoltán; Iván, Szabolcs 1 2010 Estimation of state complexity of combined operations. Zbl 1173.68032Ésik, Zoltán; Gao, Yuan; Liu, Guangwu; Yu, Sheng 19 2009 Axiomatizing rational power series over natural numbers. Zbl 1167.68036Bloom, S. L.; Ésik, Z. 11 2009 Iteration grove theories with applications. Zbl 1256.68123Ésik, Z.; Hajgató, T. 5 2009 Context-free languages of countable words. Zbl 1250.68154Ésik, Zoltán; Iván, Szabolcs 2 2009 Cycle-free finite automata in partial iterative semirings. Zbl 1256.68121Bloom, Stephen L.; Ésik, Zoltan; Kuich, Werner 2 2009 Partial Conway and iteration semirings. Zbl 1167.08002Bloom, Stephen L.; Ésik, Zoltan; Kuich, Werner 10 2008 Iteration semirings. Zbl 1161.68598Ésik, Zoltán 5 2008 Products of tree automata with an application to temporal logic. Zbl 1136.68037Ésik, Zoltán; Iván, Szabolcs 1 2008 Some varieties of finite tree automata related to restricted temporal logics. Zbl 1136.68038Ésik, Zoltán; Iván, Szabolcs 1 2008 Fuzzy tree automata. Zbl 1123.68057Ésik, Zoltán; Liu, Guangwu 17 2007 On iteration semiring-semimodule pairs. Zbl 1155.16035Ésik, Z.; Kuich, W. 11 2007 Boolean fuzzy sets. Zbl 1183.68338Ésik, Zoltán; Kuich, Werner 7 2007 Regular and algebraic words and ordinals. Zbl 1214.68234Bloom, S. L.; Ésik, Z. 5 2007 A semiring-semimodule generalization of transducers and abstract \(\omega\)-families of power series. Zbl 1145.68460Ésik, Zoltán; Kuich, Werner 1 2007 Characterizing CTL-like logics on finite trees. Zbl 1160.68408Ésik, Zoltán 3 2006 Recent advances in formal languages and applications. Zbl 1116.68044 1 2006 Computer science logic. 20th international workshop, CSL 2006, 15th annual conference of the EACSL, Szeged, Hungary, September 25–29, 2006. Proceedings. Zbl 1130.68007 1 2006 The equational theory of regular words. Zbl 1083.68072Bloom, Stephen L.; Ésik, Zoltán 13 2005 A semiring-semimodule generalization of \(\omega\)-regular languages. Zbl 1161.68025Ésik, Zoltán; Kuich, Werner 11 2005 A semiring-semimodule generalization of \(\omega\)-regular languages II\(^1\). Zbl 1161.68524Ésik, Zoltán; Kuich, Werner 10 2005 Algebraic recognizability of regular tree languages. Zbl 1078.68100Ésik, Zoltán; Weil, Pascal 9 2005 Algebraically complete semirings and Greibach normal form. Zbl 1066.68084Ésik, Zoltán; Leiß, Hans 2 2005 Algebraic and graph-theoretic properties of infinite \(n\)-posets. Zbl 1102.68060Ésik, Zoltán; Németh, Zoltán L. 1 2005 Inductive \(^{*}\)-semirings. Zbl 1105.68062Ésik, Zoltán; Kuich, Werner 15 2004 Higher dimensional automata. Zbl 1102.68059Ésik, Zoltán; Németh, Zoltán L. 8 2004 Equational axioms for a theory of automata. Zbl 1088.68117Ésik, Zoltán; Kuich, Werner 6 2004 A semiring-semimodule generalization of \(\omega\)-context-free languages. Zbl 1055.68067Ésik, Zoltán; Kuich, Werner 4 2004 Axiomatizing omega and omega-op powers of words. Zbl 1082.68070Bloom, Stephen L.; Ésik, Zoltán 3 2004 An algebraic generalization of \(\omega\)-regular languages. Zbl 1096.68096Ésik, Zoltán; Kuich, Werner 3 2004 Formal tree series. Zbl 1089.68054Ésik, Zoltán; Kuich, Werner 29 2003 Temporal logic with cyclic counting and the degree of aperiodicity of finite automata. Zbl 1027.68074Ésik, Z.; Ito, M. 9 2003 An extension theorem with an application to formal tree series. Zbl 1089.68051Bloom, Stephen L.; Ésik, Zoltán 9 2003 On logically defined recognizable tree languages. Zbl 1196.68149Ésik, Zoltán; Weil, Pascal 7 2003 Deciding whether the frontier of a regular tree is scattered. Zbl 1066.68060Bloom, Stephen L.; Ésik, Zoltán 7 2003 Equational theories of tropical semirings. Zbl 1021.08002Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 5 2003 The max-plus algebra of the natural numbers has no finite equational basis. Zbl 1021.08001Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 4 2003 Regular languages definable by Lindström quantifiers. Zbl 1046.20042Ésik, Zoltán; Larsen, Kim G. 4 2003 Hazard algebras. Zbl 1073.68883Brzozowski, J.; Ésik, Z. 3 2003 Free De Morgan bisemigroups and bisemilattices. Zbl 1035.08001Ésik, Z. 3 2003 Extended temporal logic on finite words and wreath product of monoids with distinguished generators. Zbl 1015.03025Ésik, Zoltan 3 2003 Algebras for hazard detection. Zbl 1046.94021Brzozowski, Janusz; Ésik, Zoltán; Iland, Yaacov 3 2003 Equational axioms for probabilistic bisimilarity. Zbl 1275.68099Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 13 2002 Rationally additive semirings. Zbl 1257.16034Ésik, Zoltán; Kuich, Werner 6 2002 Continuous additive algebras and injective simulations of synchronization trees. Zbl 1003.06003Ésik, Zoltán 5 2002 A fully equational proof of Parikh’s theorem. Zbl 1024.68070Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 5 2002 Axiomatizing the subsumption and subword preorders on finite and infinite partial words. Zbl 0997.68069Ésik, Zoltán 4 2002 Automata on series-parallel biposets. Zbl 1073.68668Ésik, Z.; Németh, Z. L. 4 2002 Locally closed semirings. Zbl 1015.16052Ésik, Z.; Kuich, W. 3 2002 Greibach normal form in algebraically complete semirings. Zbl 1020.68056Ésik, Zoltán; Leiß, Hans 2 2002 The equational theory of fixed points with applications to generalized language theory. Zbl 1073.68045Ésik, Z. 1 2002 Iteration 2-theories. Zbl 0981.18005Bloom, S. L.; Ésik, Z.; Labella, A.; Manes, E. G. 9 2001 On equations for union-free regular languages. Zbl 1005.08001Crvenković, Siniša; Dolinka, Igor; Ésik, Zoltán 6 2001 Axiomatizing tropical semirings. Zbl 0978.16045Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 1 2001 Homomorphic simulation and Letichevsky’s criterion. Zbl 0997.68073Dömösi, Pál; Ésik, Zoltán 1 2001 The variety of Kleene algebras with conversion is not finitely based. Zbl 0954.08004Crvenković, S.; Dolinka, I.; Ésik, Z. 9 2000 On the two-variable fragment of the equational theory of the max-sum algebra of the natural numbers. Zbl 0955.08004Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna 5 2000 Free algebras for generalized automata and language theory. Zbl 0969.68526Ésik, Z. 5 2000 Axiomatizing the least fixed point operation and binary supremum. Zbl 0973.08003Ésik, Zoltán 5 2000 ...and 72 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 424 Authors 77 Ésik, Zoltán 20 Bloom, Stephen L. 17 Droste, Manfred 13 Kuich, Werner 12 Milius, Stefan 11 Silva, Alexandra 10 Aceto, Luca 10 Movsisyan, Yuri Movses 10 Struth, Georg 9 Dolinka, Igor 9 Rutten, Jan J. M. M. 9 Vogler, Heiko 8 Fülöp, Zoltán 8 Gao, Yuan 8 Ghorani, Maryam 8 Ingólfsdóttir, Anna 8 Maneth, Sebastian 8 Rondogiannis, Panos 8 Santocanale, Luigi 8 Yu, Sheng 7 Gécseg, Ferenc 7 Iván, Szabolcs 7 Kari, Lila 7 Maletti, Andreas 6 Adámek, Jiří 6 Bonchi, Filippo 6 Fokkink, Willem Jan 6 Goncharov, Sergeĭ Savost’yanovich 6 Han, Yo-Sub 6 Kuske, Dietrich 6 Rahonis, George 6 Salomaa, Kai T. 6 Symeonidou, Ioanna 6 Weil, Pascal 5 Brzozowski, Janusz Antoni 5 Dömösi, Pál 5 Engelfriet, Joost 5 Labella, Anna 5 Lombardy, Sylvain 5 Möller, Bernhard 5 Okhotin, Alexander 5 Pashazadeh, Jafar 5 Rauch, Christoph 5 Schröder, Lutz 5 Ştefănescu, Gheorghe 5 Velebil, Jiří 4 Bartha, Miklós 4 Bonsangue, Marcello Maria 4 Bozapalidis, Symeon 4 Crvenković, Siniša 4 De Nicola, Rocco 4 Ko, Sang-Ki 4 Kozen, Dexter C. 4 Larsen, Kim Guldstrand 4 Luo, Yan Feng 4 Meinecke, Ingmar 4 Pin, Jean-Eric 4 Seidl, Helmut 4 Zahedi, Mohammad Mehdi 4 Zanasi, Fabio 4 Zhang, Wen Ting 3 Amiraslani, Amirhossein 3 Brunet, Paul 3 Căzănescu, Virgil Emil 3 Charalambidis, Angelos 3 Ćirić, Miroslav D. 3 Cui, Bo 3 Dando, Louis-Marie 3 Eom, Hae-Sung 3 Fahrenberg, Uli 3 Feng, Feng 3 Gao, Meng 3 Gelle, Kitti 3 Ghalandarzadeh, Shaban 3 Hansen, Helle Hvid 3 Ignjatović, Jelena 3 Imreh, Balázs 3 Jamshidvand, Sedighe 3 Jun, Young Bae 3 Lehtonen, Erkko 3 Mardare, Radu 3 Mathissen, Christian 3 Mendler, Michael 3 Mikulás, Szabolcs 3 Moss, Lawrence S. 3 Nehaniv, Chrystopher Lev 3 Olia, Fateme 3 Sabadini, Nicoletta 3 Walters, Robert F. C. 3 Wißmann, Thorsten 2 Alirezazadeh, Saeid 2 André, Yves 2 Andréka, Hajnal 2 Barash, Mikhail 2 Bašić, Milan 2 Bedon, Nicolas 2 Björklund, Johanna 2 Blumensath, Achim 2 Brengos, Tomasz 2 Chatterjee, Krishnendu ...and 324 more Authors all top 5 Cited in 73 Serials 119 Theoretical Computer Science 36 Information and Computation 20 International Journal of Foundations of Computer Science 15 International Journal of Algebra and Computation 15 RAIRO. Theoretical Informatics and Applications 12 Journal of Computer and System Sciences 11 Algebra Universalis 9 Fuzzy Sets and Systems 9 Logical Methods in Computer Science 8 MSCS. Mathematical Structures in Computer Science 7 The Journal of Logic and Algebraic Programming 7 Journal of Logical and Algebraic Methods in Programming 6 Acta Informatica 6 Information Processing Letters 5 Communications in Algebra 5 Annals of Pure and Applied Logic 5 Theory of Computing Systems 5 Soft Computing 4 Information Sciences 4 Semigroup Forum 3 Discrete Applied Mathematics 3 Journal of Pure and Applied Algebra 3 Acta Mathematica Hungarica 3 ACM Transactions on Computational Logic 3 RAIRO. Theoretical Informatics and Applications 2 Demonstratio Mathematica 2 Order 2 International Journal of Approximate Reasoning 2 Formal Aspects of Computing 2 Theory and Practice of Logic Programming 2 Journal of Algebra and its Applications 2 Armenian Journal of Mathematics 2 Mathematical Sciences 1 Discrete Mathematics 1 International Journal of Theoretical Physics 1 Israel Journal of Mathematics 1 Journal of Mathematical Physics 1 Mathematical Notes 1 Mathematical Proceedings of the Cambridge Philosophical Society 1 Journal of Algebra 1 Journal of Soviet Mathematics 1 The Journal of Symbolic Logic 1 Mathematical Systems Theory 1 Studia Logica 1 Transactions of the American Mathematical Society 1 European Journal of Combinatorics 1 Science of Computer Programming 1 Combinatorica 1 Graphs and Combinatorics 1 Journal of Automated Reasoning 1 Journal of Contemporary Mathematical Analysis. Armenian Academy of Sciences 1 International Journal of Computer Mathematics 1 RAIRO. Informatique Théorique et Applications 1 Russian Mathematics 1 Formal Methods in System Design 1 Applied Categorical Structures 1 Journal of Applied Non-Classical Logics 1 Journal of Mathematical Sciences (New York) 1 Journal of Inequalities and Applications 1 Lobachevskii Journal of Mathematics 1 Journal of Applied Mathematics and Computing 1 Central European Journal of Mathematics 1 Journal of Applied Logic 1 Iranian Journal of Fuzzy Systems 1 Frontiers of Mathematics in China 1 Banach Journal of Mathematical Analysis 1 Asian-European Journal of Mathematics 1 Journal of Nonlinear Science and Applications 1 Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM 1 Computer Science Review 1 European Journal of Mathematics 1 Categories and General Algebraic Structures with Applications 1 Prikladnaya Diskretnaya Matematika all top 5 Cited in 27 Fields 388 Computer science (68-XX) 94 Mathematical logic and foundations (03-XX) 72 General algebraic systems (08-XX) 60 Category theory; homological algebra (18-XX) 42 Order, lattices, ordered algebraic structures (06-XX) 38 Associative rings and algebras (16-XX) 31 Group theory and generalizations (20-XX) 12 Combinatorics (05-XX) 6 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Linear and multilinear algebra; matrix theory (15-XX) 5 Information and communication theory, circuits (94-XX) 4 General topology (54-XX) 3 Operator theory (47-XX) 3 Numerical analysis (65-XX) 2 Number theory (11-XX) 2 Field theory and polynomials (12-XX) 2 Real functions (26-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Difference and functional equations (39-XX) 2 Quantum theory (81-XX) 1 History and biography (01-XX) 1 Nonassociative rings and algebras (17-XX) 1 \(K\)-theory (19-XX) 1 Topological groups, Lie groups (22-XX) 1 Global analysis, analysis on manifolds (58-XX) 1 Biology and other natural sciences (92-XX) 1 Systems theory; control (93-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.