Pablo Barceló

Pablo Barceló, Juan L. Reutter, Leonid Libkin: Parameterized regular expressions and their languages. Theor. Comput. Sci. 474: 21-45 (2013)

Pablo Barceló, Jorge Pérez, Juan L. Reutter: Schema mappings and data exchange for graph databases. ICDT 2013: 189-200

Pablo Barceló, Diego Figueira, Leonid Libkin: Graph Logics with Rational Relations. CoRR abs/1304.4150 (2013)

Pablo Barceló, Leonid Libkin, Anthony Widjaja Lin, Peter T. Wood: Expressive Languages for Path Queries over Graph-Structured Data. ACM Trans. Database Syst. 37(4): 31 (2012)

Pablo Barceló, Leonid Libkin, Miguel Romero: On Low Treewidth Approximations of Conjunctive Queries. AMW 2012: 91-101

Pablo Barceló, Jorge Pérez, Juan L. Reutter: Relative Expressiveness of Nested Regular Expressions. AMW 2012: 180-195

Pablo Barceló, Diego Figueira, Leonid Libkin: Graph Logics with Rational Relations and the Generalized Intersection Problem. LICS 2012: 115-124

Pablo Barceló, Leonid Libkin, Miguel Romero: Efficient approximations of conjunctive queries. PODS 2012: 249-260

Pablo Barceló, Reinhard Pichler (Eds.): Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings. Lecture Notes in Computer Science 7494, Springer 2012, isbn 978-3-642-32924-1

Marcelo Arenas, Pablo Barceló, Juan L. Reutter: Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. Theory Comput. Syst. 49(2): 489-564 (2011)

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Theory Comput. Syst. 49(3): 639-670 (2011)

Pablo Barceló, Leonid Libkin, Juan L. Reutter: Parameterized Regular Expressions and Their Languages. FSTTCS 2011: 351-362

Pablo Barceló, Leonid Libkin, Juan L. Reutter: Querying graph patterns. PODS 2011: 199-210

Pablo Barceló, Val Tannen (Eds.): Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011. CEUR Workshop Proceedings 749, CEUR-WS.org 2011

Pablo Barceló, Leonid Libkin, Juan L. Reutter: Parameterized Regular Expressions and their Languages. CoRR abs/1107.0577 (2011)

Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak: Relational and XML Data Exchange. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2010

Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo: XML with incomplete information. J. ACM 58(1): 4 (2010)

Pablo Barceló, Leonid Libkin, Juan L. Reutter: On Incomplete XML Documents with Integrity Constraints. AMW 2010

Marcelo Arenas, Pablo Barceló, Juan L. Reutter: Datalog as a Query Language for Data Exchange Systems. Datalog 2010: 302-320

Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood: Expressive languages for path queries over graph-structured data. PODS 2010: 3-14

Pablo Barceló: Logical foundations of relational data exchange. SIGMOD Record 38(1): 49-58 (2009)

Marcelo Arenas, Pablo Barceló, Juan L. Reutter: Query languages for data exchange: beyond unions of conjunctive queries. ICDT 2009: 73-83

Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo: XML with incomplete information: models, properties, and query answering. PODS 2009: 237-246

Pablo Barceló: Locality of Queries. Encyclopedia of Database Systems 2009: 1637-1638

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Game-based notions of locality over finite models. Ann. Pure Appl. Logic 152(1-3): 3-30 (2008)

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. Logical Methods in Computer Science 4(4) (2008)

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. CoRR abs/0811.0537 (2008)

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. ICALP 2007: 888-900

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Combining Temporal Logics for Querying XML Documents. ICDT 2007: 359-373

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. LICS 2007: 151-160

Pablo Barceló, Leonid Libkin: Temporal Logics over Unranked Trees. LICS 2005: 31-40

Marcelo Arenas, Pablo Barceló, Leonid Libkin: Game-Based Notions of Locality Over Finite Models. CSL 2004: 175-189

Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin: Locally Consistent Transformations and Query Answering in Data Exchange. PODS 2004: 229-240

Pablo Barceló, Leopoldo E. Bertossi: Logic Programs for Querying Inconsistent Databases. PADL 2003: 208-222

Pablo Barceló, Leopoldo E. Bertossi: Repairing databases with annotated predicate logic. NMR 2002: 160-170

Pablo Barceló, Leopoldo E. Bertossi, Loreto Bravo: Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets. Semantics in Databases 2001: 7-33