BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Cyprus
1 × Denmark
1 × Hungary
1 × Italy
1 × Spain
1 × United Kingdom
Collaborated with:
M.Hutagalung M.Lange R.Brochenin S.Demri J.Villard C.Calcagno K.Bansal D.Hirschkoff D.Sangiorgi A.Mansutti N.K.0001 Florian Bruse
Talks about:
order (3) logic (3) higher (2) simul (2) separ (2) büchi (2) heap (2) game (2) hop (2) relationship (1)

Person: Étienne Lozes

DBLP DBLP: Lozes:=Eacute=tienne

Contributed to:

AFL 20142014
LATA 20132013
TACAS 20102010
FOSSACS 20092009
CSL 20082008
LICS 20022002
CSL 20202020
POPL 20172017

Wrote 8 papers:

AFL-2014-HutagalungLL #automaton #game studies #simulation
Buffered Simulation Games for Büchi Automata (MH, ML, ÉL), pp. 286–300.
LATA-2013-HutagalungLL #automaton #game studies #simulation
Revealing vs. Concealing: More Simulation Games for Büchi Inclusion (MH, ML, ÉL), pp. 347–358.
Tracking Heaps That Hop with Heap-Hop (JV, ÉL, CC), pp. 275–279.
FoSSaCS-2009-BansalBL #order
Beyond Shapes: Lists with Ordered Data (KB, RB, ÉL), pp. 425–439.
CSL-2008-BrocheninDL #on the
On the Almighty Wand (RB, SD, ÉL), pp. 323–338.
LICS-2002-HirschkoffLS #decidability #logic
Separability, Expressiveness, and Decidability in the Ambient Logic (DH, ÉL, DS), pp. 423–432.
CSL-2020-DemriLM #calculus #logic
Internal Calculi for Separation Logics (SD, ÉL, AM), p. 18.
POPL-2017-KobayashiLB #fixpoint #higher-order #logic #on the #recursion
On the relationship between higher-order recursion schemes and higher-order fixpoint logic (NK0, ÉL, FB), pp. 246–259.

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.