 | 2009 |
| 4 |  | 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 |
| 3 |  | 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 |
| 2 |  | 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) |
| 2004 |
| 1 |  | Olivier Andrieu,
Anna-Sophie Fiston,
Dominique Anxolabéhère,
Hadi Quesneville:
Detection of transposable elements by their compositional bias.
BMC Bioinformatics 5: 94 (2004) |