default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDZoltán Ésik
Person information
- affiliation: University of Szeged, Hungary
- 1951 - 2016
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
[j135]Manfred Droste, Zoltán Ésik, Werner Kuich:
The Triple-Pair Construction for Weighted ω-Pushdown Automata. Int. J. Found. Comput. Sci. 33(3&4): 227-246 (2022)- 2021
- [p2]Zoltán Ésik:
Equational theories for automata. Handbook of Automata Theory (I.) 2021: 729-764
2010 – 2019
- 2019
- [j134]Zoltán Ésik, Dexter Kozen:
On Free ω-Continuous and Regular Ordered Algebras. Log. Methods Comput. Sci. 15(4) (2019) - [j133]Zoltán Ésik:
Equational properties of fixed-point operations in cartesian categories: An overview. Math. Struct. Comput. Sci. 29(6): 909-925 (2019) - 2018
- [j132]Christian Choffrut, Zoltán Ésik:
Two equational theories of partial words. Theor. Comput. Sci. 737: 19-39 (2018) - 2017
- [j131]Zoltán Ésik, Werner Kuich:
Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems. Acta Cybern. 23(1): 61-79 (2017) - [j130]Jorge Almeida, Zoltán Ésik, Jean-Éric Pin:
Commutative Positive Varieties of Languages. Acta Cybern. 23(1): 91-111 (2017) - [j129]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
An Algebraic Approach to Energy Problems I - *-Continuous Kleene ω-Algebras. Acta Cybern. 23(1): 203-228 (2017) - [j128]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
An Algebraic Approach to Energy Problems II - The Algebra of Energy Functions. Acta Cybern. 23(1): 229-268 (2017) - [j127]Arnaud Carayol, Zoltán Ésik:
An analysis of the equational properties of the well-founded fixed point. J. Log. Algebraic Methods Program. 86(1): 308-318 (2017) - [j126]Zoltán Ésik:
Equational axioms associated with finite automata for fixed point operations in cartesian categories. Math. Struct. Comput. Sci. 27(1): 54-69 (2017) - [c74]Zoltán Ésik, Werner Kuich:
Solving Fixed Point Equations over Complete Semirings. The Role of Theory in Computer Science 2017: 33-58 - [c73]Manfred Droste, Zoltán Ésik, Werner Kuich:
The Triple-Pair Construction for Weighted ω-Pushdown Automata. AFL 2017: 101-113 - [i33]Jorge Almeida, Zoltán Ésik, Jean-Éric Pin:
Commutative positive varieties of languages. CoRR abs/1703.02154 (2017) - 2016
- [c72]Zoltán Ésik, Szabolcs Iván
:
MSO-definable Properties of Muller Context-Free Languages Are Decidable. DCFS 2016: 87-97 - [c71]Arnaud Carayol, Zoltán Ésik:
An Analysis of the Equational Properties of the Well-Founded Fixed Point. KR 2016: 533-536 - [c70]Zoltán Ésik:
Ternary Equational Languages. CIAA 2016: 77-88 - [i32]Zoltán Ésik, Sergey Goncharov:
Some Remarks on Conway and Iteration Theories. CoRR abs/1603.00838 (2016) - [i31]Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir:
Algebraic Synchronization Trees and Processes. CoRR abs/1610.00450 (2016) - [i30]Zoltán Ésik, Dexter Kozen:
On Free ω-Continuous and Regular Ordered Algebras. CoRR abs/1612.02106 (2016) - 2015
- [j125]Zoltán Ésik, Zoltán Fülöp:
In Memory of Professor Ferenc Gécseg. Acta Cybern. 22(2): 243-246 (2015) - [j124]Zoltán Ésik:
Preface. Int. J. Found. Comput. Sci. 26(8): 1007-1008 (2015) - [j123]Zoltán Ésik:
Residuated Park theories. J. Log. Comput. 25(2): 453-471 (2015) - [j122]Zoltán Ésik, Panos Rondogiannis:
A fixed point theorem for non-monotonic functions. Theor. Comput. Sci. 574: 18-38 (2015) - [c69]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. DLT 2015: 240-251 - [c68]Zoltán Ésik:
Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview. MFCS (1) 2015: 18-37 - [c67]Zoltán Ésik:
A Representation Theorem for Stratified Complete Lattices. TbiLLC 2015: 263-289 - [c66]Zoltán Ésik:
Equational Properties of Stratified Least Fixed Points (Extended Abstract). WoLLIC 2015: 174-188 - [c65]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras for Energy Problems. FICS 2015: 48-59 - [i29]Zoltán Ésik, Uli Fahrenberg, Axel Legay:
*-Continuous Kleene ω-Algebras. CoRR abs/1501.01118 (2015) - [i28]Zoltán Ésik:
Equational Axioms for Fixed Point Operations. CoRR abs/1501.02190 (2015) - [i27]Zoltán Ésik:
A representation theorem for stratified complete lattices. CoRR abs/1503.05124 (2015) - [i26]Arnaud Carayol, Zoltán Ésik:
An analysis of the equational properties of the well-founded fixed point. CoRR abs/1511.09423 (2015) - 2014
- [j121]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings Part 1. Int. J. Algebra Comput. 24(4): 461-482 (2014) - [j120]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings Part 2. Int. J. Algebra Comput. 24(4): 483-514 (2014) - [j119]Zoltán Ésik, Szabolcs Iván:
Operational Characterization of Scattered MCFLs. Int. J. Found. Comput. Sci. 25(8): 1001-1016 (2014) - [j118]Zoltán Ésik, Tamás Hajgató:
On the Structure of Free Iteration Semirings. J. Autom. Lang. Comb. 19(1-4): 57-66 (2014) - [j117]Zoltán Ésik:
Axiomatizing weighted synchronization trees and weighted bisimilarity. Theor. Comput. Sci. 534: 2-23 (2014) - [j116]Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis:
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. Theory Pract. Log. Program. 14(4-5): 725-737 (2014) - [c64]Zoltán Ésik, Werner Kuich:
On Power Series over a Graded Monoid. Computing with New Resources 2014: 49-55 - [c63]Zoltán Ésik, Panos Rondogiannis:
Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. WoLLIC 2014: 166-180 - [e13]Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik:
Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I. Lecture Notes in Computer Science 8634, Springer 2014, ISBN 978-3-662-44521-1 [contents] - [e12]Erzsébet Csuhaj-Varjú, Martin Dietzfelbinger, Zoltán Ésik:
Mathematical Foundations of Computer Science 2014 - 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II. Lecture Notes in Computer Science 8635, Springer 2014, ISBN 978-3-662-44464-1 [contents] - [e11]Zoltán Ésik, Zoltán Fülöp:
Proceedings 14th International Conference on Automata and Formal Languages, AFL 2014, Szeged, Hungary, May 27-29, 2014. EPTCS 151, 2014 [contents] - [i25]Zoltán Ésik, Panos Rondogiannis:
A Fixed Point Theorem for Non-Monotonic Functions. CoRR abs/1402.0299 (2014) - [i24]Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis:
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. CoRR abs/1405.3792 (2014) - [i23]Zoltán Ésik:
Equational properties of saturated least fixed points. CoRR abs/1410.8111 (2014) - 2013
- [j115]Zoltán Ésik, Satoshi Okawa:
On Context-Free Languages of Scattered Words. Int. J. Found. Comput. Sci. 24(7): 1029-1048 (2013) - [j114]Arnaud Carayol, Zoltán Ésik:
The FC-rank of a context-free language. Inf. Process. Lett. 113(8): 285-287 (2013) - [j113]Zoltán Ésik, Werner Kuich:
Free inductive K-semialgebras. J. Log. Algebraic Methods Program. 82(3-4): 111-122 (2013) - [c62]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. ATVA 2013: 102-117 - [c61]Zoltán Ésik, Szabolcs Iván:
Operational Characterization of Scattered MCFLs. Developments in Language Theory 2013: 215-226 - [c60]Zoltán Ésik:
A Connection Between Concurrency and Language Theory. MFPS 2013: 143-164 - [i22]Zoltán Ésik:
A connection between concurrency and language theory. CoRR abs/1303.0044 (2013) - [i21]Zoltán Ésik, Szabolcs Iván:
Operational characterization of scattered MCFLs -- Technical Report. CoRR abs/1304.6388 (2013) - [i20]Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas:
Kleene Algebras and Semimodules for Energy Problems. CoRR abs/1307.0635 (2013) - [i19]Manfred Droste, Zoltán Ésik, Werner Kuich:
Conway and iteration hemirings. CoRR abs/1307.0725 (2013) - 2012
- [j112]Zoltán Ésik:
Ordinal Automata and Cantor Normal Form. Int. J. Found. Comput. Sci. 23(1): 87-98 (2012) - [j111]Pál Dömösi, Zoltán Ésik:
Preface. Int. J. Found. Comput. Sci. 23(6): 1185-1188 (2012) - [j110]Zoltán Ésik, Szabolcs Iván:
On Müller context-free grammars. Theor. Comput. Sci. 416: 17-32 (2012) - [c59]Zoltán Ésik, Satoshi Okawa:
On Context-Free Languages of Scattered Words. Developments in Language Theory 2012: 142-153 - [c58]Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir:
Algebraic Synchronization Trees and Processes. ICALP (2) 2012: 30-41 - [c57]Arnaud Carayol, Zoltán Ésik:
A Context-Free Linear Ordering with an Undecidable First-Order Theory. IFIP TCS 2012: 104-118 - [c56]Zoltán Ésik, Szabolcs Iván:
Hausdorff Rank of Scattered Context-Free Linear Orders. LATIN 2012: 291-302 - [e10]Dale Miller, Zoltán Ésik:
Proceedings 8th Workshop on Fixed Points in Computer Science, FICS 2012, Tallinn, Estonia, 24th March 2012. EPTCS 77, 2012 [contents] - [i18]Arnaud Carayol, Zoltán Ésik:
The FC-rank of a context-free language. CoRR abs/1202.6275 (2012) - 2011
- [j109]Zoltán Ésik, Klaus Sutner:
Stephen L. Bloom 1940-2010. Fundam. Informaticae 109(4): 369-381 (2011) - [j108]Stephen L. Bloom, Zoltán Ésik:
Algebraic Linear Orderings. Int. J. Found. Comput. Sci. 22(2): 491-515 (2011) - [j107]Zoltán Ésik, Andreas Maletti:
The Category of Simulations for Weighted Tree Automata. Int. J. Found. Comput. Sci. 22(8): 1845-1859 (2011) - [j106]Zoltán Ésik:
An undecidable property of context-free linear orders. Inf. Process. Lett. 111(3): 107-109 (2011) - [j105]Zoltán Ésik, Tamás Hajgató:
Dagger extension theorem. Math. Struct. Comput. Sci. 21(5): 1035-1066 (2011) - [j104]Zoltán Ésik, Szabolcs Iván:
Büchi context-free languages. Theor. Comput. Sci. 412(8-10): 805-821 (2011) - [c55]Zoltán Ésik:
Partial Conway and Iteration Semiring-Semimodule Pairs. Algebraic Foundations in Computer Science 2011: 56-71 - [c54]Zoltán Ésik, Tamás Hajgató:
Kleene Theorem in Partial Conway Theories with Applications. Algebraic Foundations in Computer Science 2011: 72-93 - [c53]Zoltán Ésik, Werner Kuich:
A Unifying Kleene Theorem for Weighted Finite Automata. Rainbow of Computer Science 2011: 76-89 - [c52]Zoltán Ésik:
Scattered Context-Free Linear Orderings. Developments in Language Theory 2011: 216-227 - [c51]Zoltán Ésik:
Multi-Linear Iterative K-Σ-Semialgebras. MFPS 2011: 159-170 - [i17]Zoltán Ésik:
Scattered context-free linear orderings. CoRR abs/1102.0850 (2011) - [i16]Zoltán Ésik:
Residuated Park Theories. CoRR abs/1102.1139 (2011) - [i15]Zoltán Ésik:
Multi-linear iterative K-Sigma-semialgebras. CoRR abs/1102.3106 (2011) - [i14]Zoltán Ésik, Szabolcs Iván:
Context-free ordinals. CoRR abs/1103.5421 (2011) - [i13]Zoltán Ésik, Satoshi Okawa:
On context-free languages of scattered words. CoRR abs/1111.3439 (2011) - 2010
- [j103]Stephen L. Bloom, Zoltán Ésik:
Algebraic Ordinals. Fundam. Informaticae 99(4): 383-407 (2010) - [j102]Zoltán Ésik, Pascal Weil:
Algebraic Characterization of Logically Defined Tree Languages. Int. J. Algebra Comput. 20(2): 195-239 (2010) - [j101]Erzsébet Csuhaj-Varjú, Zoltán Ésik:
Preface. Int. J. Found. Comput. Sci. 21(5): 687-688 (2010) - [j100]Zoltán Ésik:
Axiomatizing the equational theory of regular tree languages. J. Log. Algebraic Methods Program. 79(2): 189-213 (2010) - [j99]Stephen L. Bloom, Zoltán Ésik:
A Mezei-Wright theorem for categorical algebras. Theor. Comput. Sci. 411(2): 341-359 (2010) - [j98]Erzsébet Csuhaj-Varjú, Zoltán Ésik:
Preface. Theor. Comput. Sci. 411(4-5): 701 (2010) - [c50]Zoltán Ésik, Szabolcs Iván:
On Müller Context-Free Grammars. Developments in Language Theory 2010: 173-184 - [c49]Zoltán Ésik, Andreas Maletti:
Simulation vs. Equivalence. FCS 2010: 119-124 - [c48]Zoltán Ésik, Andreas Maletti:
Simulations of Weighted Tree Automata. CIAA 2010: 321-330 - [c47]Zoltán Ésik:
Representing Small Ordinals by Finite Automata. DCFS 2010: 78-87 - [i12]Stephen L. Bloom, Zoltán Ésik:
Algebraic Linear Orderings. CoRR abs/1002.1624 (2010) - [i11]Zoltán Ésik:
An undecidable property of context-free languages. CoRR abs/1004.1736 (2010) - [i10]Zoltán Ésik, Andreas Maletti:
Simulation vs. Equivalence. CoRR abs/1004.2426 (2010) - [i9]Zoltán Ésik, Andreas Maletti:
Simulations of Weighted Tree Automata. CoRR abs/1005.2079 (2010) - [i8]Zoltán Ésik, Werner Kuich:
Free iterative and iteration K-semialgebras. CoRR abs/1008.1507 (2010) - [i7]Zoltán Ésik, Werner Kuich:
Free inductive K-semialgebras. CoRR abs/1009.4820 (2010)
2000 – 2009
- 2009
- [j97]Stephen L. Bloom, Zoltán Ésik:
Axiomatizing rational power series over natural numbers. Inf. Comput. 207(7): 793-811 (2009) - [j96]Zoltán Ésik, Yuan Gao, Guangwu Liu, Sheng Yu:
Estimation of state complexity of combined operations. Theor. Comput. Sci. 410(35): 3272-3280 (2009) - [c46]Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
Cycle-Free Finite Automata in Partial Iterative Semirings. CAI 2009: 1-12 - [c45]Zoltán Ésik, Tamás Hajgató:
Iteration Grove Theories with Applications. CAI 2009: 227-249 - [c44]Stephen L. Bloom, Zoltán Ésik:
Scattered Algebraic Linear Orderings. FICS 2009: 25-29 - [c43]Zoltán Ésik, Szabolcs Iván:
Context-Free Languages of Countable Words. ICTAC 2009: 185-199 - [e9]Zoltá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, ISBN 978-963-482-916-4 [contents] - [i6]Stephen L. Bloom, Zoltán Ésik:
Algebraic Ordinals. CoRR abs/0907.0877 (2009) - 2008
- [j95]Zoltán Ésik, Szabolcs Iván:
Products of Tree Automata with an Application to Temporal Logic. Fundam. Informaticae 82(1-2): 61-78 (2008) - [j94]Zoltán Ésik, Szabolcs Iván:
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics. Fundam. Informaticae 82(1-2): 79-103 (2008) - [j93]Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
Partial Conway and Iteration Semirings. Fundam. Informaticae 86(1-2): 19-40 (2008) - [c42]Zoltán Ésik, Yuan Gao, Guangwu Liu, Sheng Yu:
Estimation of State Complexity of Combined Operations. DCFS 2008: 168-181 - [c41]Zoltán Ésik:
Iteration Semirings. Developments in Language Theory 2008: 1-20 - [c40]Zoltán Ésik, Szabolcs Iván:
Games for Temporal Logics on Trees. CIAA 2008: 191-200 - [e8]Erzsébet Csuhaj-Varjú, Zoltán Ésik:
Automata and Formal Languages, 12th International Conference, AFL 2008, Balatonfüred, Hungary, May 27-30, 2008, Proceedings. 2008, ISBN 978-963-311-367-7 [contents] - 2007
- [j92]Zoltán Ésik, Guangwu Liu:
Fuzzy tree automata. Fuzzy Sets Syst. 158(13): 1450-1460 (2007) - [j91]Zoltán Ésik, Werner Kuich:
Boolean Fuzzy Sets. Int. J. Found. Comput. Sci. 18(6): 1197-1207 (2007) - [j90]Zoltán Ésik, Werner Kuich:
A Semiring-Semimodule Generalization of Transducers and Abstract omega-Families of Power Series. J. Autom. Lang. Comb. 12(4): 435-454 (2007) - [c39]Zoltán Ésik, Szabolcs Iván:
Aperiodicity in Tree Automata. CAI 2007: 189-207 - [c38]Stephen L. Bloom, Zoltán Ésik:
Regular and Algebraic Words and Ordinals. CALCO 2007: 1-15 - [c37]Zoltán Ésik, Gabriela Martín:
An Algebraic Characterization of Wolper's Logic. FCS 2007: 139-143 - [e7]Erzsébet Csuhaj-Varjú, Zoltán Ésik:
Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings. Lecture Notes in Computer Science 4639, Springer 2007, ISBN 978-3-540-74239-5 [contents] - [i5]Zoltán Ésik, Pascal Weil:
Algebraic characterization of logically defined tree languages. CoRR abs/0709.2962 (2007) - [i4]Stephen L. Bloom, Zoltán Ésik:
Axiomatizing rational power series. CoRR abs/0712.1337 (2007) - [i3]Stephen L. Bloom, Zoltán Ésik, Werner Kuich:
Partial Conway and iteration semirings. CoRR abs/0712.2952 (2007) - 2006
- [j89]Zoltán Ésik:
Preface. Acta Cybern. 17(4): 663 (2006) - [j88]Alberto Bertoni, Zoltán Ésik, Juhani Karhumäki:
Preface. Theor. Comput. Sci. 356(1-2): 1-5 (2006) - [j87]Zoltán Ésik:
Characterizing CTL-like logics on finite trees. Theor. Comput. Sci. 356(1-2): 136-152 (2006) - [j86]Zoltán Ésik:
Preface. Theor. Comput. Sci. 366(3): 181 (2006) - [c36]