On a Generalised Logicality Theorem. - Marc Aiguier; Diane Bahrami; Catherine Dubois (AISC, 2002)

Une approche générique de la réécriture. - Marc Aiguier; Diane Bahrami (Tech. Sci. Informatiques, 2003)

An Abstract Way to Define Rewriting Logic. - Marc Aiguier; Diane Bahrami; Delphine Longuet (FSEN, 2005)

Structures for Abstract Rewriting. - Marc Aiguier; Diane Bahrami (J. Autom. Reason., 2007)

Symbolic Execution Techniques Extended to Systems. - Christophe Gaston; Marc Aiguier; Diane Bahrami; Arnault Lapitre (ICSEA, 2009)