Solides non organisés: definition, implantation et plongement. - Didier Arquès; Isabelle Jacques (RAIRO Theor. Informatics Appl., 1991)

Classification des cartes pointées de genre 1 et relation fonctionelle associée. - Didier Arquès; Isabelle Jacques (Theor. Comput. Sci., 1993)

Résolution d'un problème de découpe à deux dimensions en programmation logique avec contraintes. - Isabelle Jacques; Bruno Legeard; Laurent Py (JFPLC, 1998)

Generation of OCL Constraints from B Abstract Machines. - Jean-Christophe Voisinet; Bruno Tatibouët; Isabelle Jacques (Software Engineering Research and Practice, 2005)

Understanding B Specifications with UML Class Diagram and OCL Constraints. - Bruno Tatibouët; Isabelle Jacques (ICEIS (3), 2006)