Adaptation de modèle  Algorithme  Algorithmes  Algorithmes optimaux  Analyse des données  Analyse statique  Arbres réguliers  Assistants de preuve  Base de donnée  Bases de Données  Bases de données -- Interrogation  Bases de données  Bases de données orientées objet  Bordure  Calcul des prédicats  Calcul parallèle des bordures  Certification  Classification d'impact  Coloriage  Coloriage de graphes  Compilation  Compilation  Complexité  Complexité de calcul  Confidentialité des données  Contraintes  Contraintes de comptage  Coq Proof Assistant  Cube de données  Data  Data Centric Languages and Systems  Datalog  Documents semi-structurés  Edition collaborative  Entrepôt de données  Evolution de profil UML  Filtrage par motifs  Flux de travail  Formal Mechanization  Formalisations mathématiques  Fouilles de données  Gestion dynamique des données  Graphe  Graphe de recherche  Graphes, Théorie des  Interface graphique  Langage de programmation  Langage flots de données  Langage fonctionnel  Langage impératif  Langages d'interrogation  Langages de données  Langages de programmation -- Sémantique  Langages de programmation  Langages formels  Logiciels -- Vérification  Logiciels  Logique  Logique mathématique  Logique temporelle  Logiques modales  Matérialisation de vues  Modèles mathématiques  Motifs fréquents maximaux  Méthodes formelles  Navigation XPath  Olap  Optimisation  Optimisation de requêtes  Optimisation des requêtes  Opérateur d'évolution  Opération d'édition commutatives  Ordinateurs -- Accès -- Contrôle  Ordinateurs -- Programmation  Pair-à-Pair  Patron d'évolution  Preuve de programmes  Programmation  Protection de l'information  Règles de contrôle d'accès  Réseaux poste à poste  Résumés structurels  Réécriture de requêtes  Service Web orienté données  Services Web  Sous-Typage  Stabilité  Synchrone  Syntaxe abstraite  Système d'information décisionnel  Systèmes workflow  Sémantique  Théorie et implantations deslangages de programmation  Traduction par validation  Transducteurs d'arbres  Transformées opérationnelles  Travail collaboratif  Typage  Type pour XML  UML  Visualisation  Visualisation analytique  Vues d'autorisations  Vues matérialisées  Vues matérialisées pour XML  Vérification Formel  Vérification de programmes  XML  XML types  XPath  Xml  

Véronique Benzaken a rédigé les 2 thèses suivantes :


Véronique Benzaken dirige actuellement les 2 thèses suivantes :

Spécification profonde en Coq de langages NoSQL

par Mohammed houssem eddine Hachmaoui sous la direction de Evelyne Contejean et de Véronique Benzaken . - Paris Saclay

Informatique
En préparation depuis le 01-10-2016
Thèse en préparation

Informatique
En préparation depuis le 01-10-2015
Thèse en préparation


Véronique Benzaken a dirigé les 7 thèses suivantes :


Véronique Benzaken a été président de jury des 3 thèses suivantes :

Informatique
Soutenue le 07-02-2013
Thèse soutenue

Véronique Benzaken a été rapporteur des 3 thèses suivantes :


Véronique Benzaken a été membre de jury des 3 thèses suivantes :