Detection of transposable elements by their compositional bias. - Olivier Andrieu; Anna-Sophie Fiston; Dominique Anxolabéhère; Hadi Quesneville (BMC Bioinform., 2004)

The SuMo server: 3D search for protein functional sites. - Martin Jambon; Olivier Andrieu; Christophe Combet; Gilbert Deléage; François Delfaud; Christophe Geourjon (Bioinform., 2005)

Combined Evidence Annotation of Transposable Elements in Genome Sequences. - Hadi Quesneville; Casey M. Bergman; Olivier Andrieu; Delphine Autard; Danielle Nouaud; Michael Ashburner; Dominique Anxolabéhère (PLoS Comput. Biol., 2005)

MED-SuMoLig: A New Ligand-Based Screening Tool for Efficient Scaffold Hopping. - Olivier Sperandio; Olivier Andrieu; Maria A. Miteva; Minh-Quang Vo; Marc Souaille; François Delfaud; Bruno O. Villoutreix (J. Chem. Inf. Model., 2007)

Certified Development Tools Implementation in Objective Caml. - Bruno Pagano; Olivier Andrieu; Benjamin Canou; Emmanuel Chailloux; Jean-Louis Colaço; Thomas Moniot; Philippe Wang (PADL, 2008)

Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. - Bruno Pagano; Olivier Andrieu; Thomas Moniot; Benjamin Canou; Emmanuel Chailloux; Philippe Wang; Pascal Manoury; Jean-Louis Colaço (ICFP, 2009)

Handling State-Machines Specifications with GATeL. - Benjamin Blanc; Christophe Junke; Bruno Marre; Pascale Le Gall; Olivier Andrieu (MBT@ETAPS, 2010)