Zoltán Ésik

Publication Activity (10 Years)

Years Active: 1976-2022
Publications (10 Years): 19

Top Venues

CoRR

Acta Cybern.

Int. J. Found. Comput. Sci.

Theor. Comput. Sci.

Publications

Manfred Droste, Zoltán Ésik, Werner Kuich
The Triple-Pair Construction for Weighted ω-Pushdown Automata. Int. J. Found. Comput. Sci. 33 (3&4) (2022)
Zoltán Ésik
Equational properties of fixed-point operations in cartesian categories: An overview. Math. Struct. Comput. Sci. 29 (6) (2019)
Zoltán Ésik, Dexter Kozen
On Free ω-Continuous and Regular Ordered Algebras. Log. Methods Comput. Sci. 15 (4) (2019)
Christian Choffrut, Zoltán Ésik
Two equational theories of partial words. Theor. Comput. Sci. 737 (2018)
Zoltán Ésik, Werner Kuich
Solving Fixed Point Equations over Complete Semirings. The Role of Theory in Computer Science (2017)
Manfred Droste, Zoltán Ésik, Werner Kuich
The Triple-Pair Construction for Weighted ω-Pushdown Automata. AFL (2017)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
-Continuous Kleene ω-Algebras. Acta Cybern. 23 (1) (2017)
Zoltán Ésik
Equational axioms associated with finite automata for fixed point operations in cartesian categories. Math. Struct. Comput. Sci. 27 (1) (2017)
Jorge Almeida, Zoltán Ésik, Jean-Éric Pin
Commutative positive varieties of languages. CoRR (2017)
Arnaud Carayol, Zoltán Ésik
An analysis of the equational properties of the well-founded fixed point. J. Log. Algebraic Methods Program. 86 (1) (2017)
Zoltán Ésik, Werner Kuich
Continuous Semiring-Semimodule Pairs and Mixed Algebraic Systems. Acta Cybern. 23 (1) (2017)
Jorge Almeida, Zoltán Ésik, Jean-Éric Pin
Commutative Positive Varieties of Languages. Acta Cybern. 23 (1) (2017)
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) (2017)
Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir
Algebraic Synchronization Trees and Processes. CoRR (2016)
Arnaud Carayol, Zoltán Ésik
An Analysis of the Equational Properties of the Well-Founded Fixed Point. KR (2016)
Zoltán Ésik, Szabolcs Iván
MSO-definable Properties of Muller Context-Free Languages Are Decidable. DCFS (2016)
Zoltán Ésik, Dexter Kozen
On Free ω-Continuous and Regular Ordered Algebras. CoRR (2016)
Zoltán Ésik, Sergey Goncharov
Some Remarks on Conway and Iteration Theories. CoRR (2016)
Zoltán Ésik
Ternary Equational Languages. CIAA (2016)
Zoltán Ésik
Residuated Park theories. J. Log. Comput. 25 (2) (2015)
Zoltán Ésik
Equational Axioms for Fixed Point Operations. CoRR (2015)
Zoltán Ésik
A Representation Theorem for Stratified Complete Lattices. TbiLLC (2015)
Zoltán Ésik
Equational Properties of Fixed Point Operations in Cartesian Categories: An Overview. MFCS (1) (2015)
Zoltán Ésik
Equational Properties of Stratified Least Fixed Points (Extended Abstract). WoLLIC (2015)
Zoltán Ésik, Zoltán Fülöp
In Memory of Professor Ferenc Gécseg. Acta Cybern. 22 (2) (2015)
Zoltán Ésik, Uli Fahrenberg, Axel Legay
*-Continuous Kleene ω-Algebras. DLT (2015)
Arnaud Carayol, Zoltán Ésik
An analysis of the equational properties of the well-founded fixed point. CoRR (2015)
Zoltán Ésik, Uli Fahrenberg, Axel Legay
*-Continuous Kleene ω-Algebras. CoRR (2015)
Zoltán Ésik, Panos Rondogiannis
A fixed point theorem for non-monotonic functions. Theor. Comput. Sci. 574 (2015)
Zoltán Ésik, Uli Fahrenberg, Axel Legay
*-Continuous Kleene ω-Algebras for Energy Problems. FICS (2015)
Zoltán Ésik
A representation theorem for stratified complete lattices. CoRR (2015)
Zoltán Ésik
Preface. Int. J. Found. Comput. Sci. 26 (8) (2015)
Zoltán Ésik, Panos Rondogiannis
Theorems on Pre-fixed Points of Non-Monotonic Functions with Applications in Logic Programming and Formal Grammars. WoLLIC (2014)
Zoltán Ésik
Equational properties of saturated least fixed points. CoRR (2014)
Zoltán Ésik
Axiomatizing weighted synchronization trees and weighted bisimilarity. Theor. Comput. Sci. 534 (2014)
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) (2014)
Manfred Droste, Zoltán Ésik, Werner Kuich
Conway and iteration hemirings Part 1. Int. J. Algebra Comput. 24 (4) (2014)
Zoltán Ésik, Panos Rondogiannis
A Fixed Point Theorem for Non-Monotonic Functions. CoRR (2014)
Zoltán Ésik, Tamás Hajgató
On the Structure of Free Iteration Semirings. J. Autom. Lang. Comb. 19 (1-4) (2014)
Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation. CoRR (2014)
Zoltán Ésik, Szabolcs Iván
Operational Characterization of Scattered MCFLs. Int. J. Found. Comput. Sci. 25 (8) (2014)
Zoltán Ésik, Werner Kuich
On Power Series over a Graded Monoid. Computing with New Resources (2014)
Manfred Droste, Zoltán Ésik, Werner Kuich
Conway and iteration hemirings Part 2. Int. J. Algebra Comput. 24 (4) (2014)
Zoltán Ésik, Werner Kuich
Free inductive K-semialgebras. J. Log. Algebraic Methods Program. 82 (3-4) (2013)
Zoltán Ésik
A connection between concurrency and language theory CoRR (2013)
Zoltán Ésik, Szabolcs Iván
Operational Characterization of Scattered MCFLs. Developments in Language Theory (2013)
Zoltán Ésik, Szabolcs Iván
Operational characterization of scattered MCFLs -- Technical Report CoRR (2013)
Zoltán Ésik
A Connection Between Concurrency and Language Theory. MFPS (2013)
Zoltán Ésik, Satoshi Okawa
On Context-Free Languages of Scattered Words. Int. J. Found. Comput. Sci. 24 (7) (2013)
Arnaud Carayol, Zoltán Ésik
The FC-rank of a context-free language. Inf. Process. Lett. 113 (8) (2013)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
Kleene Algebras and Semimodules for Energy Problems. CoRR (2013)
Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas
Kleene Algebras and Semimodules for Energy Problems. ATVA (2013)
Manfred Droste, Zoltán Ésik, Werner Kuich
Conway and iteration hemirings. CoRR (2013)
Zoltán Ésik
Ordinal Automata and Cantor Normal Form. Int. J. Found. Comput. Sci. 23 (1) (2012)
Arnaud Carayol, Zoltán Ésik
The FC-rank of a context-free language CoRR (2012)
Arnaud Carayol, Zoltán Ésik
A Context-Free Linear Ordering with an Undecidable First-Order Theory. IFIP TCS (2012)
Zoltán Ésik, Szabolcs Iván
On Müller context-free grammars. Theor. Comput. Sci. 416 (2012)
Luca Aceto, Arnaud Carayol, Zoltán Ésik, Anna Ingólfsdóttir
Algebraic Synchronization Trees and Processes. ICALP (2) (2012)
Zoltán Ésik, Szabolcs Iván
Hausdorff Rank of Scattered Context-Free Linear Orders. LATIN (2012)
Zoltán Ésik, Satoshi Okawa
On Context-Free Languages of Scattered Words. Developments in Language Theory (2012)
Pál Dömösi, Zoltán Ésik
Preface. Int. J. Found. Comput. Sci. 23 (6) (2012)
Zoltán Ésik
Scattered context-free linear orderings CoRR (2011)
Zoltán Ésik
Multi-Linear Iterative K-Σ-Semialgebras. MFPS (2011)
Stephen L. Bloom, Zoltán Ésik
Algebraic Linear Orderings. Int. J. Found. Comput. Sci. 22 (2) (2011)
Zoltán Ésik, Szabolcs Iván
Context-free ordinals CoRR (2011)
Zoltán Ésik, Tamás Hajgató
Kleene Theorem in Partial Conway Theories with Applications. Algebraic Foundations in Computer Science (2011)
Zoltán Ésik, Szabolcs Iván
Büchi context-free languages. Theor. Comput. Sci. 412 (8-10) (2011)
Zoltán Ésik, Tamás Hajgató
Dagger extension theorem. Math. Struct. Comput. Sci. 21 (5) (2011)
Zoltán Ésik
Residuated Park Theories CoRR (2011)
Zoltán Ésik, Klaus Sutner
Stephen L. Bloom 1940-2010. Fundam. Informaticae 109 (4) (2011)
Zoltán Ésik, Werner Kuich
A Unifying Kleene Theorem for Weighted Finite Automata. Rainbow of Computer Science (2011)
Zoltán Ésik
Scattered Context-Free Linear Orderings. Developments in Language Theory (2011)
Zoltán Ésik, Satoshi Okawa
On context-free languages of scattered words CoRR (2011)
Zoltán Ésik, Andreas Maletti
The Category of Simulations for Weighted Tree Automata. Int. J. Found. Comput. Sci. 22 (8) (2011)
Zoltán Ésik
Multi-linear iterative K-Sigma-semialgebras CoRR (2011)
Zoltán Ésik
Partial Conway and Iteration Semiring-Semimodule Pairs. Algebraic Foundations in Computer Science (2011)
Zoltán Ésik
An undecidable property of context-free linear orders. Inf. Process. Lett. 111 (3) (2011)
Zoltán Ésik
Axiomatizing the equational theory of regular tree languages. J. Log. Algebraic Methods Program. 79 (2) (2010)
Zoltán Ésik, Szabolcs Iván
On Müller Context-Free Grammars. Developments in Language Theory (2010)
Stephen L. Bloom, Zoltán Ésik
Algebraic Ordinals. Fundam. Informaticae 99 (4) (2010)
Zoltán Ésik
Representing Small Ordinals by Finite Automata DCFS (2010)
Zoltán Ésik, Andreas Maletti
Simulation vs. Equivalence. FCS (2010)
Zoltán Ésik, Andreas Maletti
Simulation vs. Equivalence CoRR (2010)
Stephen L. Bloom, Zoltán Ésik
Algebraic Linear Orderings CoRR (2010)
Zoltán Ésik, Andreas Maletti
Simulations of Weighted Tree Automata CoRR (2010)
Zoltán Ésik, Werner Kuich
Free inductive K-semialgebras CoRR (2010)
Zoltán Ésik, Werner Kuich
Free iterative and iteration K-semialgebras CoRR (2010)
Zoltán Ésik, Pascal Weil
Algebraic Characterization of Logically Defined Tree Languages. Int. J. Algebra Comput. 20 (2) (2010)
Zoltán Ésik, Andreas Maletti
Simulations of Weighted Tree Automata. CIAA (2010)
Erzsébet Csuhaj-Varjú, Zoltán Ésik
Preface. Int. J. Found. Comput. Sci. 21 (5) (2010)
Stephen L. Bloom, Zoltán Ésik
A Mezei-Wright theorem for categorical algebras. Theor. Comput. Sci. 411 (2) (2010)
Zoltán Ésik
An undecidable property of context-free languages CoRR (2010)
Erzsébet Csuhaj-Varjú, Zoltán Ésik
Preface. Theor. Comput. Sci. 411 (4-5) (2010)
Zoltán Ésik, Szabolcs Iván
Context-Free Languages of Countable Words. ICTAC (2009)
Zoltán Ésik, Yuan Gao, Guangwu Liu, Sheng Yu
Estimation of state complexity of combined operations. Theor. Comput. Sci. 410 (35) (2009)
Stephen L. Bloom, Zoltán Ésik
Algebraic Ordinals CoRR (2009)
Stephen L. Bloom, Zoltán Ésik
Scattered Algebraic Linear Orderings. FICS (2009)
Stephen L. Bloom, Zoltán Ésik, Werner Kuich
Cycle-Free Finite Automata in Partial Iterative Semirings. CAI (2009)
Zoltán Ésik, Tamás Hajgató
Iteration Grove Theories with Applications. CAI (2009)
Stephen L. Bloom, Zoltán Ésik
Axiomatizing rational power series over natural numbers. Inf. Comput. 207 (7) (2009)

Zoltán Ésik.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Zoltán Ésik