×
Compute Distance To:
Author ID: esik.zoltan Recent zbMATH articles by "Ésik, Zoltán"
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

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

Publications by Year

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.03033
Bloom, Stephen; Ésik, Zoltán
58
1993
Equational axioms for regular sets. Zbl 0796.68153
Bloom, 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.08006
Bloom, Stephen L.; Ésik, Zoltán
28
1993
Identities in iterative and rational algebraic theories. Zbl 0466.68010
Esik, Zoltan
24
1980
Free shuffle algebras in language varieties. Zbl 0874.68171
Bloom, 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.08002
Bloom, 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.03067
Bloom, 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.68098
Esik, Z.
13
1980
The equational theory of regular words. Zbl 1083.68072
Bloom, 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.68099
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
13
2002
Axiomatizing schemes and their behaviors. Zbl 0613.68013
Bloom, Stephen L.; Esik, Zoltán
12
1985
Iteration theories of synchronization trees. Zbl 0780.68088
Bloom, Stephen L.; Ésik, Zoltán; Taubner, Dirk
12
1993
Axiomatizing rational power series over natural numbers. Zbl 1167.68036
Bloom, 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.08004
Bloom, S. L.; Ésik, Z.; Stefanescu, Gh.
10
1995
Partial Conway and iteration semirings. Zbl 1167.08002
Bloom, 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.08004
Crvenković, S.; Dolinka, I.; Ésik, Z.
9
2000
Floyd-Hoare logic in iteration theories. Zbl 0799.68042
Bloom, Stephen L.; Ésik, Zoltán
9
1991
Iteration 2-theories. Zbl 0981.18005
Bloom, 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.68051
Bloom, 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.68030
Charalambidis, 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.68009
Esik, 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.68060
Bloom, Stephen L.; Ésik, Zoltán
7
2003
Algebraic linear orderings. Zbl 1227.18002
Bloom, S. L.; Ésik, Z.
7
2011
Equational logic of circular data type specification. Zbl 0683.68018
Bloom, 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.18006
Bloom, Stephen L.; Ésik, Zoltán
6
1996
Axiomatizing shuffle and concatenation in languages. Zbl 0892.68055
Bloom, 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.08001
Crvenković, Siniša; Dolinka, Igor; Ésik, Zoltán
6
2001
Varieties of iteration theories. Zbl 0676.68020
Bloom, 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.08004
Aceto, 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.08002
Berná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.68152
Bloom, 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.68234
Bloom, 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.08002
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
5
2003
A fully equational proof of Parikh’s theorem. Zbl 1024.68070
Aceto, 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.68078
Bloom, 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.08001
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
4
2003
Iteration algebras. Zbl 0790.08004
Bloom, 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.68045
Esik, 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.08500
Bloom, 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.68883
Brzozowski, J.; Ésik, Z.
3
2003
Axiomatizing omega and omega-op powers of words. Zbl 1082.68070
Bloom, Stephen L.; Ésik, Zoltán
3
2004
An analysis of the equational properties of the well-founded fixed point. Zbl 1373.06004
Carayol, 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.68055
Almeida, 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.68030
Charalambidis, 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.68208
Carayol, 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.68102
Carayol, Arnaud; Ésik, Zoltán
1
2012
Algebraic synchronization trees and processes. Zbl 1318.68118
Aceto, 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.18002
Bloom, 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.68152
Bloom, 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.68244
Bloom, 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.68036
Bloom, 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.68121
Bloom, Stephen L.; Ésik, Zoltan; Kuich, Werner
2
2009
Partial Conway and iteration semirings. Zbl 1167.08002
Bloom, 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.68234
Bloom, 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.68072
Bloom, 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.68070
Bloom, 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.68051
Bloom, 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.68060
Bloom, Stephen L.; Ésik, Zoltán
7
2003
Equational theories of tropical semirings. Zbl 1021.08002
Aceto, 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.08001
Aceto, 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.68883
Brzozowski, 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.94021
Brzozowski, Janusz; Ésik, Zoltán; Iland, Yaacov
3
2003
Equational axioms for probabilistic bisimilarity. Zbl 1275.68099
Aceto, 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.68070
Aceto, 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.18005
Bloom, S. L.; Ésik, Z.; Labella, A.; Manes, E. G.
9
2001
On equations for union-free regular languages. Zbl 1005.08001
Crvenković, Siniša; Dolinka, Igor; Ésik, Zoltán
6
2001
Axiomatizing tropical semirings. Zbl 0978.16045
Aceto, Luca; Ésik, Zoltán; Ingólfsdóttir, Anna
1
2001
Homomorphic simulation and Letichevsky’s criterion. Zbl 0997.68073
Dömösi, Pál; Ésik, Zoltán
1
2001
The variety of Kleene algebras with conversion is not finitely based. Zbl 0954.08004
Crvenković, 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.08004
Aceto, 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 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

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.