Français Anglais
Accueil Annuaire Plan du site
Accueil > Production scientifique > Résultat majeur
Production scientifique
Résultat majeur : EFFICIENT ASYMMETRIC INCLUSION OF REGULAR EXPRESSIONS WITH INTERLEAVING AND COUNTING FOR XML TYPE-CHECKING.
EFFICIENT ASYMMETRIC INCLUSION OF REGULAR EXPRESSIONS WITH INTERLEAVING AND COUNTING FOR XML TYPE-CHECKING.
30 avril 2013

D. Colazzo, G. Ghelli, L. Pardini, C. Sartiani. Theoretical Computer Science (TCS).




Activités de recherche
  ° Bases de données
  ° Théorie des types

Equipe
  ° Bases de Données

Contact
  [aucun]
Résultats majeurs
BEST PAPER AWARD: SELF-STABILIZING DISTRIBUTED STABLE MARRIAGE
05 novembre 2017
SSS 2017, M. Laveau, G. Manoussakis, J. Beauquier, T. Bernard, J. Burman, J. Cohen, and L. Pilard

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

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,

COMPUTING WITH SYNTHETIC PROTOCELLS
13 mai 2015
Alexis Courbet, Franck Molina and Patrick Amar