Author of the publication

On the equivalence of distributed systems with queries and communication.

, , and . J. Comput. Syst. Sci., 79 (6): 739-762 (2013)

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

Guarded Negation., , and . ICALP (2), volume 6756 of Lecture Notes in Computer Science, page 356-367. Springer, (2011)Active Learning of GAV Schema Mappings., , , and . PODS, page 355-368. ACM, (2018)Recursive Programs for Document Spanners., , , and . ICDT, volume 127 of LIPIcs, page 13:1-13:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2019)Database Constraints and Homomorphism Dualities., , and . CP, volume 6308 of Lecture Notes in Computer Science, page 475-490. Springer, (2010)Craig Interpolation for Linear Temporal Languages., and . CSL, volume 5771 of Lecture Notes in Computer Science, page 287-301. Springer, (2009)Designing and refining schema mappings via data examples., , , and . SIGMOD Conference, page 133-144. ACM, (2011)The complexity of query containment in expressive fragments of XPath 2.0., and . PODS, page 73-82. ACM, (2007)Data exchange with arithmetic operations., , and . EDBT, page 537-548. ACM, (2013)The partition semantics of questions, syntactically, and . CoRR, (2002)Laconic Schema Mappings: Computing the Core with SQL Queries., , , and . PVLDB, 2 (1): 1006-1017 (2009)