- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j4 |      | Benjamin Blanc, Christophe Junke, Bruno Marre, Pascale Le Gall, Olivier Andrieu: Handling State-Machines Specifications with GATeL. Electr. Notes Theor. Comput. Sci. 264(3): 3-17 (2010) |
| 2009 | ||
| c2 | | 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: 215-220 |
| 2008 | ||
| c1 | | 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: 2-17 |
| 2005 | ||
| j3 | | Martin Jambon, Olivier Andrieu, Christophe Combet, Gilbert Deléage, François Delfaud, Christophe Geourjon: The SuMo server: 3D search for protein functional sites. Bioinformatics 21(20): 3929-3930 (2005) |
| j2 | | 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 Computational Biology 1(2) (2005) |
| 2004 | ||
| j1 | | Olivier Andrieu, Anna-Sophie Fiston, Dominique Anxolabéhère, Hadi Quesneville: Detection of transposable elements by their compositional bias. BMC Bioinformatics 5: 94 (2004) |
Colors in the list of coauthors
Last update Fri May 24 01:45:05 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page