- On the Almighty Wand Rmi Brochenin & Stphane Demri & Etienne Lozes
- Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency
- Proprietes fonctionnelles Proprietes de progr`es
- Towards model-checking pointer systems Alain Finkel1
- Distrib. Comput. (2010) 23:6183 DOI 10.1007/s00446-010-0112-6
- Reasoning about sequences of memory states6 Remi Brochenina
- Logical Methods in Computer Science Vol. 2 (2:3) 2006, pp. 135
- Tracking Heaps that Hop with Heap-Hop Jules Villard Etienne Lozes Cristiano Calcagno
- Beyond Shapes: Lists with Ordered Data Kshitij Bansal
- A Spatial Equational Logic for the Applied -Calculus Etienne Lozes and Jules Villard
- Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency
- Jules Villard, Etienne Lozes, Ralf Treinen
- AVIS 2006 Preliminary Version From pointer systems to counter systems using
- Proving Copyless Contract-Based Message Jules Villard
- Un tour dans les toiles tienne Lozes
- Programmes `a pointeurs Preuves de programmes
- Journee nouveaux entrants Etienne Lozes
- Numero d'ordre: 289 Numero attribue par la bibliotheque: 04ENSL0 289
- Separability, Expressiveness, and Decidability in the Ambient Logic
- Minimality results for the spatial logics D. Hirschkoff1
- Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency
- Logical Methods in Computer Science Vol. 4 (3:4) 2008, pp. 144
- Separability, Expressiveness, and Decidability in the Ambient Logic
- Logical Methods in Computer Science Vol. 4 (3:4) 2008, pp. 1--44
- AVIS 2006 Preliminary Version From pointer systems to counter systems using
- Minimality results for the spatial logics D. Hirschko# 1 ,
- Towards modelchecking pointer systems # Alain Finkel 1 , tienne Lozes 1 , and Arnaud Sangnier 1,2
- Elimination of spatial connectives in static spatial logics
- EXPRESS 2003 Preliminary Version Elimination of spatial connectives
- Logical Methods in Computer Science Vol. 2 (2:3) 2006, pp. 1--35
- Separation logic preserves the expressive power of classical logic
- Separation logic preserves the expressive power of classical logic
