Olivier Andrieu

Publication Activity (10 Years)

Years Active: 2004-2010
Publications (10 Years): 0

Publications

Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu
Handling State-Machines Specifications with GATeL. Electron. Notes Theor. Comput. Sci. 264 (3) (2010)
Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework. ICFP (2009)
Bruno Pagano, Olivier Andrieu, Benjamin Canou, Emmanuel Chailloux, Jean-Louis Colaço, Thomas Moniot, Philippe Wang
Certified Development Tools Implementation in Objective Caml. PADL (2008)
Olivier Sperandio, Olivier Andrieu, Maria A. Miteva, Minh-Quang Vo, Marc Souaille, François Delfaud, Bruno O. Villoutreix
MED-SuMoLig: A New Ligand-Based Screening Tool for Efficient Scaffold Hopping. J. Chem. Inf. Model. 47 (3) (2007)
Hadi Quesneville, Casey M. Bergman, Olivier Andrieu, Delphine Autard, Danielle Nouaud, Michael Ashburner, Dominique Anxolabéhère
Combined Evidence Annotation of Transposable Elements in Genome Sequences. PLoS Comput. Biol. 1 (2) (2005)
Martin Jambon, Olivier Andrieu, Christophe Combet, Gilbert Deléage, François Delfaud, Christophe Geourjon
The SuMo server: 3D search for protein functional sites. Bioinform. 21 (20) (2005)
Olivier Andrieu, Anna-Sophie Fiston, Dominique Anxolabéhère, Hadi Quesneville
Detection of transposable elements by their compositional bias. BMC Bioinform. 5 (2004)