Catherine Belleannée

According to our database, Catherine Belleannée authored at least 6 papers between 1991 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

FUSE-PhyloTree: linking functions and sequence conservation modules of a protein family through phylogenomic analysis.

Olivier Dennler, Elisa Chenel, François Coste, Samuel Blanquart, Catherine Belleannée, Nathalie Théret

Bioinform., 2025

2023

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

2014

Logol: Expressive Pattern Matching in Sequences. Application to Ribosomal Frameshift Modeling.

Catherine Belleannée, Olivier Sallou, Jacques Nicolas

Proceedings of the Pattern Recognition in Bioinformatics, 2014

2003

Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique.

Catherine Belleannée, Olivier Ridoux

Proceedings of the Journées Francophones de Programmation en Logique avec Contraintes (JFPLC 2003), 2003

1999

A Pragmatic Reconstruction of lambda-Prolog.

Catherine Belleannée, Pascal Brisset, Olivier Ridoux

J. Log. Program., 1999

1991

Static Learning for an Adaptive Theorem Prover.

Catherine Belleannée, Jacques Nicolas

Proceedings of the Machine Learning, 1991