Book Chapters

• Schema Mapping Evolution through Composition and Inversion, in Schema Matching and Mapping, Z. Bellahsene, A. Bonifati, and E. Rahm (eds.), Data-Centric Systems and Applications Series, Springer 2010
• The Expressive Power of Logics on Finite Models, in Finite Model Theory and its Applications, EATCS Series: Texts in Theoretical Computer Science, Springer 2007
• A Logical Approach to Constraint Satisfaction, in Finite Model Theory and its Applications, EATCS Series: Texts in Theoretical Computer Science, Springer 2007

Articles in Journals and Conference Proceedings

• Local transformations and conjunctive-query equivalence, PODS 2012
• Learning schema mappings, ICDT 2012 - Best Paper Award
• On the data complexity of consistent query answering, ICDT 2012
• A dichotomy in the complexity of consistent query answering for queries with two atoms, Information Processing Letters 2012
• EIRENE: Interactive Design and Refinement of Schema Mappings via Data Examples, in Proceedings of the VLDB Endowment, Volume 4, Number 12, August 2011 (demo paper)
• Probabilistic data exchange, Journal of the ACM 2011
• Probabilistic data exchange, Conference proceedings version - ICDT 2010
• Designing and refining schema mappings via data examples, SIGMOD 2011
• Technical Perspective: The quest for a logic for polynomial time, Communications of the ACM 2011
• Reverse data exchange: coping with nulls, ACM Transactions on Database Systems 2011; invited from PODS 2009
• Reverse data exchange: coping with nulls, Conference proceedings version - PODS 2009
• Database constraints and homomorphism dualities, CP 2010
• Characterizing schema mappings via data examples, PODS 2010
• Structural characterizations of schema-mapping languages, Invited Research Highlight - Communications of the ACM 2010
• Structural characterizations of schema mappings languages, Conference proceedings version - ICDT 2009
• Laconic schema mappings: computing the core with SQL queries, VLDB 2009
• Random graphs and the parity quantifier, STOC 2009
• Repair checking in inconsistent databases: algorithms and complexity, ICDT 2009 - Best Paper Award
• The connectivity of Boolean satisfiability: computational and structural dichotomies, SIAM Journal of Computing 2009
• The connectivity of Boolean satisfiability: computational and structural dichotomies, Conference Proceedings version - ICALP 2006
• Structure identification of Boolean relations and plain bases for co-clones, Journal of Computer and System Sciences 2008
• Answering aggregate queries in data exchange, PODS 2008
• Towards a theory of schema-mapping optimization, PODS 2008
• Interactive generation of integrated schemas, SIGMOD 2008
• Quasi-inverses of schema mappings, ACM Transactions on Database Systems 2008; invited from PODS 2007
• Quasi-inverses of schema mappings, Conference proceedings version - PODS 2007
• Semi-automatic schema integration in Clio, VLDB 2007 - Demo Track
• Reflections on finite model theory, Invited Paper - LICS 2007
• Phase transitions of PP-complete satisfiability problems, Discrete Applied Mathematics 2007
• Peer data exchange, ACM Transactions on Database Systems; invited from PODS 2005
• Peer data exchange, Conference proceedings version - PODS 2005
• The containment problem for "real" conjunctive queries with inequalities, PODS 2006
• The complexity of data exchange, PODS 2006
• On preservation under homomorphisms and unions of conjunctive queries, Journal of the ACM 2006; invited from PODS 2004
• On preservation under homomorphisms and unions of conjunctive queries, Conference proceedings version - PODS 2004
• Composing schema mappings: second-order dependencies to the rescue, ACM Transactions on Database Systems; invited from PODS 2004
• Composing schema mappings: second-order dependencies to the rescue, Conference proceedings version - PODS 2004
• Schema mappings, data exchange, and metadata management, Invited paper - PODS 2005
• Data exchange: getting to the core, ACM Transactions on Database Systems 2005; invited paper from PODS 2003
• Data exchange: getting to the core, Conference proceedings version - PODS 2003
• Data exchange: semantics and query answering, Theoretical Computer Science journal; invited from ICDT 2003
• Data exchange: semantics and query answering, Conference proceedings version - ICDT 2003
• Efficient implementation of large-scale, multi-structural databases, VLDB 2005
• Subtractive reductions and complete problems for counting complexity classes, Theoretical Computer Science 2005; invited paper from MFCS 2000
• Constraint propagation as a proof system, CP 2004
• Existential second-order logic over graphs: charting the tractability frontier, Journal of the ACM 2004
• A dichotomy in the complexity of propositional circumscription, Theory of Computing systems 2004
• On the complexity of existential pebble games, CSL 2003
• Constraint satisfaction, databases, and logic, Invited Paper - IJCAI 2003
• Phase transitions of bounded satisfiability problems, IJCAI 2003
• The complexity of minimal satisfiability problems, Information and Computation 2003

Refereed Reports on Advanced Schools, Panels, and Workshops

• Report on DEIS'10: Advanced School on Data Exchange, Information, and Streams (A GI-Dagstuhl Seminar), SIGMOD Record 2011
• Paper and proposal reviews: is the process flawed?, SIGMOD Record 2008
• Exchange, integration, and consistency of data: Report on the ARISE/NISR Workshop, SIGMOD Record 2005