É. Lozes
发表
Étienne Lozes,
E. Cachan,
É. Lozes,
2012
.
É. Lozes,
C. Giusto,
Laetitia Laversa,
2019,
FoSSaCS.
É. Lozes,
C. Giusto,
Laetitia Laversa,
2022,
ArXiv.
Stéphane Demri,
Rémi Brochenin,
Étienne Lozes,
2008,
Inf. Comput..
Davide Sangiorgi,
Daniel Hirschkoff,
Étienne Lozes,
2003,
FSTTCS.
Luís Caires,
Étienne Lozes,
Luís Caires,
2006,
Theor. Comput. Sci..
Étienne Lozes,
É. Lozes,
2005,
Theor. Comput. Sci..
Martin Lange,
Étienne Lozes,
Milka Hutagalung,
2013,
LATA.
É. Lozes,
Laetitia Laversa,
Cinzia Di Giusto,
2022,
Proc. ACM Program. Lang..
Benedikt Bollig,
Alain Finkel,
Étienne Lozes,
2021,
CONCUR.
É. Lozes,
C. Giusto,
Davide Ferr'e,
2023,
2308.10578.
Alain Finkel,
Étienne Lozes,
A. Finkel,
2017,
ICALP.
Martin Lange,
Étienne Lozes,
Manuel Vargas Guzmán,
2012,
Theor. Comput. Sci..
Norbert Hundeshagen,
Martin Lange,
Dietrich Kuske,
2018,
Inf. Comput..
Ralf Treinen,
Florent Jacquemard,
Étienne Lozes,
2011,
TOSCA.
Étienne Lozes,
Jules Villard,
Jules Villard,
2008,
Distributed Computing.
É. Lozes,
2012
.
Stéphane Demri,
Alessio Mansutti,
Étienne Lozes,
2018,
FoSSaCS.
Davide Sangiorgi,
Daniel Hirschkoff,
Étienne Lozes,
2005,
Log. Methods Comput. Sci..
Davide Sangiorgi,
Daniel Hirschkoff,
Étienne Lozes,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Kshitij Bansal,
Rémi Brochenin,
Étienne Lozes,
2009,
FoSSaCS.
Martin Lange,
Étienne Lozes,
Milka Hutagalung,
2014,
AFL.