| 2012 | ||
|---|---|---|
| 23 | Martin Lange, Étienne Lozes: Model-Checking the Higher-Dimensional Modal mu-Calculus FICS 2012: 39-46 | |
| 22 | Rémi Brochenin, Stéphane Demri, Étienne Lozes: On the almighty wand. Inf. Comput. 211: 106-137 (2012) | |
| 2011 | ||
| 21 | Florent Jacquemard, Étienne Lozes, Ralf Treinen, Jules Villard: Multiple Congruence Relations, First-Order Theories on Terms, and the Frames of the Applied Pi-Calculus. TOSCA 2011: 166-185 | |
| 20 | Étienne Lozes, Jules Villard: Reliable Contracts for Unreliable Half-Duplex Communications. WS-FM 2011: 2-16 | |
| 2010 | ||
| 19 | Jules Villard, Étienne Lozes, Cristiano Calcagno: Tracking Heaps That Hop with Heap-Hop. TACAS 2010: 275-279 | |
| 18 | Étienne Lozes, Jules Villard: A spatial equational logic for the applied pi-calculus. Distributed Computing 23(1): 61-83 (2010) | |
| 2009 | ||
| 17 | Jules Villard, Étienne Lozes, Cristiano Calcagno: Proving Copyless Message Passing. APLAS 2009: 194-209 | |
| 16 | Kshitij Bansal, Rémi Brochenin, Étienne Lozes: Beyond Shapes: Lists with Ordered Data. FOSSACS 2009: 425-439 | |
| 15 | Rémi Brochenin, Stéphane Demri, Étienne Lozes: Reasoning about sequences of memory states. Ann. Pure Appl. Logic 161(3): 305-323 (2009) | |
| 2008 | ||
| 14 | Étienne Lozes, Jules Villard: A Spatial Equational Logic for the Applied pi-Calculus. CONCUR 2008: 387-401 | |
| 13 | Rémi Brochenin, Stéphane Demri, Étienne Lozes: On the Almighty Wand. CSL 2008: 323-338 | |
| 12 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi: Separability in the Ambient Logic CoRR abs/0806.3849: (2008) | |
| 11 | Étienne Lozes, Daniel Hirschkoff, Davide Sangiorgi: Separability in the Ambient Logic. Logical Methods in Computer Science 4(3): (2008) | |
| 2007 | ||
| 10 | Alain Finkel, Étienne Lozes, Arnaud Sangnier: Towards Model-Checking Programs with Lists. ILC 2007: 56-86 | |
| 9 | Rémi Brochenin, Stéphane Demri, Étienne Lozes: Reasoning About Sequences of Memory States. LFCS 2007: 100-114 | |
| 2006 | ||
| 8 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi: On the Expressiveness of the Ambient Logic. Logical Methods in Computer Science 2(2): (2006) | |
| 7 | 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 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi: On the Expressiveness of the Ambient Logic CoRR abs/cs/0510010: (2005) | |
| 5 | Étienne Lozes: Elimination of spatial connectives in static spatial logics. Theor. Comput. Sci. 330(3): 475-499 (2005) | |
| 2004 | ||
| 4 | Luís Caires, Étienne Lozes: Elimination of Quantifiers and Undecidability in Spatial Logics for Concurrency. CONCUR 2004: 240-257 | |
| 3 | Étienne Lozes: Adjuncts elimination in the static ambient logic. Electr. Notes Theor. Comput. Sci. 96: 51-72 (2004) | |
| 2003 | ||
| 2 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi: Minimality Results for the Spatial Logics. FSTTCS 2003: 252-264 | |
| 2002 | ||
| 1 | Daniel Hirschkoff, Étienne Lozes, Davide Sangiorgi: Separability, Expressiveness, and Decidability in the Ambient Logic. LICS 2002: 423-432 | |
| 1 | Kshitij Bansal | [16] |
| 2 | Rémi Brochenin | [9] [13] [15] [16] [22] |
| 3 | Luís Caires | [4] [7] |
| 4 | Cristiano Calcagno | [17] [19] |
| 5 | Stéphane Demri | [9] [13] [15] [22] |
| 6 | Alain Finkel | [10] |
| 7 | Daniel Hirschkoff | [1] [2] [6] [8] [11] [12] |
| 8 | Florent Jacquemard | [21] |
| 9 | Martin Lange | [23] |
| 10 | Davide Sangiorgi | [1] [2] [6] [8] [11] [12] |
| 11 | Arnaud Sangnier | [10] |
| 12 | Ralf Treinen | [21] |
| 13 | Jules Villard | [14] [17] [18] [19] [20] [21] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page