Locally Substitutable Languages for Enhanced Inductive Leaps. - François Coste; Gaëlle Garet; Jacques Nicolas (ICGI, 2012)

Automated Enzyme Classification by Formal Concept Analysis. - François Coste; Gaëlle Garet; Agnès Groisillier; Jacques Nicolas; Thierry Tonon (ICFCA, 2014)

A bottom-up efficient algorithm learning substitutable languages from positive examples. - François Coste; Gaëlle Garet; Jacques Nicolas (ICGI, 2014)

Classification et caractérisation de familles enzymatiques à l'aide de méthodes formelles. (Classification and characterization of enzymatic families with formal methods). - Gaëlle Garet (2014)