Pablo Barceló

173 papers A* 37A 10B 4C 3Journal 85Unranked 23
YearRankTypeTitle / Venue / Authors
2026 J jnl
Corrections to "On the data complexity of consistent query answering over graph databases [Journal of Computer and System Sciences 88 (2017) 164-194]".
J. Comput. Syst. Sci.
Pablo Barceló, Gaëlle Fontaine, Sylvain Salvati, Sophie Tison
2025 J jnl
A Logical View of GNN-Style Computation and the Role of Activation Functions.
CoRR
Pablo Barceló, Floris Geerts, Matthias Lanzinger, Klara Pakhomenko, Jan Van den Bussche
2025 — conf
A Uniform Language for Safety, Robustness and Explainability.
JELIA (1)
Vaishak Belle, Pablo Barceló
2025 A* conf
Ehrenfeucht-Haussler Rank and Chain of Thought.
ICML
Pablo Barceló, Alexander Kozachinskiy, Tomasz Steifer
2025 J jnl
Ehrenfeucht-Haussler Rank and Chain of Thought.
CoRR
Pablo Barceló, Alexander Kozachinskiy, Tomasz Steifer
2025 J jnl
Explaining
Proc. ACM Manag. Data
Pablo Barceló, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux, José Verschae
2025 J jnl
Explaining k-Nearest Neighbors: Abductive and Counterfactual Explanations.
CoRR
Pablo Barceló, Alexander Kozachinskiy, Miguel A. Romero Orth, Bernardo Subercaseaux, José Verschae
2025 A* conf
How Expressive are Knowledge Graph Foundation Models?
ICML
Xingyue Huang, Pablo Barceló, Michael M. Bronstein, Ismail Ilkan Ceylan, Mikhail Galkin, Juan L. Reutter, Miguel A. Romero Orth
2025 J jnl
How Expressive are Knowledge Graph Foundation Models?
CoRR
Xingyue Huang, Pablo Barceló, Michael M. Bronstein, Ismail Ilkan Ceylan, Mikhail Galkin, Juan L. Reutter, Miguel Romero
2025 J jnl
Language Generation: Complexity Barriers and Implications for Learning.
CoRR
Marcelo Arenas, Pablo Barceló, Luis Cofré, Alexander Kozachinskiy
2025 J jnl
Link Prediction with Relational Hypergraphs.
Trans. Mach. Learn. Res.
Xingyue Huang, Miguel A. Romero Orth, Pablo Barceló, Michael M. Bronstein, Ismail Ilkan Ceylan
2025 J jnl
Message Passing on the Edge: Towards Scalable and Expressive GNNs.
CoRR
Pablo Barceló, Fabian Jogl, Alexander Kozachinskiy, Matthias Lanzinger, Stefan Neumann, Cristóbal Rojas
2025 J jnl
On Computing Probabilistic Explanations for Decision Trees.
J. Artif. Intell. Res.
Marcelo Arenas, Pablo Barceló, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux
2025 — conf
The Role of Logic and Automata in Understanding Transformers.
RP
Anthony W. Lin, Pablo Barceló
2025 J jnl
The Role of Logic and Automata in Understanding Transformers.
CoRR
Anthony W. Lin, Pablo Barceló
2025 J jnl
When is the Computation of a Feature Attribution Method Tractable?
CoRR
Pablo Barceló, Roberto Cominetti, M. Morgado
2024 A* conf
A Uniform Language to Explain Decision Trees.
KR
Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux
2024 — ed.
Companion of the 2024 International Conference on Management of Data, SIGMOD/PODS 2024, Santiago, Chile, June 9-15, 2024
SIGMOD Conference Companion
Pablo Barceló, Nayat Sánchez-Pi, Alexandra Meliou, S. Sudarshan
2024 J jnl
Link Prediction with Relational Hypergraphs.
CoRR
Xingyue Huang, Miguel A. Romero Orth, Pablo Barceló, Michael M. Bronstein, Ismail Ilkan Ceylan
2024 A* conf
Logical Languages Accepted by Transformer Encoders with Hard Attention.
ICLR
Pablo Barceló, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii
2024 A* conf
On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters.
ICLR
Matthias Lanzinger, Pablo Barceló
2024 J jnl
Representation, Provenance, and Explanations in Database Theory and Logic (Dagstuhl Seminar 24032).
Dagstuhl Reports
Pablo Barceló, Pierre Bourhis, Stefan Mengel, Sudeepa Roy
2024 — conf
UnRavL: A Neuro-Symbolic Framework for Answering Graph Pattern Queries in Knowledge Graphs.
LoG
Tamara Cucumides, Daniel Daza, Pablo Barceló, Michael Cochez, Floris Geerts, Juan L. Reutter, Miguel Romero
2023 J jnl
A Symbolic Language for Interpreting Decision Trees.
CoRR
Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux
2023 A* conf
A Theory of Link Prediction via Relational Weisfeiler-Leman on Knowledge Graphs.
NeurIPS
Xingyue Huang, Miguel Romero, Ismail Ilkan Ceylan, Pablo Barceló
2023 J jnl
A Theory of Link Prediction via Relational Weisfeiler-Leman.
CoRR
Xingyue Huang, Miguel A. Romero Orth, Ismail Ilkan Ceylan, Pablo Barceló
2023 J jnl
A neuro-symbolic framework for answering conjunctive queries.
CoRR
Pablo Barceló, Tamara Cucumides, Floris Geerts, Juan L. Reutter, Miguel Romero
2023 J jnl
Logical Languages Accepted by Transformer Encoders with Hard Attention.
CoRR
Pablo Barceló, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii
2023 A conf
No Agreement Without Loss: Learning and Social Choice in Peer Review.
ECAI
Pablo Barceló, Mauricio Duarte, Cristóbal Rojas, Tomasz Steifer
2023 J jnl
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.
J. Mach. Learn. Res.
Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet
2023 J jnl
On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters.
CoRR
Matthias Lanzinger, Pablo Barceló
2023 B conf
Separating Automatic Relations.
MFCS
Pablo Barceló, Diego Figueira, Rémi Morvan
2023 J jnl
Separating Automatic Relations.
CoRR
Pablo Barceló, Diego Figueira, Rémi Morvan
2023 A* conf
Three Iterations of (d - 1)-WL Test Distinguish Non Isometric Clouds of d-dimensional Points.
NeurIPS
Valentino Delle Rose, Alexander Kozachinskiy, Cristobal Rojas, Mircea Petrache, Pablo Barceló
2023 J jnl
Three iterations of (d-1)-WL test distinguish non isometric clouds of d-dimensional points.
CoRR
Valentino Delle Rose, Alexander Kozachinskiy, Cristóbal Rojas, Mircea Petrache, Pablo Barceló
2022 J jnl
No Agreement Without Loss: Learning and Social Choice in Peer Review.
CoRR
Pablo Barceló, Mauricio Duarte, Cristóbal Rojas, Tomasz Steifer
2022 A* conf
On Computing Probabilistic Explanations for Decision Trees.
NeurIPS
Marcelo Arenas, Pablo Barceló, Miguel A. Romero Orth, Bernardo Subercaseaux
2022 J jnl
On Computing Probabilistic Explanations for Decision Trees.
CoRR
Marcelo Arenas, Pablo Barceló, Miguel Romero, Bernardo Subercaseaux
2022 J jnl
On the expressiveness of Lara: A proposal for unifying linear and relational algebra.
Theor. Comput. Sci.
Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux
2022 A* ed.
PODS '22: International Conference on Management of Data, Philadelphia, PA, USA, June 12 - 17, 2022
PODS
Leonid Libkin, Pablo Barceló
2022 — conf
Weisfeiler and Leman Go Relational.
LoG
Pablo Barceló, Mikhail Galkin, Christopher Morris, Miguel A. Romero Orth
2022 J jnl
Weisfeiler and Leman Go Relational.
CoRR
Pablo Barceló, Mikhail Galkin, Christopher Morris, Miguel A. Romero Orth
2021 J jnl
Attention is Turing-Complete.
J. Mach. Learn. Res.
Jorge Pérez, Pablo Barceló, Javier Marinkovic
2021 A conf
Explainability Queries for ML Models and its Connections with Data Management Problems (Invited Talk).
ICDT
Pablo Barceló
2021 A* conf
Foundations of Symbolic Languages for Model Interpretability.
NeurIPS
Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux
2021 J jnl
Foundations of Symbolic Languages for Model Interpretability.
CoRR
Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux
2021 A* conf
Graph Neural Networks with Local Graph Parameters.
NeurIPS
Pablo Barceló, Floris Geerts, Juan L. Reutter, Maksimilian Ryschkov
2021 J jnl
Graph Neural Networks with Local Graph Parameters.
CoRR
Pablo Barceló, Floris Geerts, Juan L. Reutter, Maksimilian Ryschkov
2021 J jnl
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.
CoRR
Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet
2021 J jnl
Regularizing conjunctive features for classification.
J. Comput. Syst. Sci.
Pablo Barceló, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld
2021 J jnl
Special Issue on Database Theory.
Theory Comput. Syst.
Pablo Barceló, Marco Calautti
2021 J jnl
The Complexity of Counting Problems Over Incomplete Databases.
ACM Trans. Comput. Log.
Marcelo Arenas, Pablo Barceló, Mikaël Monet
2021 A* conf
The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits.
AAAI
Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet
2020 J jnl
A More General Theory of Static Approximations for Conjunctive Queries.
Theory Comput. Syst.
Pablo Barceló, Miguel Romero, Thomas Zeume
2020 J jnl
Chile's new interdisciplinary institute for foundational research on data.
Commun. ACM
Marcelo Arenas, Pablo Barceló
2020 A* conf
Counting Problems over Incomplete Databases.
PODS
Marcelo Arenas, Pablo Barceló, Mikaël Monet
2020 J jnl
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
CoRR
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2020 J jnl
Model Interpretability through the Lens of Computational Complexity.
CoRR
Pablo Barceló, Mikaël Monet, Jorge Pérez, Bernardo Subercaseaux
2020 A* conf
Model Interpretability through the lens of Computational Complexity.
NeurIPS
Pablo Barceló, Mikaël Monet, Jorge Pérez, Bernardo Subercaseaux
2020 A conf
On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra.
ICDT
Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux
2020 J jnl
Semantic Optimization of Conjunctive Queries.
J. ACM
Pablo Barceló, Diego Figueira, Georg Gottlob, Andreas Pieris
2020 J jnl
The Complexity of Counting Problems over Incomplete Databases.
CoRR
Marcelo Arenas, Pablo Barceló, Mikaël Monet
2020 J jnl
The Expressive Power of Graph Neural Networks as a Query Language.
SIGMOD Rec.
Pablo Barceló, Egor V. Kostylev, Mikaël Monet, Jorge Pérez, Juan L. Reutter, Juan Pablo Silva
2020 A* conf
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.
PODS
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
2020 A* conf
The Logical Expressiveness of Graph Neural Networks.
ICLR
Pablo Barceló, Egor V. Kostylev, Mikaël Monet, Jorge Pérez, Juan L. Reutter, Juan Pablo Silva
2020 J jnl
The Tractability of SHAP-scores over Deterministic and Decomposable Boolean Circuits.
CoRR
Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet
2020 J jnl
When is Ontology-Mediated Querying Efficient?
CoRR
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2019 A ed.
22nd International Conference on Database Theory, ICDT 2019, Lisbon, Portugal, March 26-28, 2019
ICDT
Pablo Barceló, Marco Calautti
2019 J jnl
A More General Theory of Static Approximations for Conjunctive Queries.
CoRR
Pablo Barceló, Miguel Romero, Thomas Zeume
2019 — conf
A Theoretical View on Reverse Engineering Problems for Database Query Languages.
Description Logics
Pablo Barceló
2019 A* conf
Boundedness of Conjunctive Regular Path Queries.
ICALP
Pablo Barceló, Diego Figueira, Miguel Romero
2019 J jnl
Boundedness of Conjunctive Regular Path Queries.
CoRR
Pablo Barceló, Diego Figueira, Miguel Romero
2019 J jnl
Counting Problems over Incomplete Databases.
CoRR
Marcelo Arenas, Pablo Barceló, Mikaël Monet
2019 — conf
Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators.
DEEM@SIGMOD
Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux
2019 — ch.
Graph Path Navigation.
Encyclopedia of Big Data Technologies
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2019 A* conf
Monadic Decomposability of Regular Relations.
ICALP
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
2019 J jnl
Monadic Decomposability of Regular Relations.
CoRR
Pablo Barceló, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen
2019 J jnl
On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra.
CoRR
Pablo Barceló, Nelson Higuera, Jorge Pérez, Bernardo Subercaseaux
2019 — conf
On the Turing Completeness of Modern Neural Network Architectures.
ICLR (Poster)
Jorge Pérez, Javier Marinkovic, Pablo Barceló
2019 J jnl
On the Turing Completeness of Modern Neural Network Architectures.
CoRR
Jorge Pérez, Javier Marinkovic, Pablo Barceló
2019 — conf
PTime Combined Complexity and FPT in Ontology-Mediated Querying.
Description Logics
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2019 A* conf
Regularizing Conjunctive Features for Classification.
PODS
Pablo Barceló, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld
2019 J jnl
The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.
CoRR
Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris
2019 A* conf
When is Ontology-Mediated Querying Efficient?
LICS
Pablo Barceló, Cristina Feier, Carsten Lutz, Andreas Pieris
2018 A conf
A More General Theory of Static Approximations for Conjunctive Queries.
ICDT
Pablo Barceló, Miguel Romero, Thomas Zeume
2018 J jnl
Bisimulations on Data Graphs.
J. Artif. Intell. Res.
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
2018 A* conf
Containment for Rule-Based Ontology-Mediated Queries.
PODS
Pablo Barceló, Gerald Berger, Andreas Pieris
2018 J jnl
Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection.
ACM Trans. Database Syst.
Pablo Barceló, Markus Kröll, Reinhard Pichler, Sebastian Skritek
2018 — conf
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
AMW
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018 A* conf
First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
IJCAI
Pablo Barceló, Gerald Berger, Carsten Lutz, Andreas Pieris
2018 — conf
G-CORE: A Core for Future Graph Query Languages.
SIGMOD Conference
Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter Boncz, George H. L. Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan F. Sequeda, Oskar van Rest, Hannes Voigt
2018 — ch.
Locality of Queries.
Encyclopedia of Database Systems (2nd ed.)
Pablo Barceló
2018 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2017 J jnl
21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014.
Inf. Comput.
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
2017 J jnl
Containment for Rule-Based Ontology-Mediated Queries.
CoRR
Pablo Barceló, Gerald Berger, Andreas Pieris
2017 J jnl
Foundations of Modern Query Languages for Graph Databases.
ACM Comput. Surv.
Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc
2017 J jnl
G-CORE: A Core for Future Graph Query Languages.
CoRR
Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter Boncz, George H. L. Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan F. Sequeda, Oskar van Rest, Hannes Voigt
2017 J jnl
Graph Logics with Rational Relations: The Role of Word Combinatorics.
ACM Trans. Comput. Log.
Pablo Barceló, Pablo Muñoz
2017 — conf
Guarded Ontology-Mediated Queries Distributing Over Components.
AMW
Pablo Barceló, Gerald Berger, Andreas Pieris
2017 J jnl
On the data complexity of consistent query answering over graph databases.
J. Comput. Syst. Sci.
Pablo Barceló, Gaëlle Fontaine
2017 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
CoRR
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2017 J jnl
Semantic Optimization in Tractable Classes of Conjunctive Queries.
SIGMOD Rec.
Pablo Barceló, Andreas Pieris, Miguel Romero
2017 A conf
The Complexity of Reverse Engineering Problems for Conjunctive Queries.
ICDT
Pablo Barceló, Miguel Romero
2017 A* conf
The homomorphism problem for regular graph patterns.
LICS
Miguel Romero, Pablo Barceló, Moshe Y. Vardi
2016 A* conf
Bisimulations on Data Graphs.
KR
Sergio Abriola, Pablo Barceló, Diego Figueira, Santiago Figueira
2016 J jnl
Foundations of Modern Graph Query Languages.
CoRR
Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc
2016 J jnl
Order-Invariant Types and Their Applications.
Log. Methods Comput. Sci.
Pablo Barceló, Leonid Libkin
2016 J jnl
Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec.
Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi
2016 — conf
Semantic Acyclicity Under Constraints.
AMW
Pablo Barceló, Georg Gottlob, Andreas Pieris
2016 A* conf
Semantic Acyclicity Under Constraints.
PODS
Pablo Barceló, Georg Gottlob, Andreas Pieris
2016 J jnl
Semantic Acyclicity Under Constraints.
CoRR
Pablo Barceló, Georg Gottlob, Andreas Pieris
2016 C conf
Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints.
WoLLIC
Pablo Barceló
2016 J jnl
Semantic Acyclicity on Graph Databases.
SIAM J. Comput.
Pablo Barceló, Miguel Romero, Moshe Y. Vardi
2016 A* conf
String solving with word equations and transducers: towards a logic for analysing mutation XSS.
POPL
Anthony Widjaja Lin, Pablo Barceló
2016 J jnl
The complexity of reverse engineering problems for conjunctive queries.
CoRR
Pablo Barceló, Miguel Romero
2015 J jnl
21st Workshop on Logic, Language, Information and Computation (
Log. J. IGPL
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
2015 A* conf
Efficient Evaluation and Approximation of Well-designed Pattern Trees.
PODS
Pablo Barceló, Reinhard Pichler, Sebastian Skritek
2015 — conf
Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract).
AMW
Pablo Barceló, Reinhard Pichler, Sebastian Skritek
2015 J jnl
Expressive Path Queries on Graph with Data.
Log. Methods Comput. Sci.
Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin
2015 A conf
On the Data Complexity of Consistent Query Answering over Graph Databases.
ICDT
Pablo Barceló, Gaëlle Fontaine
2015 B ed.
Proceedings of the 18th International Conference on Extending Database Technology, EDBT 2015, Brussels, Belgium, March 23-27, 2015.
EDBT
Gustavo Alonso, Floris Geerts, Lucian Popa, Pablo Barceló, Jens Teubner, Martín Ugarte, Jan Van den Bussche, Jan Paredaens
2015 — ed.
Proceedings of the 2015 ACM SIGMOD PhD Symposium, Melbourne, VIC, Australia, May 31 - June 04, 2015
SIGMOD PhD Symposium
Pablo Barceló, Heng Tao Shen
2015 J jnl
String Solving with Word Equations and Transducers: Towards a Logic for Analysing Mutation XSS (Full Version).
CoRR
Anthony W. Lin, Pablo Barceló
2014 A* conf
Does query evaluation tractability help query containment?
PODS
Pablo Barceló, Miguel Romero, Moshe Y. Vardi
2014 J jnl
Efficient Approximations of Conjunctive Queries.
SIAM J. Comput.
Pablo Barceló, Leonid Libkin, Miguel Romero
2014 — book
Foundations of Data Exchange
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
2014 — conf
Graph logics with rational relations: the role of word combinatorics.
CSL-LICS
Pablo Barceló, Pablo Muñoz
2014 — ed.
International Conference on Management of Data, SIGMOD 2014, Snowbird, Utah, USA, June 22, 2014, PhD Symposium
SIGMOD PhD Symposium
Pablo Barceló, Lei Chen
2014 C ed.
Logic, Language, Information, and Computation - 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings
WoLLIC
Ulrich Kohlenbach, Pablo Barceló, Ruy J. G. B. de Queiroz
2014 J jnl
Querying Regular Graph Patterns.
J. ACM
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2013 — conf
A Practical Query Language for Graph DBs.
AMW
Renzo Angles, Pablo Barceló, Gonzalo Rios
2013 J jnl
Editor's foreword.
J. Comput. Syst. Sci.
Pablo Barceló
2013 B conf
Expressive Path Queries on Graphs with Data.
LPAR
Pablo Barceló, Gaëlle Fontaine, Anthony Widjaja Lin
2013 J jnl
Graph Logics with Rational Relations
Log. Methods Comput. Sci.
Pablo Barceló, Diego Figueira, Leonid Libkin
2013 J jnl
Parameterized regular expressions and their languages.
Theor. Comput. Sci.
Pablo Barceló, Juan L. Reutter, Leonid Libkin
2013 A conf
Schema mappings and data exchange for graph databases.
ICDT
Pablo Barceló, Jorge Pérez, Juan L. Reutter
2013 — conf
Sharing and Exchanging Data.
KDPD
Rana Awada, Pablo Barceló, Iluju Kiringa
2013 J jnl
Solutions and query rewriting in data exchange.
Inf. Comput.
Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
2013 J jnl
The Chilean Database Group.
J. Inf. Data Manag.
Marcelo Arenas, Pablo Barceló, Loreto Bravo, Claudio Gutierrez, Jorge Pérez, Juan L. Reutter, M. Andrea Rodríguez
2012 — ed.
Datalog in Academia and Industry - Second International Workshop, Datalog 2.0, Vienna, Austria, September 11-13, 2012. Proceedings
Datalog
Pablo Barceló, Reinhard Pichler
2012 A* conf
Efficient approximations of conjunctive queries.
PODS
Pablo Barceló, Leonid Libkin, Miguel Romero
2012 J jnl
Expressive Languages for Path Queries over Graph-Structured Data.
ACM Trans. Database Syst.
Pablo Barceló, Leonid Libkin, Anthony Widjaja Lin, Peter T. Wood
2012 A* conf
Graph Logics with Rational Relations and the Generalized Intersection Problem.
LICS
Pablo Barceló, Diego Figueira, Leonid Libkin
2012 — conf
On Low Treewidth Approximations of Conjunctive Queries.
AMW
Pablo Barceló, Leonid Libkin, Miguel Romero
2012 — conf
Relative Expressiveness of Nested Regular Expressions.
AMW
Pablo Barceló, Jorge Pérez, Juan L. Reutter
2011 — conf
Parameterized Regular Expressions and Their Languages.
FSTTCS
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2011 J jnl
Parameterized Regular Expressions and their Languages
CoRR
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2011 — ed.
Proceedings of the 5th Alberto Mendelzon International Workshop on Foundations of Data Management, Santiago, Chile, May 9-12, 2011
AMW
Pablo Barceló, Val Tannen
2011 J jnl
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries.
Theory Comput. Syst.
Marcelo Arenas, Pablo Barceló, Juan L. Reutter
2011 A* conf
Querying graph patterns.
PODS
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2011 J jnl
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
Theory Comput. Syst.
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2010 — conf
Datalog as a Query Language for Data Exchange Systems.
Datalog
Marcelo Arenas, Pablo Barceló, Juan L. Reutter
2010 A* conf
Expressive languages for path queries over graph-structured data.
PODS
Pablo Barceló, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood
2010 — conf
On Incomplete XML Documents with Integrity Constraints.
AMW
Pablo Barceló, Leonid Libkin, Juan L. Reutter
2010 — book
Relational and XML Data Exchange
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
2010 J jnl
XML with incomplete information.
J. ACM
Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo
2009 — ch.
Locality of Queries.
Encyclopedia of Database Systems
Pablo Barceló
2009 J jnl
Logical foundations of relational data exchange.
SIGMOD Rec.
Pablo Barceló
2009 A conf
Query languages for data exchange: beyond unions of conjunctive queries.
ICDT
Marcelo Arenas, Pablo Barceló, Juan L. Reutter
2009 A* conf
XML with incomplete information: models, properties, and query answering.
PODS
Pablo Barceló, Leonid Libkin, Antonella Poggi, Cristina Sirangelo
2008 J jnl
First-Order and Temporal Logics for Nested Words
CoRR
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2008 J jnl
First-Order and Temporal Logics for Nested Words.
Log. Methods Comput. Sci.
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2008 J jnl
Game-based notions of locality over finite models.
Ann. Pure Appl. Log.
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2007 A conf
Combining Temporal Logics for Querying XML Documents.
ICDT
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2007 A* conf
First-Order and Temporal Logics for Nested Words.
LICS
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2007 A* conf
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
ICALP
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2006 — —
Game-based notions of locality and their applications in data exchange.
Pablo Barceló
2005 A* conf
Temporal Logics over Unranked Trees.
LICS
Pablo Barceló, Leonid Libkin
2004 B conf
Game-Based Notions of Locality Over Finite Models.
CSL
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2004 A* conf
Locally Consistent Transformations and Query Answering in Data Exchange.
PODS
Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
2003 C conf
Logic Programs for Querying Inconsistent Databases.
PADL
Pablo Barceló, Leopoldo E. Bertossi
2002 — conf
Repairing databases with annotated predicate logic.
NMR
Pablo Barceló, Leopoldo E. Bertossi
2001 — conf
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets.
Semantics in Databases
Pablo Barceló, Leopoldo E. Bertossi, Loreto Bravo