Olivier Andrieu

According to our database1, Olivier Andrieu authored at least 7 papers between 2004 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Handling State-Machines Specifications with GATeL.
Proceedings of the Sixth Workshop on Model-Based Testing, 2010

2009
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.
Proceedings of the Proceeding of the 14th ACM SIGPLAN international conference on Functional programming, 2009

2008
Certified Development Tools Implementation in Objective Caml.
Proceedings of the Practical Aspects of Declarative Languages, 2008

2007
MED-SuMoLig: A New Ligand-Based Screening Tool for Efficient Scaffold Hopping.
J. Chem. Inf. Model., 2007

2005
Combined Evidence Annotation of Transposable Elements in Genome Sequences.
PLoS Comput. Biol., 2005

The SuMo server: 3D search for protein functional sites.
Bioinform., 2005

2004
Detection of transposable elements by their compositional bias.
BMC Bioinform., 2004


  Loading...