Production - Laboratoire de Recherche en Informatique

Les résultats majeurs

		ON THEOREM PROVER-BASED TESTING 10 janvier 2012 Achim D. Brucker and Burkhart Wolff

		LIVRE WEB DATA MANAGEMENT PAR S. ABITEBOUL, I. MANOLESCU, P. RIGAUX, M.-C. ROUSSET ET P. SENELLART 15 décembre 2011 Livre Web Data Management par S. Abiteboul, I. Manolescu, P. Rigaux, M.-C. Rousset et P. Senellart,

> tous les résultats

Les contrats en cours

TYPEX - ANR
   TYPEFUL CERTIFIED XML: : INTEGRATING LANGUAGE, LOGIC, AND DATA- ORIENTED BEST PRACTICES

PARAL-ITP - ANR
   PARALLéLISATION DES SYSTèMES DE PREUVE INTERACTIFS DE HAUTE FIABILITE

TEOMATRO - ANR
   NOUVELLES TENDANCES DANS LES MATROïDES : POLYTOPES DES BASES

PIMI - ANR
   PERSONNAL INFORMATION MANAGEMENT THROUGH INTERNET

SIMINOLE - ANR
   SIMINOLE

> tous les contrats