Rémi Brochenin

	2009
3		Kshitij Bansal, Rémi Brochenin, Étienne Lozes: Beyond Shapes: Lists with Ordered Data. FOSSACS 2009: 425-439
	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	[3]
2	Stéphane Demri	[1] [2]
3	Étienne Lozes	[1] [2] [3]