BOOKS

 

- With Marcelo Arenas, Leonid Libkin and Filip Murlak. "Foundations of Data Exchange".  Cambridge University Press, 2014.

 

- With Marcelo Arenas, Leonid Libkin and Filip Murlak. "Relational and XML Data Exchange".  Morgan and Claypool, Synthesis Lectures on Data Management, 2010.

 

 

BOOK CHAPTERS

 

- 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.

 

 

JOURNAL PAPERS

 

- With Renzo Angles, Marcelo Arenas, Aidan Hogan, Juan Reutter and Domagoj Vrgoc. "Foundations of Modern Query Languages for Graph Databases".  ACM Computing Surveys (CSUR), 2017.

 

- With Andreas Pieris and Miguel Romero. "Semantic Optimization in Tractable Classes of Conjunctive Queries".  SIGMOD Record, 2017.

 

- With Gaelle Fontaine. "On the Data Complexity of Consistent Query Answering over Graph Databases".  Journal of Computer and System Sciences (JCSS), 2017.

 

- With Pablo Muñoz. "Graph Logics with Rational Relations: The Role of Word Combinatorics".  ACM Transactions on Computational Logic (TOCL), 18(2), 2017.

 

- With Miguel Romero and Moshe Vardi. "Semantic Acyclicity on Graph Databases".  SIAM Journal on Computing (SICOMP), 45(4), pages 1339-1376, 2016.

 

- With Leonid Libkin. "Order-Invariant Types and Their Applications".  Logical Methods in Computer Science (LMCS), 12(1), 2016.

 

- With Gaelle Fontaine and Anthony Widjaja Lin. "Expressive Path Queries on Graphs with Data".  Logical Methods in Computer Science (LMCS), 11(4), 2015.

 

- With Leonid Libkin and Miguel Romero. "Efficient Approximations of Conjunctive Queries".  SIAM Journal on Computing (SICOMP), 43(3), pages 1085-1130, 2014.

 

- With Leonid Libkin and Juan Reutter. "Querying Regular Graph Patterns".  Journal of the ACM (JACM), 61(1), 2014.

 

- With Marcelo Arenas, Ronald Fagin and Leonid Libkin. "Solutions and Query Rewriting in Data Exchange".  Information and Computation 228, pages 28-61, 2013.

 

- With Diego Figueira and Leonid Libkin. "Graph Logics with Rational Relations".  Logical Methods in Computer Science (LMCS), 9(3), 2013.

 

- With Leonid Libkin and Juan Reutter. "Parameterized Regular Expressions and Their Languages".  Theoretical Computer Science (TCS) 474, pages 21-45, 2013.

 

- With Leonid Libkin, Anthony Widjaja Lin and Peter Wood. "Expressive Languages for Path Queries over Graph-structured Data".  ACM Transactions on Database Systems (TODS), 37(4), 2012.

 

- With Marcelo Arenas and Leonid Libkin. "Regular Languages for Nested Words: Fixed-points, Automata and Synchronization".  Theory of Computing Systems (ToCS), 49(3), pages 639-670, 2011.

 

- With Marcelo Arenas and Juan Reutter. "Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries".  Theory of Computing Systems (ToCS), 49(2), pages 489-564, 2011.

 

- With Leonid Libkin, Antonella Poggi and Cristina Sirangelo. "XML with Incomplete Information".  Journal of the ACM (JACM), 58(1): 4, 2010.

 

- "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 (APAL), 152(1-3), pages 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 (LMCS), Special issue: Selected papers LICS 2007, Vol. 4, Issue 4, pages 1-44, 2008.

 

 

CONFERENCE PAPERS

 

- With Miguel Romero and Thomas Zeume. "A More General Theory of Static Approximations for Conjunctive Queries".  Accepted for publication in the 21st International Conference on Database Theory (ICDT 2018).

 

- With Miguel Romero and Moshe Y. Vardi. "The Homomorphism Problem for Regular Graph Patterns".  In Proceedings of the 32nd ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), 2017.

 

- With Miguel Romero. "The Complexity of Reverse Engineering Problems for Conjunctive Queries".  In Proceedings of the 20th International Conference on Database Theory (ICDT 2017), pages 1-17, 2017.

 

- With Georg Gottlob and Andreas Pieris. "Semantic Acyclicity under Constraints".  In Proceedings of the 35th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2016), pages 343-354, 2016.

 

- With Sergio Abriola, Diego Figueira, and Santiago Figueira. "Bisimulations on Data Graphs".  In Proceedings of the 15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), pages 309-318, 2016.

 

- With Anthony Widjaja Lin. "String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS".  In Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2016), pages 123-136, 2016.

 

- With Reinhard Pichler and Sebastian Skritek. "Efficient Evaluation and Approximation of Well-Designed Pattern Trees".  In Proceedings 34th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2015), pages 131-144, 2015.

 

- With Gaelle Fontaine. "On the Data Complexity of Consistent Query Answering over Graph Databases".  In Proceedings 18th International Conference on Database Theory (ICDT 2015), pages 380-397, 2015.

 

- With Pablo Muñoz. "Graph Logics with Rational Relations: The Role of Word Combinatorics".  In Proceedings 29th ACM-IEEE Symposium on Logic in Computer Science (CSL-LICS 2014), 12, 2014.

 

- With Miguel Romero and Moshe Vardi. "Does Query Evaluation Tractability Help Query Containment?".  In Proceedings 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2014), pages 188-199, 2014.

 

- With Gaelle Fontaine and Anthony Widjaja Lin. "Expressive Languages for Path Queries over Graphs with Data".  In Proceedings 19th Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2013), pages 71-85, 2013.

 

- "Querying Graph Databases".  Invited tutorial in Proceedings 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2013), pages 175-188, 2013.

 

- With Miguel Romero and Moshe Y. Vardi. "Semantic Acyclicity on Graph Databases".  In Proceedings 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'13), pages 237-248, 2013.

 

- With Jorge Perez and Juan Reutter. "Schema Mappings and Data Exchange for Graph Databases".  In Proceedings 16th International Conference on Database Theory (ICDT'13), pages 189-200, 2013.

 

- With Diego Figueira and Leonid Libkin. "Graph Logics with Rational Relations and the Generalized Intersection Problem".  In Proceedings 27th ACM/IEEE Symposium on Logic in Computer Science (LICS'12), pages 115-124, 2012.

 

- With Leonid Libkin and Miguel Romero. "Efficient Approximations of Conjunctive Queries".  In Proceedings 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'12), pages 249-260, 2012.

 

- With Leonid Libkin and Juan Reutter. "Parameterized Regular Expressions and Their Languages".  In Proceedings IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'11), pages 351-362, 2011.

 

- With Leonid Libkin and Juan Reutter. "Querying Graph Patterns".  In Proceedings 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'11), pages 199-210, 2011.

 

- With Carlos Hurtado, Leonid Libkin and Peter Wood. "Expressive Languages for Path Queries over Graph-structured Data".  In Proceedings 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'10), pages 3-14, 2010.

 

- 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. "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.