Concepedia

Zoltán Ésik

ZÉ

Statistics

Publications

79

Citations

1.8K

H-Index

24

Active since

1980

Affiliations

University of Szeged(Current)

Stevens Institute of Technology

Eötvös József Főiskola

Universitat Rovira i Virgili

TU Wien

Zoltán Ésik is an author at University of Szeged specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceLinguisticsLanguageFormal VerificationDiscrete MathematicsRepresentation TheorySyntax

Publications per year

1980–2015

79

Publications

79

Formal tree series

Zoltán Ésik, Werner Kuich · Journal of automata, languages and combinatorics · 2003 · 74 citations

Tree Automata, Tree Language, Engineering +12

Free shuffle algebras in language varieties

Stephen L. Bloom, Zoltán Ésik · Theoretical Computer Science · 1996 · 71 citations

Algebraic Combinatorics, Universal Algebra, Free Shuffle Algebras +1

Group Axioms for Iteration

Zoltán Ésik · Information and Computation · 1999 · 67 citations

Group Structure, Group Dynamic, Group Axioms +1

Equational axioms for regular sets

Stephen L. Bloom, Zoltán Ésik · Mathematical Structures in Computer Science · 1993 · 53 citations

Topological Semigroups, Ring Theory, Commutative Algebra +7

Completeness of Park induction

Zoltán Ésik · Theoretical Computer Science · 1997 · 53 citations

Inductive Reasoning, Park Induction, Geopark +1

1–5 of 79