Catherine Belleannée

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

Collaborative distances:

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

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