Obserwuj
Pablo Barceló
Pablo Barceló
Institute for Mathematical and Computational Engineering, PUC Chile & IMFD Chile & CENIA Chile
Zweryfikowany adres z uc.cl - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Foundations of modern query languages for graph databases
R Angles, M Arenas, P Barceló, A Hogan, J Reutter, D Vrgoč
ACM Computing Surveys (CSUR) 50 (5), 1-40, 2017
3312017
Querying graph databases
P Barceló Baeza
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
2552013
Expressive languages for path queries over graph-structured data
P Barceló, L Libkin, AW Lin, PT Wood
ACM Transactions on Database Systems (TODS) 37 (4), 1-46, 2012
2172012
G-CORE: A core for future graph query languages
R Angles, M Arenas, P Barceló, P Boncz, G Fletcher, C Gutierrez, ...
Proceedings of the 2018 International Conference on Management of Data, 1421 …, 2018
1432018
Querying regular graph patterns
P Barceló, L Libkin, JL Reutter
Journal of the ACM (JACM) 61 (1), 1-54, 2014
127*2014
Foundations of data exchange
M Arenas, P Barceló, L Libkin, F Murlak
Cambridge University Press, 2014
1252014
Relational and XML data exchange
M Arenas, P Barceló, L Libkin, F Murlak
Synthesis Lectures on Data Management 2 (1), 1-112, 2010
1082010
First-order and temporal logics for nested words
R Alur, M Arenas, P Barceló, K Etessami, N Immerman, L Libkin
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 151-160, 2007
1082007
Solutions and query rewriting in data exchange
M Arenas, P Barceló, R Fagin, L Libkin
Information and Computation 228, 28-61, 2013
100*2013
The logical expressiveness of graph neural networks
P Barceló, E Kostylev, M Monet, J Pérez, J Reutter, JP Silva
8th International Conference on Learning Representations (ICLR 2020), 2020
972020
Logic programs for querying inconsistent databases
P Barceló, L Bertossi
International Symposium on Practical Aspects of Declarative Languages, 208-222, 2003
942003
Logical foundations of relational data exchange
P Barceló
ACM SIGMOD Record 38 (1), 49-58, 2009
782009
Attention is Turing-Complete.
J Pérez, P Barceló, J Marinkovic
J. Mach. Learn. Res. 22 (75), 1-35, 2021
77*2021
XML with incomplete information
P Barceló, L Libkin, A Poggi, C Sirangelo
Journal of the ACM (JACM) 58 (1), 1-62, 2010
68*2010
String solving with word equations and transducers: towards a logic for analysing mutation XSS
AW Lin, P Barceló
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2016
672016
Graph logics with rational relations
L Libkin, D Figueira, P Barcelo
Logical Methods in Computer Science 9, 2013
64*2013
Relative Expressiveness of Nested Regular Expressions.
P Barceló, J Pérez, JL Reutter
AMW 12, 180-195, 2012
632012
Characterizing and computing semantically correct answers from databases with annotated logic and answer sets
P Barceló, L Bertossi, L Bravo
International Workshop on Semantics in Databases, 7-33, 2001
572001
Temporal logics over unranked trees
P Barceló, L Libkin
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 31-40, 2005
552005
The complexity of reverse engineering problems for conjunctive queries
P Barceló, M Romero
arXiv preprint arXiv:1606.01206, 2016
412016
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20