Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique
Production scientifique
Les résultats majeurs
INFORMATION-GEOMETRIC OPTIMIZATION ALGORITHMS: A UNIFYING PICTURE VIA INVARIANCE PRINCIPLES
02 mai 2017

Yann Ollivier, Ludovic Arnold, Anne Auger, Nikolaus Hansen - JMLR 18(18):1−65, 2017.
FORMAL MUTATION TESTING FOR CIRCUS
21 avril 2016

Alex Donizeti Betez Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simao Journal of Infor
Les contrats en cours
CIFRE THèSE VSSIL TODOROV -
   CIFRE THèSE VSSIL TODOROV

VOCAL - ANR
   VOCAL

CENERGY - DIGITEO
   CENERGY

TRAGIC - DIGITEO
   TRAGIC

ORACLE AMERICA INC -
   ORACLE AMERICA INC

Logiciels & Brevets
TAXOMAP ALIGNMENT
Un outil d'alignement de taxonomies

BSP++
The C++ Bulk Synchronous Parallelism Library

EDIFLOW
EdiFlow: workflows intéractifs pour l'analyse de données

LN2R-LT
Une méthode Logique et une méthode Numérique pour la Réconciliation de Références

Thèses et habilitations