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

PGMO/PRMO 2015 -
   PGMO/PRMO 2015

TRAGIC - DIGITEO
   TRAGIC

CENERGY - DIGITEO
   CENERGY

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