Rémi Brochenin

	2012
5		Rémi Brochenin, Stéphane Demri, Étienne Lozes: On the almighty wand. Inf. Comput. 211: 106-137 (2012)
	2009
4		Kshitij Bansal, Rémi Brochenin, Étienne Lozes: Beyond Shapes: Lists with Ordered Data. FOSSACS 2009: 425-439
3		Rémi Brochenin, Stéphane Demri, Étienne Lozes: Reasoning about sequences of memory states. Ann. Pure Appl. Logic 161(3): 305-323 (2009)
	2008
2		Rémi Brochenin, Stéphane Demri, Étienne Lozes: On the Almighty Wand. CSL 2008: 323-338
	2007
1		Rémi Brochenin, Stéphane Demri, Étienne Lozes: Reasoning About Sequences of Memory States. LFCS 2007: 100-114

Coauthor Index

1	Kshitij Bansal	[4]
2	Stéphane Demri	[1] [2] [3] [5]
3	Étienne Lozes	[1] [2] [3] [4] [5]

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page