Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique
Production scientifique
Les résultats majeurs
FORMAL MUTATION TESTING FOR CIRCUS
21 avril 2016

Alex Donizeti Betez Alberto, Ana Cavalcanti, Marie-Claude Gaudel, Adenilso Simao Journal of Infor
CELL-CELL COMMUNICATION ENHANCES THE CAPACITY OF CELL ENSEMBLES TO SENSE SHALLOW GRADIENTS DURING MORPHOGENESIS
09 février 2016

D. Ellison, A. Mugler, M.D. Brennan, S.H. Lee, R.J. Huebner, E.R. Shamir, L.A. Woo, J. Kim, P. Amar,
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