Search the dblp DataBase

Publications of Author

1. Luís Caires, Étienne Lozes
   Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2004, pp:240-257 [Conf]
   
2. Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
   Minimality Results for the Spatial Logics. [Citation Graph (0, 0)][DBLP]
   FSTTCS, 2003, pp:252-264 [Conf]
   
3. Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
   Separability, Expressiveness, and Decidability in the Ambient Logic. [Citation Graph (0, 0)][DBLP]
   LICS, 2002, pp:423-432 [Conf]
   
4. Étienne Lozes
   Adjuncts elimination in the static ambient logic. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2004, v:96, n:, pp:51-72 [Journal]
   
5. Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi
   On the Expressiveness of the Ambient Logic. [Citation Graph (0, 0)][DBLP]
   Logical Methods in Computer Science, 2006, v:2, n:2, pp:- [Journal]
   
6. Luís Caires, Étienne Lozes
   Elimination of quantifiers and undecidability in spatial logics for concurrency. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2006, v:358, n:2-3, pp:293-314 [Journal]
   
7. Étienne Lozes
   Elimination of spatial connectives in static spatial logics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2005, v:330, n:3, pp:475-499 [Journal]
   
8. Rémi Brochenin, Stéphane Demri, Étienne Lozes
   Reasoning About Sequences of Memory States. [Citation Graph (0, 0)][DBLP]
   LFCS, 2007, pp:100-114 [Conf]
   
9. 
   Proving Copyless Message Passing. [Citation Graph (, )][DBLP]
   
   
10. 
    A Spatial Equational Logic for the Applied pi-Calculus. [Citation Graph (, )][DBLP]
    
    
11. 
    On the Almighty Wand. [Citation Graph (, )][DBLP]
    
    
12. 
    Beyond Shapes: Lists with Ordered Data. [Citation Graph (, )][DBLP]
    
    
13. 
    Tracking Heaps That Hop with Heap-Hop. [Citation Graph (, )][DBLP]
    
    
14. 
    Towards Model-Checking Programs with Lists. [Citation Graph (, )][DBLP]
    
    
15. 
    Reasoning about sequences of memory states. [Citation Graph (, )][DBLP]
    
    
16. 
    On the Expressiveness of the Ambient Logic [Citation Graph (, )][DBLP]
    
    
17. 
    Separability in the Ambient Logic [Citation Graph (, )][DBLP]