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

On the decision problem for two-variable first-order logic., , and . Bulletin of Symbolic Logic, 3 (1): 53-69 (1997)Can Datalog Be Approximated?, and . J. Comput. Syst. Sci., 55 (2): 355-369 (1997)On the Expressive Power of Datalog: Tools and a Case Study., and . J. Comput. Syst. Sci., 51 (1): 110-134 (1995)The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies., , , and . SIAM J. Comput., 38 (6): 2330-2355 (2009)A Game-Theoretic Approach to Constraint Satisfaction., and . AAAI/IAAI, page 175-181. AAAI Press / The MIT Press, (2000)Quasi-inverses of schema mappings., , , and . ACM Trans. Database Syst., 33 (2): 11:1-11:52 (2008)A Declarative Framework for Linking Entities., , , , and . ACM Trans. Database Syst., 41 (3): 17:1-17:38 (2016)Approximation Algorithms for Schema-Mapping Discovery from Data Examples., , , and . ACM Trans. Database Syst., 42 (2): 12:1-12:41 (2017)Peer data exchange., , , and . ACM Trans. Database Syst., 31 (4): 1454-1498 (2006)A Tutorial on Finite Model Theory (Abstract). LICS, page 122. IEEE Computer Society, (1993)