Catherine Belleannée

Publication Activity (10 Years)

Years Active: 1991-2023
Publications (10 Years): 1

Top Topics

Biological Processes

Protein Interaction

Pattern Matching

Top Venues

PLoS Comput. Biol.

Publications

Olivier Dennler, François Coste, Samuel Blanquart, Catherine Belleannée, Nathalie Théret
Phylogenetic inference of the emergence of sequence modules and protein-protein interactions in the ADAMTS-TSL family. PLoS Comput. Biol. 19 (8) (2023)
Catherine Belleannée, Olivier Sallou, Jacques Nicolas
Logol: Expressive Pattern Matching in Sequences. Application to Ribosomal Frameshift Modeling. PRIB (2014)
Catherine Belleannée, Olivier Ridoux
Programmation, logique et calcul: Présentation d'un enseignement de maîtrise d'informatique. JFPLC (2003)
Catherine Belleannée, Olivier Ridoux
Programmation, logique et calcul. Présentation d'un enseignement de maîtrise d'informatique. Tech. Sci. Informatiques 22 (1) (2003)
Catherine Belleannée, Pascal Brisset, Olivier Ridoux
A Pragmatic Reconstruction of lambda-Prolog. J. Log. Program. 41 (1) (1999)
Catherine Belleannée, Jacques Nicolas
Static Learning for an Adaptive Theorem Prover. EWSL (1991)