Knowledge Tree

researcher / Véronique Benzaken

Véronique Benzaken

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Regroupement d'objets sur disque dans un systeme de bases de donnees oriente-objet

Directed Thesis:

Traduction mécanisée et certifiée en Coq d'une algèbre relationnelle étendue pour SQL vers une algèbre imbriquée

Au-delà des frontières entre langages de programmation et bases de données

Formalisation en Coq de Bases de Données Relationnelles et Déductives -et Mécanisation de Datalog

Data-intensive interactive workflows for visual analytics

Langage de combinateurs pour XML : conception, typage, implantation

XML access modules : towards physical data independence in XML databases

Langages de requêtes pour XML à base de patterns : conception, optimisation et implantation

Démonstration automatique en logique temporelle : application aux contraintes d'intégrité dynamiques

Optimisation de requêtes sur des structures d'arbres : application à l'objet et à XML