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 SCOPUS Communications of the ACM (2020)
Semantic Optimization of Conjunctive Queries BarcelO, Pablo; Figueira, Diego; Pieris, Andreas Article ISI SCOPUS 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 SCOPUS SIGMOD Record (2020)
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 Barcelo P.; Libkin L. Article SCOPUS Logical Methods in Computer Science (2016)
Querying Regular Graph Patterns Barcelo P.; Libkin L. Article ISI SCOPUS JOURNAL OF THE ACM (2014)
GRAPH LOGICS WITH RATIONAL RELATIONS Barcelo P.; Figueira D.; Libkin L. Article ISI SCOPUS Logical Methods in Computer Science (2013)
Parameterized regular expressions and their languages Barcelo P.; Reutter J.; Libkin L. Article ISI SCOPUS Theoretical Computer Science (2013)
Solutions and query rewriting in data exchange Arenas M.; Barcelo P.; Fagin R.; Libkin L. Article ISI SCOPUS Information and Computation (2013)
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries Arenas M.; Barcelo P.; Reutter J. Article ISI SCOPUS THEORY OF COMPUTING SYSTEMS (2011)
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization Arenas M.; Barcelo P.; Libkin L. Article ISI SCOPUS Theory of Computing Systems (2011)
XML with Incomplete Information Barcelo P.; Libkin L.; Poggi, A; Sirangelo, C Article ISI SCOPUS Journal of the ACM (2010)
Logical Foundations of Relational Data Exchange Barcelo P. Article ISI SCOPUS SIGMOD Record (2009)
FIRST-ORDER AND TEMPORAL LOGICS FOR NESTED WORDS Alur, R; Arenas M.; Barcelo 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; Barcelo 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 Barcelo P.; Bertossi L.; Bravo L. Article ISI SCOPUS VIRTUAL, AUGMENTED AND MIXED REALITY, VAMR 2021 (2003)


Foundations of data exchange Arenas M.; Barcelo 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 BarcelÃƒÂ³ P.; Kostylev E.V.; Monet M.; PÃƒÂ©rez J.; Reutter J.; Silva J.P. ConferencePaper SCOPUS 8th International Conference on Learning Representations, ICLR 2020 (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 Barcelo P. ConferencePaper ISI SCOPUS ACM SIGPLAN NOTICES (2016)
Efficient Evaluation and Approximation of Well-designed Pattern Trees Barcelo P.; Pichler, R; Skritek, S ConferencePaper SCOPUS ACM International Conference Proceeding Series (2015)
Efficient evaluation of well-designed pattern trees (extended abstract)? Barcelo P.; Pichler, R; Skritek, S ConferencePaper SCOPUS CEUR Workshop Proceedings (2015)
On the data complexity of consistent query answering over graph databases Barcelo P.; Fontaine G. ConferencePaper SCOPUS Leibniz International Proceedings in Informatics, LIPIcs (2015)
Does query evaluation tractability help query containment? Barcelo P.; Romero M.; Vardi M.Y. ConferencePaper SCOPUS ACM International Conference Proceeding Series (2014)
Graph logics with rational relations: The role of word combinatorics Barcelo P.; Munoz P. ConferencePaper SCOPUS ACM International Conference Proceeding Series (2014)
Sharing and Exchanging Data Awada R.; Barcelo P.; Kiringa I. ConferencePaper ISI SCOPUS VIRTUAL, AUGMENTED AND MIXED REALITY, VAMR 2021 (2014)
A practical query language for graph DBs Angles R.; Barcelo P.; Rios, G ConferencePaper SCOPUS CEUR Workshop Proceedings (2013)
Efficient approximations of conjunctive queries Barcelo P.; Libkin L.; Romero M. ConferencePaper SCOPUS ACM International Conference Proceeding Series (2012)
Graph Logics with Rational Relations and the Generalized Intersection Problem Barcelo 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.; Barcelo P. ConferencePaper ISI VIRTUAL, AUGMENTED AND MIXED REALITY, VAMR 2021 (2011)
Expressive Languages for Path Queries over Graph-Structured Data Barcelo 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 Barcelo 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.; Barcelo P.; Libkin L. ConferencePaper ISI VIRTUAL, AUGMENTED AND MIXED REALITY, VAMR 2021 (2006)


Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface Kohlenbach U.; Barcelo 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 Barcelo P.; Chen L. Editorial SCOPUS Proceedings of the ACM SIGMOD International Conference on Management of Data (2014)