| |
| 2009 | ||
|---|---|---|
| 3 | EE | Kshitij Bansal, Rémi Brochenin, Étienne Lozes: Beyond Shapes: Lists with Ordered Data. FOSSACS 2009: 425-439 |
| 2008 | ||
| 2 | EE | Rémi Brochenin, Stéphane Demri, Étienne Lozes: On the Almighty Wand. CSL 2008: 323-338 |
| 2007 | ||
| 1 | EE | Rémi Brochenin, Stéphane Demri, Étienne Lozes: Reasoning About Sequences of Memory States. LFCS 2007: 100-114 |
| 1 | Kshitij Bansal | [3] |
| 2 | Stéphane Demri | [1] [2] |
| 3 | Étienne Lozes | [1] [2] [3] |