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

ArtForm: a tool for exploring the codebase of form-based websites., , , and . ISSTA, page 380-383. ACM, (2017)E-services: a look behind the curtain., , , and . PODS, page 1-14. ACM, (2003)Generating collection transformations from proofs., and . Proc. ACM Program. Lang., 5 (POPL): 1-28 (2021)Inference from Visible Information and Background Knowledge., , , , and . ACM Trans. Comput. Log., 22 (2): 13:1-13:69 (2021)The Impact of Virtual Views on Containment., and . Proc. VLDB Endow., 3 (1): 297-308 (2010)Logic-based Perspectives on Query Reformulationover Restricted Interfaces.. SIGMOD Record, 47 (2): 5-16 (2018)XML Subtree Queries: Specification and Composition., and . DBPL, volume 3774 of Lecture Notes in Computer Science, page 138-153. Springer, (2005)Expressive Power: The Finite Case., and . Constraint Databases, Springer, (2000)Definability and Interpolation within Decidable Fixpoint Logics., , and . Logical Methods in Computer Science, (2019)Hierarchies of Measure-Theoretic Ultrafilters.. Ann. Pure Appl. Log., 97 (1-3): 203-219 (1999)