| 2025 | ICML | Ehrenfeucht-Haussler Rank and Chain of Thought. | Pablo Barcel, Alexander Kozachinskiy, Tomasz Steifer |
| 2025 | ICML | How Expressive are Knowledge Graph Foundation Models? | Xingyue Huang, Pablo Barcel, Michael M. Bronstein, Ismail Ilkan Ceylan, Mikhail Galkin, Juan L. Reutter, Miguel A. Romero Orth |
| 2025 | JELIA | A Uniform Language for Safety, Robustness and Explainability. | Vaishak Belle, Pablo Barcel |
| 2024 | ICLR | Logical Languages Accepted by Transformer Encoders with Hard Attention. | Pablo Barcel, Alexander Kozachinskiy, Anthony Widjaja Lin, Vladimir V. Podolskii |
| 2024 | ICLR | On the Power of the Weisfeiler-Leman Test for Graph Motif Parameters. | Matthias Lanzinger, Pablo Barcel |
| 2024 | KR | A Uniform Language to Explain Decision Trees. | Marcelo Arenas, Pablo Barcel, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux |
| 2023 | ECAI | No Agreement Without Loss: Learning and Social Choice in Peer Review. | Pablo Barcel, Mauricio Duarte, Cristbal Rojas, Tomasz Steifer |
| 2023 | MFCS | Separating Automatic Relations. | Pablo Barcel, Diego Figueira, Rmi Morvan |
| 2021 | AAAI | The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits. | Marcelo Arenas, Pablo Barcel, Leopoldo E. Bertossi, Mikal Monet |
| 2021 | ICDT | Explainability Queries for ML Models and its Connections with Data Management Problems (Invited Talk). | Pablo Barcel |
| 2020 | ICDT | On the Expressiveness of LARA: A Unified Language for Linear and Relational Algebra. | Pablo Barcel, Nelson Higuera, Jorge Prez, Bernardo Subercaseaux |
| 2020 | ICLR | The Logical Expressiveness of Graph Neural Networks. | Pablo Barcel, Egor V. Kostylev, Mikal Monet, Jorge Prez, Juan L. Reutter, Juan Pablo Silva |
| 2020 | PODS | Counting Problems over Incomplete Databases. | Marcelo Arenas, Pablo Barcel, Mikal Monet |
| 2020 | PODS | The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs. | Pablo Barcel, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris |
| 2019 | ICALP | Boundedness of Conjunctive Regular Path Queries. | Pablo Barcel, Diego Figueira, Miguel Romero |
| 2019 | ICALP | Monadic Decomposability of Regular Relations. | Pablo Barcel, Chih-Duo Hong, Xuan Bach Le, Anthony W. Lin, Reino Niskanen |
| 2019 | ICLR | On the Turing Completeness of Modern Neural Network Architectures. | Jorge Prez, Javier Marinkovic, Pablo Barcel |
| 2019 | LICS | When is Ontology-Mediated Querying Efficient? | Pablo Barcel, Cristina Feier, Carsten Lutz, Andreas Pieris |
| 2019 | PODS | Regularizing Conjunctive Features for Classification. | Pablo Barcel, Alexander Baumgartner, Victor Dalmau, Benny Kimelfeld |
| 2019 | SIGMOD | Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators. | Pablo Barcel, Nelson Higuera, Jorge Prez, Bernardo Subercaseaux |
| 2018 | ICDT | A More General Theory of Static Approximations for Conjunctive Queries. | Pablo Barcel, Miguel Romero, Thomas Zeume |
| 2018 | IJCAI | First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries. | Pablo Barcel, Gerald Berger, Carsten Lutz, Andreas Pieris |
| 2018 | PODS | Containment for Rule-Based Ontology-Mediated Queries. | Pablo Barcel, Gerald Berger, Andreas Pieris |
| 2018 | SIGMOD | G-CORE: A Core for Future Graph Query Languages. | 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 | ICDT | The Complexity of Reverse Engineering Problems for Conjunctive Queries. | Pablo Barcel, Miguel Romero |
| 2017 | LICS | The homomorphism problem for regular graph patterns. | Miguel Romero, Pablo Barcel, Moshe Y. Vardi |
| 2016 | KR | Bisimulations on Data Graphs. | Sergio Abriola, Pablo Barcel, Diego Figueira, Santiago Figueira |
| 2016 | PODS | Semantic Acyclicity Under Constraints. | Pablo Barcel, Georg Gottlob, Andreas Pieris |
| 2016 | POPL | String solving with word equations and transducers: towards a logic for analysing mutation XSS. | Anthony Widjaja Lin, Pablo Barcel |
| 2016 | WoLLIC | Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints. | Pablo Barcel |
| 2015 | ICDT | On the Data Complexity of Consistent Query Answering over Graph Databases. | Pablo Barcel, Galle Fontaine |
| 2015 | PODS | Efficient Evaluation and Approximation of Well-designed Pattern Trees. | Pablo Barcel, Reinhard Pichler, Sebastian Skritek |
| 2014 | CSL | Graph logics with rational relations: the role of word combinatorics. | Pablo Barcel, Pablo Muoz |
| 2014 | PODS | Does query evaluation tractability help query containment? | Pablo Barcel, Miguel Romero, Moshe Y. Vardi |
| 2013 | ICDT | Schema mappings and data exchange for graph databases. | Pablo Barcel, Jorge Prez, Juan L. Reutter |
| 2013 | LPAR | Expressive Path Queries on Graphs with Data. | Pablo Barcel, Galle Fontaine, Anthony Widjaja Lin |
| 2012 | LICS | Graph Logics with Rational Relations and the Generalized Intersection Problem. | Pablo Barcel, Diego Figueira, Leonid Libkin |
| 2012 | PODS | Efficient approximations of conjunctive queries. | Pablo Barcel, Leonid Libkin, Miguel Romero |
| 2011 | PODS | Querying graph patterns. | Pablo Barcel, Leonid Libkin, Juan L. Reutter |
| 2010 | PODS | Expressive languages for path queries over graph-structured data. | Pablo Barcel, Carlos A. Hurtado, Leonid Libkin, Peter T. Wood |
| 2009 | ICDT | Query languages for data exchange: beyond unions of conjunctive queries. | Marcelo Arenas, Pablo Barcel, Juan L. Reutter |
| 2009 | PODS | XML with incomplete information: models, properties, and query answering. | Pablo Barcel, Leonid Libkin, Antonella Poggi, Cristina Sirangelo |
| 2007 | ICALP | Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2007 | ICDT | Combining Temporal Logics for Querying XML Documents. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2007 | LICS | First-Order and Temporal Logics for Nested Words. | Rajeev Alur, Marcelo Arenas, Pablo Barcel, Kousha Etessami, Neil Immerman, Leonid Libkin |
| 2005 | LICS | Temporal Logics over Unranked Trees. | Pablo Barcel, Leonid Libkin |
| 2004 | CSL | Game-Based Notions of Locality Over Finite Models. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2004 | PODS | Locally Consistent Transformations and Query Answering in Data Exchange. | Marcelo Arenas, Pablo Barcel, Ronald Fagin, Leonid Libkin |
| 2003 | PADL | Logic Programs for Querying Inconsistent Databases. | Pablo Barcel, Leopoldo E. Bertossi |