Pablo Barceló

According to our database1, Pablo Barceló authored at least 75 papers between 2001 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Graph Path Navigation.
Proceedings of the Encyclopedia of Big Data Technologies., 2019

Expressiveness of Matrix and Tensor Query Languages in terms of ML Operators.
Proceedings of the 3rd International Workshop on Data Management for End-to-End Machine Learning, 2019

Regularizing Conjunctive Features for Classification.
Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

When is Ontology-Mediated Querying Efficient?
Proceedings of the 34th Annual ACM/IEEE Symposium on Logic in Computer Science, 2019

On the Turing Completeness of Modern Neural Network Architectures.
Proceedings of the 7th International Conference on Learning Representations, 2019

Monadic Decomposability of Regular Relations.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

Boundedness of Conjunctive Regular Path Queries.
Proceedings of the 46th International Colloquium on Automata, Languages, and Programming, 2019

PTime Combined Complexity and FPT in Ontology-Mediated Querying.
Proceedings of the 32nd International Workshop on Description Logics, 2019

A Theoretical View on Reverse Engineering Problems for Database Query Languages.
Proceedings of the 32nd International Workshop on Description Logics, 2019

2018
Locality of Queries.
Proceedings of the Encyclopedia of Database Systems, Second Edition, 2018

Efficient Evaluation and Static Analysis for Well-Designed Pattern Trees with Projection.
ACM Trans. Database Syst., 2018

Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos, 2018

G-CORE: A Core for Future Graph Query Languages.
Proceedings of the 2018 International Conference on Management of Data, 2018

Containment for Rule-Based Ontology-Mediated Queries.
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2018

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

A More General Theory of Static Approximations for Conjunctive Queries.
Proceedings of the 21st International Conference on Database Theory, 2018

First-Order Rewritability of Frontier-Guarded Ontology-Mediated Queries.
Proceedings of the 12th Alberto Mendelzon International Workshop on Foundations of Data Management, 2018

2017
Semantic Optimization in Tractable Classes of Conjunctive Queries.
SIGMOD Record, 2017

21st Workshop on Logic, Language, Information and Computation - WoLLIC 2014.
Inf. Comput., 2017

Foundations of Modern Query Languages for Graph Databases.
ACM Comput. Surv., 2017

The homomorphism problem for regular graph patterns.
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

The Complexity of Reverse Engineering Problems for Conjunctive Queries.
Proceedings of the 20th International Conference on Database Theory, 2017

Guarded Ontology-Mediated Queries Distributing Over Components.
Proceedings of the 11th Alberto Mendelzon International Workshop on Foundations of Data Management and the Web, 2017

2016
Research Directions for Principles of Data Management (Abridged).
SIGMOD Record, 2016

Order-Invariant Types and Their Applications.
Logical Methods in Computer Science, 2016

Semantic Acyclicity for Conjunctive Queries: Approximations and Constraints.
Proceedings of the Logic, Language, Information, and Computation, 2016

String solving with word equations and transducers: towards a logic for analysing mutation XSS.
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2016

Semantic Acyclicity Under Constraints.
Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Bisimulations on Data Graphs.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Semantic Acyclicity Under Constraints.
Proceedings of the 10th Alberto Mendelzon International Workshop on Foundations of Data Management, 2016

2015
21st Workshop on Logic, Language, Information and Computation (WoLLIC 2014).
Logic Journal of the IGPL, 2015

Expressive Path Queries on Graph with Data.
Logical Methods in Computer Science, 2015

Efficient Evaluation and Approximation of Well-designed Pattern Trees.
Proceedings of the 34th ACM Symposium on Principles of Database Systems, 2015

On the Data Complexity of Consistent Query Answering over Graph Databases.
Proceedings of the 18th International Conference on Database Theory, 2015

Efficient Evaluation of Well-designed Pattern Trees (Extended Abstract).
Proceedings of the 9th Alberto Mendelzon International Workshop on Foundations of Data Management, Lima, Peru, May 6, 2015

2014
Querying Regular Graph Patterns.
J. ACM, 2014

Does query evaluation tractability help query containment?
Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2014

Graph logics with rational relations: the role of word combinatorics.
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014

Foundations of Data Exchange
Cambridge University Press, ISBN: 9781107016163, 2014

2013
Parameterized regular expressions and their languages.
Theor. Comput. Sci., 2013

The Chilean Database Group.
JIDM, 2013

Editor's foreword.
J. Comput. Syst. Sci., 2013

Solutions and query rewriting in data exchange.
Inf. Comput., 2013

Graph Logics with Rational Relations
Logical Methods in Computer Science, 2013

Semantic acyclicity on graph databases.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Querying graph databases.
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2013

Expressive Path Queries on Graphs with Data.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Sharing and Exchanging Data.
Proceedings of the Declarative Programming and Knowledge Management, 2013

Schema mappings and data exchange for graph databases.
Proceedings of the Joint 2013 EDBT/ICDT Conferences, 2013

A Practical Query Language for Graph DBs.
Proceedings of the 7th Alberto Mendelzon International Workshop on Foundations of Data Management, 2013

2012
Expressive Languages for Path Queries over Graph-Structured Data.
ACM Trans. Database Syst., 2012

Efficient approximations of conjunctive queries.
Proceedings of the 31st ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2012

Graph Logics with Rational Relations and the Generalized Intersection Problem.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

Relative Expressiveness of Nested Regular Expressions.
Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

On Low Treewidth Approximations of Conjunctive Queries.
Proceedings of the 6th Alberto Mendelzon International Workshop on Foundations of Data Management, 2012

2011
Querying graph patterns.
Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2011

Parameterized Regular Expressions and Their Languages.
Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011

2010
Relational and XML Data Exchange
Synthesis Lectures on Data Management, Morgan & Claypool Publishers, 2010

XML with incomplete information.
J. ACM, 2010

Expressive languages for path queries over graph-structured data.
Proceedings of the Twenty-Ninth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2010

Datalog as a Query Language for Data Exchange Systems.
Proceedings of the Datalog Reloaded - First International Workshop, 2010

On Incomplete XML Documents with Integrity Constraints.
Proceedings of the 4th Alberto Mendelzon International Workshop on Foundations of Data Management, 2010

2009
Locality of Queries.
Proceedings of the Encyclopedia of Database Systems, 2009

Logical foundations of relational data exchange.
SIGMOD Record, 2009

XML with incomplete information: models, properties, and query answering.
Proceedings of the Twenty-Eigth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, 2009

Query languages for data exchange: beyond unions of conjunctive queries.
Proceedings of the Database Theory, 2009

2007
First-Order and Temporal Logics for Nested Words.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

Combining Temporal Logics for Querying XML Documents.
Proceedings of the Database Theory, 2007

Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
Proceedings of the Automata, Languages and Programming, 34th International Colloquium, 2007

2005
Temporal Logics over Unranked Trees.
Proceedings of the 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 2005

2004
Locally Consistent Transformations and Query Answering in Data Exchange.
Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, 2004

Game-Based Notions of Locality Over Finite Models.
Proceedings of the Computer Science Logic, 18th International Workshop, 2004

2003
Logic Programs for Querying Inconsistent Databases.
Proceedings of the Practical Aspects of Declarative Languages, 5th International Symposium, 2003

2002
Repairing databases with annotated predicate logic.
Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

2001
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets.
Proceedings of the Semantics in Databases, 2001


  Loading...