Beyond Shapes: Lists with Ordered Data. - Kshitij Bansal; Rémi Brochenin; Étienne Lozes (FoSSaCS, 2009)

Reasoning about sequences of memory states. - Rémi Brochenin; Stéphane Demri; Étienne Lozes (Ann. Pure Appl. Log., 2009)

On the almighty wand. - Rémi Brochenin; Stéphane Demri; Étienne Lozes (Inf. Comput., 2012)

Separation logic : expressiveness, complexity, temporal extension. (Logique de séparation : expressivité, complexité, extension temporelle). - Rémi Brochenin (2013)

Abstract Disjunctive Answer Set Solvers. - Rémi Brochenin; Yuliya Lierler; Marco Maratea (ECAI, 2014)

Abstract Solvers for Quantified Boolean Formulas and their Applications. - Rémi Brochenin; Marco Maratea (AI*IA, 2015)

Abstract Answer Set Solvers for Cautious Reasoning. - Rémi Brochenin; Marco Maratea (ICLP (Technical Communications), 2015)

Disjunctive answer set solvers via templates. - Rémi Brochenin; Marco Maratea; Yuliya Lierler (Theory Pract. Log. Program., 2016)

Resource Usage Analysis from a Different Perspective on MOOC Dropout. - Rémi Brochenin; Joos C. A. M. Buijs; Mehrnoosh Vahdat; Wil M. P. van der Aalst (CoRR, 2017)

Abstract solvers for Dung's argumentation frameworks. - Rémi Brochenin; Thomas Linsbichler; Marco Maratea; Johannes Peter Wallner; Stefan Woltran (Argument Comput., 2018)