| 2009 |
|---|
| 13 | EE | Kshitij Bansal,
Rémi Brochenin,
Étienne Lozes:
Beyond Shapes: Lists with Ordered Data.
FOSSACS 2009: 425-439 |
| 2008 |
|---|
| 12 | EE | Étienne Lozes,
Jules Villard:
A Spatial Equational Logic for the Applied pi-Calculus.
CONCUR 2008: 387-401 |
| 11 | EE | Rémi Brochenin,
Stéphane Demri,
Étienne Lozes:
On the Almighty Wand.
CSL 2008: 323-338 |
| 10 | EE | Daniel Hirschkoff,
Étienne Lozes,
Davide Sangiorgi:
Separability in the Ambient Logic
CoRR abs/0806.3849: (2008) |
| 2007 |
|---|
| 9 | EE | Rémi Brochenin,
Stéphane Demri,
Étienne Lozes:
Reasoning About Sequences of Memory States.
LFCS 2007: 100-114 |
| 2006 |
|---|
| 8 | EE | Daniel Hirschkoff,
Étienne Lozes,
Davide Sangiorgi:
On the Expressiveness of the Ambient Logic.
Logical Methods in Computer Science 2(2): (2006) |
| 7 | EE | Luís Caires,
Étienne Lozes:
Elimination of quantifiers and undecidability in spatial logics for concurrency.
Theor. Comput. Sci. 358(2-3): 293-314 (2006) |
| 2005 |
|---|
| 6 | EE | Daniel Hirschkoff,
Étienne Lozes,
Davide Sangiorgi:
On the Expressiveness of the Ambient Logic
CoRR abs/cs/0510010: (2005) |
| 5 | EE | Étienne Lozes:
Elimination of spatial connectives in static spatial logics.
Theor. Comput. Sci. 330(3): 475-499 (2005) |
| 2004 |
|---|
| 4 | EE | Luís Caires,
Étienne Lozes:
Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency.
CONCUR 2004: 240-257 |
| 3 | EE | Étienne Lozes:
Adjuncts elimination in the static ambient logic.
Electr. Notes Theor. Comput. Sci. 96: 51-72 (2004) |
| 2003 |
|---|
| 2 | EE | Daniel Hirschkoff,
Étienne Lozes,
Davide Sangiorgi:
Minimality Results for the Spatial Logics.
FSTTCS 2003: 252-264 |
| 2002 |
|---|
| 1 | EE | Daniel Hirschkoff,
Étienne Lozes,
Davide Sangiorgi:
Separability, Expressiveness, and Decidability in the Ambient Logic.
LICS 2002: 423-432 |
