JOURNAL PAPERS

- "Logical Foundations of Relational Data Exchange". SIGMOD Record, 38(1), pages 49-58, 2009.

- With Marcelo Arenas and Leonid Libkin. "Game-based Notions of Locality over Finite Models". Annals of Pure and Applied Logic, 152(1-3):3-30, 2008.

- With Rajeev Alur, Marcelo Arenas, Kousha Etessami, Neil Immerman and Leonid Libkin. "First-order and Temporal Logics for Nested Words". Logical Methods in Computer Science (Special issue: Selected papers LICS 2007), Vol. 4, Issue 4, pages 1-44, 2008.

CONFERENCE PAPERS

- With Leonid Libkin, Antonella Poggi, and Cristina Sirangelo. "XML with Incomplete Information: Models, Properties and Query Answering" . In Proceedings 28th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'09), pages 237-246, 2009.

- With Marcelo Arenas and Juan Reutter. "Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries" . In Proceedings 12th International Conference on Database Theory (ICDT 2009), pages 73-83, 2009.

- With Marcelo Arenas and Leonid Libkin. "Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization". In Proceedings 34th International Colloquium on Automata, Languages and Programming (ICALP 2007), vol. 4952 of Springer Lecture Notes in Computer Science, L. Arge, C. Cachin, T. Jurdzi'nski, A. Tarlecki, Eds., pages 888-899, 2007.

- With Rajeev Alur, Marcelo Arenas, Kousha Etessami, Neil Immerman and Leonid Libkin. "First-order and Temporal Logics for Nested Words". In Proceedings 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), pages 151-160, 2007.

- With Marcelo Arenas and Leonid Libkin. "Combining Temporal Logics for Querying XML Documents". In Proceedings 11th International Conference on Database Theory (ICDT 2007), pages 359-373, 2007.

- With Leonid Libkin. "Temporal Logics over Unranked Trees". In Proceedings 20th IEEE Symposium on Logic in Computer Science (LICS 2005), pages 31-40, 2005.

- With Marcelo Arenas and Leonid Libkin. "Game-Based Notions of Locality over Finite Models". In Proceedings of 18th Annual Conference of the European Association for Computer Science Logic (CSL'04), vol. 3210 of Springer Lecture Notes in Computer Science, J. Marcinkowski, A. Tarlecki, Eds., pages 175-189, 2004.

- With Marcelo Arenas, Ronald Fagin and Leonid Libkin. "Locally Consistent Transformations and Query Answering in Data Exchange". In Proceedings of 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'04), pages 229-240, 2004.

- With Leopoldo Bertossi and Loreto Bravo. "Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets". In "Semantics of Databases", vol. 2582 of Springer Lecture Notes in Computer Science, L. Bertossi, G. Katona, K.D. Schewe, B. Thalheim, Eds., pages 1-27, 2003.

- With Leopoldo Bertossi. "Logic Programs for Querying Inconsistent Databases". In "Practical Aspects of Declarative Languages: The Fifth International Symposium (PADL'03)", vol. 2562 of Springer Lecture Notes in Computer Science, Veronica Dahl, Phil Wadler, Eds., pages 339-356, 2003.

- With Leopoldo Bertossi. "Repairing Databases with Annotated Predicate Logic". In Proceedings of 9th International Workshop on Non-Monotonic Reasoning (NMR'O2), pages 160-170, 2002.