Author of the publication

Weaker forms of monotonicity for declarative networking: a more fine-grained answer to the calm-conjecture.

, , , and . PODS, page 64-75. ACM, (2014)

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

On the power of tree-walking automata., and . Inf. Comput., 183 (1): 86-103 (2003)A formal model for an expressive fragment of XSLT., , and . Inf. Syst., 27 (1): 21-39 (2002)Simplifying XML Schema: Single-type approximations of regular tree languages., , , , and . J. Comput. Syst. Sci., 79 (6): 910-936 (2013)Finite state machines for strings over infinite alphabets., , and . ACM Trans. Comput. Log., 5 (3): 403-435 (2004)Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151)., , , , , , , , , and 11 other author(s). Dagstuhl Manifestos, 7 (1): 1-29 (2018)Chisel: Sculpting Tabular and Non-Tabular Data on the Web., , , and . WWW (Companion Volume), page 139-142. ACM, (2018)Which XML Schemas Admit 1-Pass Preorder Typing?, , and . ICDT, volume 3363 of Lecture Notes in Computer Science, page 68-82. Springer, (2005)Parallel-Correctness and Transferability for Conjunctive Queries under Bag Semantics., , and . ICDT, volume 98 of LIPIcs, page 18:1-18:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)Automata for Unary Queries on Trees., and . Grundlagen von Datenbanken, volume Math/Inf/99/16 of Jeaner Schriften zur Mathematik und Informatik, page 102-106. Friedrich-Schiller-Universität Jena, (1999)Automata-and Logic-Based Pattern Languages for Tree-Structured Data., and . Semantics in Databases, volume 2582 of Lecture Notes in Computer Science, page 160-178. Springer, (2001)