BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × France
1 × Germany
1 × Hungary
1 × Taiwan
1 × USA
2 × Canada
2 × Italy
2 × Japan
3 × United Kingdom
Collaborated with:
∅ S.Iván S.L.Bloom S.Okawa A.Maletti L.Aceto A.Ingólfsdóttir H.Leiß Z.L.Németh M.Bertol U.Fahrenberg A.Legay A.Charalambidis P.Rondogiannis M.Droste W.Kuich A.Carayol
Talks about:
scatter (5) algebra (5) automata (4) context (4) tree (4) free (4) languag (3) weight (3) theori (3) semir (3)

Person: Zoltán Ésik

DBLP DBLP: =Eacute=sik:Zolt=aacute=n

Facilitated 7 volumes:

AFL 2014Ed
CIAA 2011Ed
AFL 2008Ed
CIAA 2008Ed
CSL 2006Ed
AFL 2005Ed
DLT 2003Ed

Contributed to:

DLT 20152015
ICLP 20142014
DLT 20132013
DLT 20132014
DLT 20122012
DLT 20122013
ICALP (2) 20122012
DLT 20112011
CIAA 20102010
CIAA 20102011
DLT 20102010
DLT 20092011
CIAA 20082008
DLT 20082008
CSL 20022002
DLT 20022002
DLT 20012001
FoSSaCS 20012001
CSL 20002000
ICALP 19951995
AFL 20172017
TAPSOFT, Vol.1: CAAP 19911991
TAPSOFT CAAP/FASE 19951995

Wrote 24 papers:

DLT-2015-EsikFL #algebra
*-Continuous Kleene ω-Algebras (ZÉ, UF, AL), pp. 240–251.
ICLP-J-2014-CharalambidisER #higher-order #logic programming #semantics
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation (AC, ZÉ, PR), pp. 725–737.
DLT-2013-EsikI
Operational Characterization of Scattered MCFLs (ZÉ, SI), pp. 215–226.
DLT-J-2013-EsikI14
Operational Characterization of Scattered MCFLs (ZÉ, SI), pp. 1001–1016.
DLT-2012-EsikO #context-free grammar #on the #word
On Context-Free Languages of Scattered Words (ZÉ, SO), pp. 142–153.
DLT-J-2012-EsikO13 #context-free grammar #on the #word
On Context-Free Languages of Scattered Words (ZÉ, SO), pp. 1029–1048.
ICALP-v2-2012-AcetoCEI #algebra #process
Algebraic Synchronization Trees and Processes (LA, AC, ZÉ, AI), pp. 30–41.
DLT-2011-Esik #linear #order
Scattered Context-Free Linear Orderings (ZÉ), pp. 216–227.
CIAA-2010-EsikM #automaton #simulation
Simulations of Weighted Tree Automata (ZÉ, AM), pp. 321–330.
CIAA-J-2010-EsikM11 #automaton #simulation
The Category of Simulations for Weighted Tree Automata (ZÉ, AM), pp. 1845–1859.
DLT-2010-EsikI #context-free grammar #on the
On Müller Context-Free Grammars (ZÉ, SI), pp. 173–184.
DLT-J-2009-BloomE11 #algebra #linear #order
Algebraic Linear Orderings (SLB, ZÉ), pp. 491–515.
CIAA-2008-EsikI #game studies #logic
Games for Temporal Logics on Trees (ZÉ, SI), pp. 191–200.
DLT-2008-Esik
Iteration Semirings (ZÉ), pp. 1–20.
CSL-2002-EsikL #algebra #normalisation
Greibach Normal Form in Algebraically Complete Semirings (ZÉ, HL), pp. 135–150.
DLT-2002-Esik #finite #generative #logic #monad #word
Extended Temporal Logic on Finite Words and Wreath Product of Monoids with Distinguished Generators (ZÉ), pp. 43–58.
DLT-2001-Esik #equation #fixpoint
The Equational Theory of Fixed Points with Applications to Generalized Language Theory (ZÉ), pp. 21–36.
DLT-2001-EsikN #automaton
Automata on Series-Parallel Biposets (ZÉ, ZLN), pp. 217–227.
FoSSaCS-2001-AcetoEI #axiom
Axiomatizing Tropical Semirings (LA, ZÉ, AI), pp. 42–56.
CSL-2000-Esik #axiom #fixpoint
Axiomatizing the Least Fixed Point Operation and Binary Supremum (ZÉ), pp. 302–316.
ICALP-1995-EsikB #axiom #equation
Nonfinite Axiomatizability of the Equational Theory of Shuffle (ZÉ, MB), pp. 27–38.
AFL-2017-DrosteEK #automaton
The Triple-Pair Construction for Weighted ω-Pushdown Automata (MD, ZÉ, WK), pp. 101–113.
CAAP-1991-BloomE #algebra
Iteration Algebras (Extended Abstract) (SLB, ZÉ), pp. 264–274.
TAPSOFT-1995-BloomE #axiom
Nonfinite Axiomatizability of Shuffle Inequalities (SLB, ZÉ), pp. 318–333.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.