Pablo Barcelķ
Pablo Barcelķ
Institute for Mathematical and Computational Engineering, PUC Chile & IMFD Chile
Verifierad e-postadress på ing.puc.cl - Startsida
Titel
Citeras av
Citeras av
År
Querying graph databases
P Barcelķ Baeza
Proceedings of the 32nd ACM SIGMOD-SIGACT-SIGAI symposium on Principles of …, 2013
2062013
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
1912012
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
1902017
Querying regular graph patterns
P Barcelķ, L Libkin, JL Reutter
Journal of the ACM (JACM) 61 (1), 1-54, 2014
112*2014
Relational and XML data exchange
M Arenas, P Barcelo, L Libkin, F Murlak
Synthesis Lectures on Data Management 2 (1), 1-112, 2010
1032010
Foundations of data exchange
M Arenas, P Barcelķ, L Libkin, F Murlak
Cambridge University Press, 2014
1022014
Solutions and query rewriting in data exchange
M Arenas, P Barcelķ, R Fagin, L Libkin
Information and Computation 228, 28-61, 2013
102*2013
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
982007
Logic programs for querying inconsistent databases
P Barcelķ, L Bertossi
International Symposium on Practical Aspects of Declarative Languages, 208-222, 2003
852003
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
802018
Logical foundations of relational data exchange
P Barcelķ
ACM SIGMOD Record 38 (1), 49-58, 2009
712009
XML with incomplete information
P Barcelķ, L Libkin, A Poggi, C Sirangelo
Journal of the ACM (JACM) 58 (1), 1-62, 2010
67*2010
Graph logics with rational relations
P Barcelķ, D Figueira, L Libkin
arXiv preprint arXiv:1304.4150, 2013
56*2013
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
562001
Temporal logics over unranked trees
P Barcelķ, L Libkin
20th Annual IEEE Symposium on Logic in Computer Science (LICS'05), 31-40, 2005
542005
Relative Expressiveness of Nested Regular Expressions.
P Barcelķ, J Pérez, JL Reutter
AMW 12, 180-195, 2012
502012
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
482016
Research directions for Principles of Data Management (Dagstuhl perspectives workshop 16151)
S Abiteboul, M Arenas, P Barcelķ, M Bienvenu, D Calvanese, C David, ...
arXiv preprint arXiv:1701.09007, 2017
41*2017
Query languages for data exchange: Beyond unions of conjunctive queries
M Arenas, P Barcelķ, J Reutter
Theory of Computing Systems 49 (2), 489-564, 2011
382011
Repairing databases with annotated predicate logic.
P Barcelķ, LE Bertossi
NMR, 160-170, 2002
372002
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20