Étienne Lozes

	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

Coauthor Index

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 Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page