Download.jpeg_thumb90

Pablo Barceló

Full Professor

Pontificia Universidad Católica de Chile

Santiago, Chile

Líneas de Investigación


DATABASE THEORY; LOGIC IN COMPUTER SCIENCE

Educación

  •  Computer Science, UNIVERSITY OF TORONTO. Canada, 2006

Experiencia Académica

  •   Full Professor Full Time

    UNIVERSIDAD DE CHILE

    Physical and Mathematical Sciences

    Chile

    2007 - 2019

  •   Full Professor Full Time

    PONTIFICIA UNIVERSIDAD CATOLICA DE CHILE

    Chile

    2019 - A la fecha

Formación de Capital Humano


PhD students:
- Miguel Romero. Universidad de Chile, 2016.

Master students:
- Miguel Romero. Universidad de Chile, 2012.
- Victor Carmi. Universidad de Chile, 2013.
- Gonzalo Ríos. Universidad de Chile, 2013.
- Nelson Higuera. Universidad de Chile, 2020.
- Bernardo Subercaseux. Universidad de Chile, 2021.



 

Article (24)

Chile's New Interdisciplinary Institute for Foundational Research on Data

Arenas, Marcelo; BarcelO, Pablo

Article ISI
COMMUNICATIONS OF THE ACM  (2020)

Semantic Optimization of Conjunctive Queries

BarcelO, Pablo; Figueira, Diego; Gottlob, Georg; Pieris, Andreas

Article ISI
JOURNAL OF THE ACM  (2020)

The Expressive Power of Graph Neural Networks as a Query Language

Barceló, Pablo; Kostylev, Egor V.; Monet, Mikaël; Pérez, Jorge; Reutter, Juan L.; Silva, Juan-Pablo

Article
SIGMOD RECORD  (2020)

Bisimulations on Data Graphs

Abriola, Sergio; Barceló, Pablo; Figueira, Diego

Article
JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH  (2018)

Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection

Barceló, Pablo; Kroll, Markus; Pichler, Reinhard; Skritek, Sebastian

Article
ACM TRANSACTIONS ON DATABASE SYSTEMS  (2018)

Foundations of Modern Query Languages for Graph Databases

Angles, R; Arenas, M; Barcelo, P; Hogan, A; Reutter, J; Vrgoc, D

Article
ACM Computing Surveys  (2017)

Graph logics with rational relations=> The role of word combinatorics

Barceló P., Muñoz P.

Article
ACM Transactions on Computational Logic  (2017)

On the data complexity of consistent query answering over graph databases

Barceló P., Fontaine G.

Article
Journal of Computer and System Sciences  (2017)

The homomorphism problem for regular graph patterns

Romero M.; Barceló P.; Vardi M.Y.

Article SCOPUS
Proceedings - Symposium on Logic in Computer Science  (2017)

Order-invariant types and their applications

Barceló P.; Libkin, L

Article SCOPUS
Logical Methods in Computer Science  (2016)

Semantic acyclicity on graph databases

Barceló, Pablo; Romero, Miguel; Vardi, Moshe Y.

Article
SIAM JOURNAL ON COMPUTING  (2016)

EFFICIENT APPROXIMATIONS OF CONJUNCTIVE QUERIES

Barcelo, P; Libkin L.; Romero, M

Article
SIAM JOURNAL ON COMPUTING  (2014)

Querying Regular Graph Patterns

Barceló P.; Libkin, L; Reutter, JL

Article ISI SCOPUS
JOURNAL OF THE ACM  (2014)

GRAPH LOGICS WITH RATIONAL RELATIONS

Barceló P.; Figueira D.; Libkin, L

Article ISI SCOPUS
Logical Methods in Computer Science  (2013)

Parameterized regular expressions and their languages

Barceló P.; Reutter, J.; Libkin, L

Article ISI SCOPUS
THEORETICAL COMPUTER SCIENCE  (2013)

Solutions and query rewriting in data exchange

Arenas, M; Barceló P.; Fagin R.; Libkin, L

Article ISI SCOPUS
Information and Computation  (2013)

Expressive Languages for Path Queries over Graph-Structured Data

Barcelo, P; Libkin L.; Lin, AW; Wood, PT

Article
ACM TRANSACTIONS ON DATABASE SYSTEMS  (2012)

Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries

Arenas, M; Barceló P.; Reutter, J.

Article ISI SCOPUS
THEORY OF COMPUTING SYSTEMS  (2011)

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization

Arenas, M; Barceló P.; Libkin, L

Article ISI SCOPUS
Theory of Computing Systems  (2011)

XML with Incomplete Information

Barceló P.; Libkin, L; Poggi, A; Sirangelo, C

Article ISI SCOPUS
Journal of the ACM  (2010)

Logical Foundations of Relational Data Exchange

Barceló P.

Article ISI SCOPUS
SIGMOD RECORD  (2009)

FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS

Alur, R; Arenas, M; Barceló P.; Etessami, K; Immerman, N; Libkin, L

Article ISI
LOGICAL METHODS IN COMPUTER SCIENCE  (2008)

Game-based notions of locality over finite models

Arenasa, M; Barceló P.; Libkin, L

Article ISI SCOPUS
ANNALS OF PURE AND APPLIED LOGIC  (2008)

Characterizing and computing semantically correct answers from databases with annotated logic and answer sets

Barceló P.; Bertossi L.; Bravo, L

Article ISI SCOPUS
LEARNING AND INTELLIGENT OPTIMIZATION, LION 15  (2003)

BookWhole (1)

Foundations of data exchange

Arenas, M; Barceló P.; Libkin, L; Murlak, F

BookWhole SCOPUS
Foundations of Data Exchange  (2010)

ConferencePaper (28)

Counting problems over incomplete databases

Marcelo Arenas, Pablo Barceló, Mikaël Monet:

ConferencePaper
 (2020)

Model Interpretability through the lens of Computational Complexity

Pablo Barceló, Mikaël Monet, Jorge Pérez, Bernardo Subercaseaux

ConferencePaper
 (2020)

On the expressiveness of Lara: A unified language for linear and relational algebra

Barceló P.; Higuera N.; Pérez J.; Subercaseaux B.

ConferencePaper SCOPUS
Leibniz International Proceedings in Informatics, LIPIcs  (2020)

The Limits of Efficiency for Open- and Closed-World Query Evaluation Under Guarded TGDs.

Pablo Barceló, Victor Dalmau, Cristina Feier, Carsten Lutz, Andreas Pieris

ConferencePaper
 (2020)

The Logical Expressiveness of Graph Neural Networks

Pablo Barceló, Egor V. Kostylev, Mikaël Monet, Jorge Pérez, Juan L. Reutter, Juan Pablo Silva

ConferencePaper
 (2020)

Expressiveness of matrix and tensor query languages in terms of ML operators

Barceló P.; Higuera N.; Pérez J.; Subercaseaux B.

ConferencePaper SCOPUS
Proceedings of the ACM SIGMOD International Conference on Management of Data  (2019)

Monadic decomposability of regular relations

Barceló P.; Hong C.-D.; Le X.-B.; Lin A.W.; Niskanen R.

ConferencePaper SCOPUS
Leibniz International Proceedings in Informatics, LIPIcs  (2019)

Regularizing Conjunctive Features for Classification

Barceló P.; Baumgartner A.; Dalmau V.; Kimelfeld B.

ConferencePaper ISI SCOPUS
PROCEEDINGS OF THE 38TH ACM SIGMOD-SIGACT-SIGAI SYMPOSIUM ON PRINCIPLES OF DATABASE SYSTEMS (PODS '19)  (2019)

When is ontology-mediated querying efficient?

Barcelo P.; Feier C.; Lutz C.; Pieris, A

ConferencePaper SCOPUS
Proceedings - Symposium on Logic in Computer Science  (2019)

A more general theory of static approximations for conjunctive queries

Barceló P.; Romero M.; Zeume T.

ConferencePaper SCOPUS
Leibniz International Proceedings in Informatics, LIPIcs  (2018)

Containment for rule-based ontology-mediated queries

Barcelo P.; Berger G.; Pieris, A

ConferencePaper ISI SCOPUS
 (2018)

G-CORE a core for future graph query languages

Angles, R; Arenas M.; Barceló P.; Boncz P.; Fletcher G.; Gutierrez C.; Lindaaker T.; Paradies M.; Plantikow S.; Sequeda J.; Van Rest O.; Voigt H.

ConferencePaper ISI SCOPUS
 (2018)

The complexity of reverse engineering problems for conjunctive queries

Barceló P.; Romero M.

ConferencePaper SCOPUS
Leibniz International Proceedings in Informatics, LIPIcs  (2017)

Semantic acyclicity under constraints

Barceló P.; Gottlob G.; Pieris A.

ConferencePaper ISI SCOPUS
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems  (2016)

String solving with word equations and transducers: Towards a logic for analysing mutation XSS

Lin A.W.; Barceló P.

ConferencePaper ISI SCOPUS
ACM SIGPLAN Notices  (2016)

Efficient Evaluation and Approximation of Well-designed Pattern Trees

Barceló P.; Pichler, R; Skritek, S

ConferencePaper SCOPUS
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems  (2015)

Efficient evaluation of well-designed pattern trees (extended abstract)?

Barceló P.; Pichler, R; Skritek, S

ConferencePaper SCOPUS
CEUR Workshop Proceedings  (2015)

On the data complexity of consistent query answering over graph databases

Barceló P.; Fontaine, G

ConferencePaper SCOPUS
Leibniz International Proceedings in Informatics, LIPIcs  (2015)

Does query evaluation tractability help query containment?

Barceló P.; Romero M.; Vardi M.Y.

ConferencePaper SCOPUS
TEI 2020 - Proceedings of the 14th International Conference on Tangible, Embedded, and Embodied Interaction  (2014)

Graph logics with rational relations: The role of word combinatorics

Barceló P.; Muñoz P

ConferencePaper SCOPUS
TEI 2020 - Proceedings of the 14th International Conference on Tangible, Embedded, and Embodied Interaction  (2014)

Sharing and Exchanging Data

Awada R.; Barceló P.; Kiringa I.

ConferencePaper ISI SCOPUS
LEARNING AND INTELLIGENT OPTIMIZATION, LION 15  (2014)

A practical query language for graph DBs

Angles, R; Barceló P.; Rios G.

ConferencePaper SCOPUS
CEUR Workshop Proceedings  (2013)

Efficient approximations of conjunctive queries

Barceló P.; Libkin, L; Romero M.

ConferencePaper SCOPUS
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems  (2012)

Graph Logics with Rational Relations and the Generalized Intersection Problem

Barceló P.; Figueira D.; Libkin, L

ConferencePaper ISI SCOPUS
Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012  (2012)

Datalog as a Query Language for Data Exchange Systems

Arenas, M; Barceló P.; Reutter, JL

ConferencePaper ISI
LEARNING AND INTELLIGENT OPTIMIZATION, LION 15  (2011)

Expressive Languages for Path Queries over Graph-Structured Data

Barceló P.; Hurtado C.; Libkin, L; Wood, P.

ConferencePaper ISI SCOPUS
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems  (2010)

XML with Incomplete Information: Models, Properties, and Query Answering

Barceló P.; Libkin, L; Poggi, A; Sirangelo, C

ConferencePaper ISI SCOPUS
Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems  (2009)

Combining temporal logics for querying XML documents

Arenas, M; Barceló P.; Libkin, L

ConferencePaper ISI
LEARNING AND INTELLIGENT OPTIMIZATION, LION 15  (2006)

Editorial (2)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

Kohlenbach U.; Barceló P.; De Queiroz R.

Editorial SCOPUS
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)  (2014)

Program Chairs' Welcome

Barceló P.; Chen L.

Editorial SCOPUS
Proceedings of the ACM SIGMOD International Conference on Management of Data  (2014)

EditorialMaterial (1)

Special Issue: JCSS Foundations of Data Management Foreword

Barceló P.

EditorialMaterial ISI SCOPUS
Journal of Computer and System Sciences  (2013)

Proyecto (6)

Millennium Institute for Foundational Research on Data

Programa Milenio (NA)

Proyecto
2018-2028
Subdirector(a)

SEMANTIC OPTIMIZATION IN TRACTABLE CLASSES OF CONJUNCTIVE QUERIES

FONDECYT (1170109)

Proyecto
2017-2020
Inv. Responsable

Millenium Nucleus Center for Semantic Web Research

Iniciativa Científica Milenio (NC120004)

Proyecto
2014-2016
Inv. Responsable

EFFICIENT APPROXIMATIONS OF CONJUNCTIVE QUERIES

FONDECYT (1130104)

Proyecto
2013-2015
Inv. Responsable

NEW MODELS AND QUERY LANGUAGES FOR EMERGING APPLICATIONS OF SEMISTRUCTURED DATA

FONDECYT (1110171)

Proyecto
2011-2013
Inv. Responsable

EXTENDING QUERY LANGUAGES FOR RELATIONAL AND XML DATA EXCHANGE

FONDECYT (11080011)

Proyecto
2008-2010
Inv. Responsable

48
Pablo Barceló

Full Professor

Pontificia Universidad Católica de Chile

Santiago, Chile

9
Marcelo Arenas

Full Professor

Computer Sciences

Pontificia Universidad Catolica de Chile

Santiago, Chile

4
Miguel Romero

Profesor Asistente

Departamento de Ciencia de la Computación

Pontificia Universidad Católica de Chile

Santiago, Chile

2
Renzo Angles

ACADÉMICO JORNADA COMPLETA

CIENCIAS DE LA COMPUTACIÓN

UNIVERSIDAD DE TALCA, DEPARTAMENTO DE CIENCIAS DE LA COMPUTACIÓN

Curicó, Chile