Véronique Benzaken's Home page: Research

Links Publications

• Database Programming languages for XML: types, patterns, queries: design of CDuce
• Security for XML-based middleware
• Look at CDuce project's site and < Be CDuce'd: www.cduce.org />
• Object-oriented databases
• Integrity Constraints
• Application of Static Analysis (Type Theory, Abstract Interpretation...)

• Projet exploratoire RNTL GraphDuce.
• Action Specifique du CNRS Langages, types, securite et integrite pour donnees semi-structurees
• ACI Securite Informatique : Projet CASC
• ACI Masse de Donnees Projet TRALALA

• Phd Students (In French)

Véronique Benzaken's Home page: Research

Links Publications