Français Anglais
Accueil Annuaire Plan du site
Home > Research results
Research results
Research highlights
FORMAL MUTATION TESTING FOR CIRCUS
21 April 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
9 February 2016

D. Ellison, A. Mugler, M.D. Brennan, S.H. Lee, R.J. Huebner, E.R. Shamir, L.A. Woo, J. Kim, P. Amar
Contracts & grants
CIFRE THèSE VSSIL TODOROV -
   CIFRE THèSE VSSIL TODOROV

VOCAL - ANR
   VOCAL

PGMO/PRMO 2015 -
   PGMO/PRMO 2015

CENERGY - DIGITEO
   CENERGY

TRAGIC - DIGITEO
   TRAGIC

Software & patents
TAXOMAP ALIGNMENT
A prototype to automate semantic mappings between taxonomies

BSP++
The C++ Bulk Synchronous Parallelism Library

EDIFLOW
EdiFlow: interactive workflows for data analytics

LN2R-LT
A Logical method and a Numerical method for Reference Reconciliation

Ph.D. dissertations & Faculty habilitations