Author of the publication

Parallel-Correctness and Parallel-Boundedness for Datalog Programs.

, , , and . ICDT, volume 127 of LIPIcs, page 14:1-14:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

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

Learning deterministic regular expressions for the inference of schemas from XML data., , , and . WWW, page 825-834. ACM, (2008)SchemaScope: a system for inferring and cleaning XML schemas., , and . SIGMOD Conference, page 1259-1262. ACM, (2008)Allocating Isolation Levels to Transactions in a Multiversion Setting., , and . PODS, page 69-78. ACM, (2023)Succinctness of the Complement and Intersection of Regular Expressions., and . STACS, volume 1 of LIPIcs, page 325-336. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2008)Extensions of Attribute Grammars for Structured Document Queries.. DBPL, volume 1949 of Lecture Notes in Computer Science, page 99-116. Springer, (1999)Automata, Logic, and XML.. CSL, volume 2471 of Lecture Notes in Computer Science, page 2-26. Springer, (2002)Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture., , , and . PODS, page 64-75. ACM, (2014)Complexity and composition of synthesized web services., , , , and . PODS, page 231-240. ACM, (2008)Expressiveness and complexity of xml publishing transducers., , and . PODS, page 83-92. ACM, (2007)BioScout: a life-science query monitoring system., , and . EDBT, volume 261 of ACM International Conference Proceeding Series, page 730-734. ACM, (2008)