Véronique Benzaken
Véronique Benzaken a rédigé les 2 thèses suivantes :
Regroupement d'objets sur disque dans un systeme de bases de donnees oriente-objet
par Véronique Benzaken sous la direction de Claude Delobel - Paris 11
Sciences appliquées
Soutenue en 1990
Regroupement d'objets sur disque dans un systeme de bases de donnees oriente-objet
par Véronique Benzaken sous la direction de Claude Delobel - Paris 11
Sciences appliquées
Soutenue en 1989
Véronique Benzaken dirige actuellement la thèse suivante :
Langage certifié en Coq pour la provenance des données issues d'analyses bioinformatiques
par Rébecca Zucchini sous la direction de Véronique Benzaken - université Paris-Saclay
Informatique
En préparation depuis le 01-09-2019
Véronique Benzaken a dirigé les 10 thèses suivantes :
Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée
par Mohammed Houssem Eddine Hachmaoui sous la direction de Evelyne Contejean et de Véronique Benzaken . - université Paris-Saclay
Informatique
Soutenue le 16-10-2020
Au-delà des frontières entre langages de programmation et bases de données
par Julien Lopez sous la direction de Véronique Benzaken - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 13-09-2019
Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog
par Ştefania-Gabriela Dumbravă sous la direction de Véronique Benzaken et de Evelyne Contejean . - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 02-12-2016
Data-intensive interactive workflows for visual analytics
par Wael Khemiri sous la direction de Véronique Benzaken , Jean-Daniel Fekete et de Ioana Gabriela Manolescu Goujot . - Paris 11
Informatique
Soutenue le 12-12-2011
Langage de combinateurs pour XML : conception, typage, implantation
par Kim Nguyen sous la direction de Véronique Benzaken et de Giuseppe Castagna . - Paris 11
Informatique
Soutenue en 2008
XML access modules : towards physical data independence in XML databases
par Andrei Arion sous la direction de Véronique Benzaken et de Ioana Gabriela Manolescu Goujot . - Paris 11
Informatique
Soutenue en 2007
Langages de requêtes pour XML à base de patterns : conception, optimisation et implantation
par Cédric Miachon sous la direction de Véronique Benzaken - Paris 11
Informatique
Soutenue en 2006
Démonstration automatique en logique temporelle : application aux contraintes d'intégrité dynamiques
par Sébastien Praud sous la direction de Véronique Benzaken et de Serenella Cerrito . - Paris 11
Informatique
Soutenue en 2002
Optimisation de requêtes sur des structures d'arbres : application à l'objet et à XML
par Fanny Wattez sous la direction de Véronique Benzaken et de Sophie Cluet . - Paris 1
Informatique
Soutenue en 2001
Bases de données orientées objet, contraintes d'intégrité et analyse statique
par Xavier Schaefer sous la direction de Véronique Benzaken - Paris 1
Mathématique
Soutenue en 1997
Véronique Benzaken a été président de jury des 5 thèses suivantes :
Higher-Order Confluence and Universe Embedding in the Logical Framework
par Gaspard Ferey sous la direction de Gilles Dowek - université Paris-Saclay
Informatique
Soutenue le 30-06-2021
Quelques problèmes d'algorithmique et combinatoires en théorie des grapphes
par Sylvain Legay sous la direction de Yannis Manoussakis - Université Paris-Saclay (ComUE)
Mathématiques et Informatique
Soutenue le 15-02-2017
Comparaison et évolution de schémas XML
par Joshua Amavi sous la direction de Mírian Halfeld Ferrari Alves et de Pierre Réty . - Orléans
Informatique
Soutenue le 28-11-2014
Méthode et outils de coévolution des profils UML et de leurs modèles : pour une meilleure prise en compte de leurs impacts par les concepteurs
par Fadoi Lakhal sous la direction de Dominique Rieu - Paris 11
Informatique
Soutenue le 22-04-2014
Compilation certifiée de SCADE/LUSTRE
par Cédric Auger sous la direction de Marc Pouzet - Paris 11
Informatique
Soutenue le 07-02-2013
Véronique Benzaken a été rapporteur des 3 thèses suivantes :
Inférence de règles de contrôle d'accès pour assurer la confidentialité des données au niveau des vues matérialisées
par Sarah Nait Bahloul sous la direction de Mohand Saïd Hacid et de Emmanuel Coquery . - Lyon 1
Informatique
Soutenue le 05-12-2013
Edition collaborative des documents semi-structurés
par Stéphane Martin sous la direction de Denis Lugiez - Aix-Marseille 1
Informatique
Soutenue le 08-09-2011
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité
par Ismael Barcenas Patino sous la direction de Nabil Layaida - Grenoble
Informatique
Soutenue le 14-02-2011
Véronique Benzaken a été membre de jury des 6 thèses suivantes :
Integrating Automated Theorem Provers in Proof Assistants
par Yacine El haddad sous la direction de Frédéric Blanqui et de Guillaume Burel . - université Paris-Saclay
Informatique
Soutenue le 09-09-2021
Interoperability between proof systems using the logical framework Dedukti
par François Thiré sous la direction de Gilles Dowek et de Stéphane Lengrand . - université Paris-Saclay
Informatique
Soutenue le 03-12-2020
Logique de requêtes à la XPath : systèmes de preuve et pertinence pratique
par Anthony Lick sous la direction de Sylvain Schmitz - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 08-07-2019
Sous-Typage par Saturation de Contraintes, Théorie et Implémentation
par Benoit Vaugon sous la direction de Michel Mauny - Université Paris-Saclay (ComUE)
Informatique
Soutenue le 15-03-2016
Decidability and complexity of simulation preorder for data-centric Web services
par Lakhdar Akroun sous la direction de Farouk Toumani - Clermont-Ferrand 2
Informatique
Soutenue le 08-12-2014
Bordures : de la sélection de vues dans un cube de données au calcul parallèle de fréquents maximaux
par Radu-Ionel Tofan sous la direction de Nicolas Hanusse et de Sofian Maabout . - Bordeaux 1
Informatique
Soutenue le 28-09-2010
