Selected publications by Étienne Lozes
Journals
-
R. Brochenin, S. Demri and É. Lozes. On the Almighty Wand. Information and Computation 211, pages 106-137, 2012. ( PDF | BibTeX + Abstract )
-
É. Lozes and J. Villard. A spatial equational logic for the applied π-calculus. Distributed Computing 23(1), pages 61-83, 2010. ( PDF | BibTeX + Abstract )
-
R. Brochenin, S. Demri and É. Lozes. Reasoning about sequences of memory states. Annals of Pure and Applied Logics 161(3), pages 305-323, 2009. ( PDF | BibTeX + Abstract )
-
É. Lozes, D. Hirschkoff and D. Sangiorgi. Separability in the Ambient Logic. Logical Methods in Computer Science 4(3:4), 2008. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
L. Caires and É. Lozes. Elimination of Quantifiers and Undecidability in Spatial Logics for
Concurrency. Theoretical Computer Science 358(2-3), pages 293-314, 2006. ( PS | PS.GZ | BibTeX + Abstract )
-
D. Hirschkoff, É. Lozes and D. Sangiorgi. On the Expressiveness of the Ambient Logic. Logical Methods in Computer Science 2(2), 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
É. Lozes. Elimination of spatial connectives in static spatial logics. Theoretical Computer Science 330(3), pages 475-499, 2005. ( PDF | PS | PS.GZ | BibTeX )
Conferences
-
F. Jacquemard, É. Lozes, R. Treinen and J. Villard. Multiple Congruence Relations, First-Order Theories on Terms, and the
Frames of the Applied Pi-Calculus. In TOSCA'11, LNCS 6993, pages 166-185. Springer, 2012. ( PDF | BibTeX + Abstract )
-
J. Villard, É. Lozes and C. Calcagno. Tracking Heaps that Hop with Heap-Hop. In TACAS'10, LNCS 6015, pages 275-279. Springer, 2010. ( PDF | BibTeX + Abstract )
-
J. Villard, É. Lozes and C. Calcagno. Proving Copyless Message Passing. In APLAS'09, LNCS 5904, pages 194-209. Springer, 2009. ( PDF | BibTeX + Abstract )
-
A. Finkel, É. Lozes and A. Sangnier. Towards Model Checking Pointer Systems. In ILC'07, LNAI 5489, pages 56-82. Springer-Verlag, 2009. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
K. Bansal, R. Brochenin and É. Lozes. Beyond Shapes: Lists with Ordered Data. In FoSSaCS'09, LNCS 5504, pages 425-439. Springer, 2009. ( PDF | BibTeX + Abstract )
-
R. Brochenin, S. Demri and É. Lozes. On the Almighty Wand. In CSL'08, LNCS 5213, pages 323-338. Springer, 2008. ( PDF | BibTeX + Abstract )
-
É. Lozes and J. Villard. A Spatial Equational Logic for the Applied π-Calculus. In CONCUR'08, LNCS 5201, pages 387-401. Springer, 2008. ( PDF | BibTeX + Abstract )
-
R. Brochenin, S. Demri and É. Lozes. Reasoning about sequences of memory states. In LFCS'07, LNCS 4514, pages 100-114. Springer, 2007. ( PDF | PDF (long version) | BibTeX + Abstract )
-
L. Caires and É. Lozes. Elimination of Quantifiers and Undecidability in Spatial Logics for
Concurrency. In CONCUR'04, LNCS 3170, pages 240-257. Springer, 2004. ( PDF | PS | PS.GZ | BibTeX )
-
É. Lozes. Adjuncts Elimination in the Static Ambient Logic. In EXPRESS'03, ENTCS 96, pages 51-72. Elsevier Science Publishers, 2004. ( PDF | PS | PS.GZ | BibTeX )
-
D. Hirschkoff, É. Lozes and D. Sangiorgi. Minimality Results for Spatial Logics. In FSTTCS'03, LNCS 2914, pages 252-264. Springer, 2003. ( PDF | PS | PS.GZ | BibTeX )
-
D. Hirschkoff, É. Lozes and D. Sangiorgi. Separability, Expressiveness and Decidability of the Ambient Logic. In LICS'02, pages 423-432. IEEE Computer Society Press, 2002. ( PDF | PS | PS.GZ | BibTeX )
Theses
Other Publications
-
É. Lozes and J. Villard. Sharing Contract-Obedient Endpoints. Research Report LSV-11-23, Laboratoire Spécification et Vérification, ENS Cachan,
France, December 2011. 42 pages. ( PDF | BibTeX + Abstract )
-
J. Villard and É. Lozes. Heap-Hop, 2011. ( Web page | BibTeX + Abstract )
-
J. Villard, É. Lozes and R. Treinen. A Spatial Equational Logic for the Applied pi-calculus. Research Report LSV-08-10, Laboratoire Spécification et Vérification, ENS Cachan,
France, March 2008. 44 pages. ( PDF | BibTeX + Abstract )
-
S. Bardin, A. Finkel, É. Lozes and A. Sangnier. From Pointer Systems to Counter Systems Using Shape Analysis. In AVIS'06. 2006. ( PDF | PS | PS.GZ | BibTeX + Abstract )
-
É. Lozes. Separation logic preserves the expressive power of classical logic. In SPACE'04. 2004. ( PDF | PS | PS.GZ | BibTeX )