PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Benzaken, Véronique"

Author of the publication

copydeleteadd this publication to your clipboard
XML Typechecking.

, , , , and . Encyclopedia of Database Systems (2nd ed.), Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Benzaken, Véronique
add a person with the name Benzaken, Véronique
 

Other publications of authors with the same name

Définition et Gestion de Constraintes d'Intégrité dans le Language Thémis., , and . BDA, page 425-. INRIA, (1993)Structured Materialized Views for XML Queries., , , and . BDA, (2006)Pattern by Example: type-driven visual programming of XML queries., , , and . BDA, (2007)Semantic Subtyping., , and . LICS, page 137-146. IEEE Computer Society, (2002)Algebra-Based Identification of Tree Patterns in XQuery., , , , and . FQAS, volume 4027 of Lecture Notes in Computer Science, page 13-25. Springer, (2006)Vérification statique de contraintes d'intégrité dynamiques : une approche sémantique., , and . Proc. 15èmes Journées Bases de Données Avancées, BDA, page 283-301. Actes, (1999)Certifying Standard and Stratified Datalog Inference Engines in SSReflect., , and . ITP, volume 10499 of Lecture Notes in Computer Science, page 171-188. Springer, (2017)Pattern by example: type-driven visual programming of XML queries., , , and . PPDP, page 131-142. ACM, (2008)A Coq Formalisation of SQL's Execution Engines., , , and . ITP, volume 10895 of Lecture Notes in Computer Science, page 88-107. Springer, (2018)Enforcing Integrity Constraints in Database Programming Languages., , and . POS, page 282-299. Springer, (1992)