Author of the publication

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.

 

Other publications of authors with the same name

StatiX: making XML count., , , , and . SIGMOD Conference, page 181-191. ACM, (2002)XML query optimization in the presence of side effects., , , and . SIGMOD Conference, page 339-352. ACM, (2008)Translating Canonical SQL to Imperative Code in Coq., , , , , , and . CoRR, (2022)Growing XQuery., and . ECOOP, volume 2743 of Lecture Notes in Computer Science, page 405-430. Springer, (2003)Building an Extensible XQuery Engine: Experiences with Galax (Extended Abstract)., and . XSym, volume 3186 of Lecture Notes in Computer Science, page 1-4. Springer, (2004)Querying Documents in Object Databases., , , , , and . Int. J. Digit. Libr., 1 (1): 5-19 (1997)A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization (Artifact)., , and . Dagstuhl Artifacts Ser., 1 (1): 08:1-08:2 (2015)Projecting XML Documents., and . VLDB, page 213-224. Morgan Kaufmann, (2003)Integrity Constraints for XML, and . Journal of Computer and System Sciences, 66 (1): 254-291 (February 2003)XQuery Scripting Extension 1.0, , , , , , and . World Wide Web Consortium, Working Draft WD-xquery-sx-10-20081203, (December 2008)