Equipes
  Bases de Données

Equipes-projets Inria communes


Resultats majeurs
  Type-based Detection of XML Query-Update Independence
  Materialized View Selection for XQuery Workloads
  Optimizing XML querying using type-based document projection Article@ACM Transactions on Database Systems (TODS) V. Benzaken, G. Castagna, D. Colazzo, K. Nguyễn
  Web Data Indexing in the Cloud: Efficiency and Cost Reductions
  Almost-Linear Inclusion for XML Regular Expression Types

Contrats
  ACI Masses de Données TRALALA
  WEBSTAND
  DOCFLOW
  CODEX

Logiciels et brevets
  CDuce
  Active XML
  OptimAX
  ULoad
  KadoP

Collaborations


Membres
  COLAZZO Dario
  BAAZIZI Mohamed Amine
  ULLIANA Federico
  MALLA Noor
  LEBLAY Julien

Thèses et habilitations
  XSEARCH, un moteur de recherche pour XML combinant la structure et le contenu
  Signer et raisonner sur les mises a jour d'arbres

° Algorithmes pour les grands volumes de données distribuées
° Algorithmique des systèmes en réseau
° Algorithmique distribuée
° Architectures parallèles
° biologie de synthese
° Biologie des systèmes
° Biologie structurale
° biologie synthetique
° Calcul à haute performance
° Calcul quantique
° Calibration d'algorithmes (sélection, ajustement d'hyper-paramètres)
° Codage réseau
° Collaboration médiatisée
° Combinatoire
° Compilation et optimisation des programmes
° Décision optimale en contexte incertain
° Définition de nouveaux critères
° Démonstration automatique, SMT et applications
° Distributed Design
° Fab lab
° Fabrication Numérique
° Formalisation de langages (de spécification et de programmation) dans les assistants de preuve
° Formalisation et preuves de programmes numériques
° Gestion de données du Web
° Ingénierie des systèmes interactifs