Catherine Belleannée

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

Collaborative distances:

• Dijkstra number of five.
• 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

Tech. Sci. Informatiques, 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