| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Zoltán Ésik, Szabolcs Iván |
On Müller context-free grammars.  |
Theor. Comput. Sci.  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Ordinal Automata and Cantor Normal Form. |
Int. J. Found. Comput. Sci. |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Arnaud Carayol, Zoltán Ésik |
The FC-rank of a context-free language |
CoRR |
2012 |
DBLP BibTeX RDF |
|
| 1 | Dale Miller, Zoltán Ésik (eds.) |
Proceedings 8th Workshop on Fixed Points in Computer Science |
FICS |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
Hausdorff Rank of Scattered Context-Free Linear Orders. |
LATIN |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
An undecidable property of context-free linear orders. |
Inf. Process. Lett. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
Büchi context-free languages. |
Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Tamás Hajgató |
Dagger extension theorem. |
Mathematical Structures in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Andreas Maletti |
The Category of Simulations for Weighted Tree Automata. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Algebraic Linear Orderings. |
Int. J. Found. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Multi-Linear Iterative K-Σ-Semialgebras. |
Electr. Notes Theor. Comput. Sci. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Klaus Sutner |
Stephen L. Bloom 1940-2010. |
Fundam. Inform. |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Multi-linear iterative K-Sigma-semialgebras |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
Context-free ordinals |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik |
Scattered context-free linear orderings |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik |
Residuated Park Theories |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Satoshi Okawa |
On context-free languages of scattered words |
CoRR |
2011 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik |
Scattered Context-Free Linear Orderings. |
Developments in Language Theory |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
A Unifying Kleene Theorem for Weighted Finite Automata. |
Rainbow of Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Partial Conway and Iteration Semiring-Semimodule Pairs. |
Algebraic Foundations in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Tamás Hajgató |
Kleene Theorem in Partial Conway Theories with Applications. |
Algebraic Foundations in Computer Science |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Axiomatizing the equational theory of regular tree languages. |
J. Log. Algebr. Program. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Zoltán Ésik |
Preface. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
A Mezei-Wright theorem for categorical algebras. |
Theor. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Pascal Weil |
Algebraic Characterization of Logically Defined Tree Languages. |
IJAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Zoltán Ésik |
Preface. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Algebraic Ordinals. |
Fundam. Inform. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Andreas Maletti |
Simulation vs. Equivalence |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Algebraic Linear Orderings |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
Free iterative and iteration K-semialgebras |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik |
An undecidable property of context-free languages |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Andreas Maletti |
Simulations of Weighted Tree Automata |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik |
Representing Small Ordinals by Finite Automata |
DCFS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
Free inductive K-semialgebras |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
On Müller Context-Free Grammars. |
Developments in Language Theory |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Andreas Maletti |
Simulation vs. Equivalence. |
FCS |
2010 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Andreas Maletti |
Simulations of Weighted Tree Automata. |
CIAA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Yuan Gao, Guangwu Liu, Sheng Yu |
Estimation of state complexity of combined operations. |
Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Axiomatizing rational power series over natural numbers. |
Inf. Comput. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Algebraic Ordinals |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik, Werner Kuich |
Cycle-Free Finite Automata in Partial Iterative Semirings. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Tamás Hajgató |
Iteration Grove Theories with Applications. |
CAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
Context-Free Languages of Countable Words. |
ICTAC |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Zoltán Fülöp (eds.) |
Automata, Formal Languages, and Related Topics - Dedicated to Ferenc Gécseg on the occasion of his 70th birthday |
Automata, Formal Languages, and Related Topics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
Some Varieties of Finite Tree Automata Related to Restricted Temporal Logics. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik, Werner Kuich |
Partial Conway and Iteration Semirings. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
Products of Tree Automata with an Application to Temporal Logic. |
Fundam. Inform. |
2008 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik |
Iteration Semirings. |
Developments in Language Theory |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Zoltán Ésik (eds.) |
Automata and Formal Languages, 12th International Conference, AFL 2008, Balatonfüred, Hungary, May 27-30, 2008, Proceedings. |
AFL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Yuan Gao, Guangwu Liu, Sheng Yu |
Estimation of State Complexity of Combined Operations. |
DCFS |
2008 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
Games for Temporal Logics on Trees. |
CIAA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
Boolean Fuzzy Sets. |
Int. J. Found. Comput. Sci. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik, Werner Kuich |
Partial Conway and iteration semirings |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Pascal Weil |
Algebraic characterization of logically defined tree languages |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Axiomatizing rational power series |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
A Semiring-Semimodule Generalization of Transducers and Abstract omega-Families of Power Series. |
Journal of Automata, Languages and Combinatorics |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Guangwu Liu |
Fuzzy tree automata. |
Fuzzy Sets and Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Szabolcs Iván |
Aperiodicity in Tree Automata. |
CAI |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Erzsébet Csuhaj-Varjú, Zoltán Ésik (eds.) |
Fundamentals of Computation Theory, 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007, Proceedings |
FCT |
2007 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Gabriela Martín |
An Algebraic Characterization of Wolper's Logic. |
FCS |
2007 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Regular and Algebraic Words and Ordinals. |
CALCO |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Preface. |
Acta Cybern. |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alberto Bertoni, Zoltán Ésik, Juhani Karhumäki |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Characterizing CTL-like logics on finite trees. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Preface. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Cascade Products and Temporal Logics on Finite Trees. |
Electr. Notes Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Pascal Weil |
Algebraic recognizability of regular tree languages |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Carlos Martín-Vide, Victor Mitrana (eds.) |
Recent Advances in Formal Languages and Applications |
|
2006 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Completing Categorical Algebras. |
IFIP TCS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik (eds.) |
Computer Science Logic, 20th International Workshop, CSL 2006, 15th Annual Conference of the EACSL, Szeged, Hungary, September 25-29, 2006, Proceedings |
CSL |
2006 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Pascal Weil |
Algebraic recognizability of regular tree languages. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Wan Fokkink, Anna Ingólfsdóttir, Zoltán Ésik |
Guest editors' foreword: Process Algebra. |
Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Zoltán L. Németh |
Algebraic and graph-theoretic properties of infinite n-posets. |
ITA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
The equational theory of regular words. |
Inf. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Hans Leiß |
Algebraically complete semirings and Greibach normal form. |
Ann. Pure Appl. Logic |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
A Semiring-Semimodule Generalization of ?-Regular Languages II. |
Journal of Automata, Languages and Combinatorics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
A Semiring-Semimodule Generalization of ?-Regular Languages I. |
Journal of Automata, Languages and Combinatorics |
2005 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Zoltán Fülöp |
Foreword. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
Inductive star-semirings. |
Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Igor Walukiewicz |
Foreword. |
ITA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Axiomatizing omega and omega-op powers of words. |
ITA |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Zoltán L. Németh |
Higher Dimensional Automata. |
Journal of Automata, Languages and Combinatorics |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
An Algebraic Generalization of omega-Regular Languages. |
MFCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
A Semiring-Semimodule Generalization of omega-Context-Free Languages. |
Theory Is Forever |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Masami Ito |
Temporal Logic with Cyclic Counting and the Degree of Aperiodicity of Finite Automata. |
Acta Cybern. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
Equational theories of tropical semirings. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Anna Ingólfsdóttir |
Foreword. |
ITA |
2003 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Kim Guldstrand Larsen |
Regular languages definable by Lindström quantifiers. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Deciding whether the frontier of a regular tree is scattered. |
Fundam. Inform. |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
An Extension Theorem with an Application to Formal Tree Series. |
Journal of Automata, Languages and Combinatorics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
Formal Tree Series. |
Journal of Automata, Languages and Combinatorics |
2003 |
DBLP BibTeX RDF |
|
| 1 | Janusz A. Brzozowski, Zoltán Ésik |
Hazard Algebras. |
Formal Methods in System Design |
2003 |
DBLP DOI BibTeX RDF |
simulation, algebra, circuit, hazard, transient, gate, multivalued |
| 1 | Zoltán Ésik, Zoltán Fülöp (eds.) |
Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings |
Developments in Language Theory |
2003 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Axioms for Regular Words: Extended Abstract. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Pascal Weil |
On Logically Defined Recognizable Tree Languages. |
FSTTCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Axiomatizing the subsumption and subword preorders on finite and infinite partial words. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir |
A Fully Equational Proof of Parikh's Theorem. |
ITA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik, Werner Kuich |
Rationally Additive Semirings. |
J. UCS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Stephen L. Bloom, Zoltán Ésik |
Unique, guarded fixed points in an additive setting: Extended Abstract. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Zoltán Ésik |
Continuous Additive Algebras and Injective Simulations of Synchronization Trees. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")