Static Learning for an Adaptive Theorem Prover. - Catherine Belleannée; Jacques Nicolas (EWSL, 1991)

A Pragmatic Reconstruction of lambda-Prolog. - Catherine Belleannée; Pascal Brisset; Olivier Ridoux (J. Log. Program., 1999)

Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. - Catherine Belleannée; Olivier Ridoux (Tech. Sci. Informatiques, 2003)

Logol: Expressive Pattern Matching in Sequences. Application to Ribosomal Frameshift Modeling. - Catherine Belleannée; Olivier Sallou; Jacques Nicolas (PRIB, 2014)

Phylogenetic inference of the emergence of sequence modules and protein-protein interactions in the ADAMTS-TSL family. - Olivier Dennler; François Coste; Samuel Blanquart; Catherine Belleannée; Nathalie Théret (PLoS Comput. Biol., 2023)