PDI - Resultado de Búsqueda

Pablo Barceló

Full Professor

Pontificia Universidad Católica de Chile

Santiago, Chile

DATABASE THEORY; LOGIC IN COMPUTER SCIENCE

Computer Science, UNIVERSITY OF TORONTO. Canada, 2006

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 - At present

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.


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; Pieris, Andreas Article ISI JOURNAL OF THE ACM (2020)
The Expressive Power of Graph Neural Networks as a Query Language Kostylev, Egor V.; Monet, Mikaë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 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 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 MOBILE WEB AND INTELLIGENT INFORMATION SYSTEMS, MOBIWIS 2022 (2003)


Foundations of data exchange Arenas, M; Barceló P.; Libkin, L; Murlak, F BookWhole SCOPUS Foundations of Data Exchange (2010)


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 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 Higuera N. ConferencePaper SCOPUS Proceedings of the ACM SIGMOD International Conference on Management of Data (2019)
Monadic decomposability of regular relations Hong C.-D.; Le X.-B.; Niskanen R. ConferencePaper SCOPUS Leibniz International Proceedings in Informatics, LIPIcs (2019)
Regularizing Conjunctive Features for Classification 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? Feier C.; Pieris, A ConferencePaper SCOPUS Proceedings - Symposium on Logic in Computer Science (2019)
A more general theory of static approximations for conjunctive queries Zeume T. ConferencePaper SCOPUS Leibniz International Proceedings in Informatics, LIPIcs (2018)
Containment for rule-based ontology-mediated queries Pieris, A ConferencePaper ISI SCOPUS (2018)
G-CORE a core for future graph query languages Angles, R; Boncz P.; Fletcher G.; 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 ConferencePaper SCOPUS Leibniz International Proceedings in Informatics, LIPIcs (2017)
Semantic acyclicity under constraints 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 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 MOBILE WEB AND INTELLIGENT INFORMATION SYSTEMS, MOBIWIS 2022 (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. ConferencePaper ISI MOBILE WEB AND INTELLIGENT INFORMATION SYSTEMS, MOBIWIS 2022 (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 MOBILE WEB AND INTELLIGENT INFORMATION SYSTEMS, MOBIWIS 2022 (2006)


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)


Special Issue: JCSS Foundations of Data Management Foreword Barceló P. EditorialMaterial ISI SCOPUS Journal of Computer and System Sciences (2013)


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

Pablo Barceló

Full Professor

Pontificia Universidad Católica de Chile

Santiago, Chile

Renzo Angles

ACADÉMICO JORNADA COMPLETA

CIENCIAS DE LA COMPUTACIÓN

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

Curicó, Chile

Marcelo Arenas

Full Professor

Computer Sciences

Pontificia Universidad Catolica de Chile

Santiago, Chile

Miguel Romero

Profesor Asistente

Departamento de Ciencia de la Computación

Pontificia Universidad Católica de Chile

Santiago, Chile

Pablo Barceló

Líneas de Investigación

Educación

Computer Science, UNIVERSITY OF TORONTO. Canada, 2006

Experiencia Académica

Full Professor Full Time

Full Professor Full Time

Formación de Capital Humano

Article (24)

BookWhole (1)

ConferencePaper (28)

Editorial (2)

EditorialMaterial (1)

Proyecto (6)

Millennium Institute for Foundational Research on Data

SEMANTIC OPTIMIZATION IN TRACTABLE CLASSES OF CONJUNCTIVE QUERIES

Millenium Nucleus Center for Semantic Web Research

EFFICIENT APPROXIMATIONS OF CONJUNCTIVE QUERIES

NEW MODELS AND QUERY LANGUAGES FOR EMERGING APPLICATIONS OF SEMISTRUCTURED DATA

EXTENDING QUERY LANGUAGES FOR RELATIONAL AND XML DATA EXCHANGE