default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMarcelo Arenas
Person information
- affiliation: Pontificia Universidad Católica de Chile
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j56]Marcelo Arenas
, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros:
Towards Tractability of the Diversity of Query Answers: Ultrametrics to the Rescue. Proc. ACM Manag. Data 2(5): 215:1-215:26 (2024)- [c87]Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux:
A Uniform Language to Explain Decision Trees. KR 2024 - [c86]Marcelo Arenas:
A Data Management Approach to Explainable AI. PODS Companion 2024: 1-3 - [c85]Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Vicente Calisto, Benjamín Farias, Sebastián Ferrada, Tristan Heuer, Aidan Hogan, Gonzalo Navarro, Alexander Pinto, Juan L. Reutter, Henry Rosales-Méndez, Etienne Toussaint:
MillenniumDB: A Multi-modal, Multi-model Graph Database. SIGMOD Conference Companion 2024: 496-499 - [i27]Antoine Amarilli, Marcelo Arenas, YooJung Choi, Mikaël Monet, Guy Van den Broeck, Benjie Wang:
A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata. CoRR abs/2404.09674 (2024) - [i26]Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros:
Towards Tractability of the Diversity of Query Answers: Ultrametrics to the Rescue. CoRR abs/2408.01657 (2024) - 2023
- [j55]Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Diego Arroyuelo, Carlos Buil-Aranda, Aidan Hogan, Gonzalo Navarro, Cristian Riveros, Juan Romero:
MillenniumDB: An Open-Source Graph Database System. Data Intell. 5(3): 560-610 (2023) - [j54]Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet:
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results. J. Mach. Learn. Res. 24: 63:1-63:58 (2023) - [c84]Marcelo Arenas, Wenfei Fan, Frank Neven:
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023. PODS 2023: 3-4 - [i25]Marcelo Arenas, Pablo Barceló, Diego Bustamente, Jose Caraball, Bernardo Subercaseaux:
A Symbolic Language for Interpreting Decision Trees. CoRR abs/2310.11636 (2023) - 2022
- [j53]Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros:
Counting the Answers to a Query. SIGMOD Rec. 51(3): 6-17 (2022) - [c83]Marcelo Arenas, Pedro Bahamondes, Amir Aghasadeghi, Julia Stoyanovich:
Temporal Regular Path Queries. ICDE 2022: 2412-2425 - [c82]Marcelo Arenas:
Counting the Solutions to a Query (Invited Talk). ICDT 2022: 2:1-2:1 - [c81]Marcelo Arenas, Pablo Barceló, Miguel A. Romero Orth, Bernardo Subercaseaux:
On Computing Probabilistic Explanations for Decision Trees. NeurIPS 2022 - [i24]Marcelo Arenas, Pablo Barceló, Miguel Romero, Bernardo Subercaseaux:
On Computing Probabilistic Explanations for Decision Trees. CoRR abs/2207.12213 (2022) - 2021
- [j52]Sherif Sakr, Angela Bonifati, Hannes Voigt, Alexandru Iosup, Khaled Ammar, Renzo Angles, Walid G. Aref, Marcelo Arenas, Maciej Besta, Peter A. Boncz, Khuzaima Daudjee, Emanuele Della Valle, Stefania Dumbrava, Olaf Hartig, Bernhard Haslhofer, Tim Hegeman, Jan Hidders, Katja Hose, Adriana Iamnitchi, Vasiliki Kalavri, Hugo Kapp, Wim Martens, M. Tamer Özsu, Eric Peukert, Stefan Plantikow, Mohamed Ragab, Matei Ripeanu, Semih Salihoglu, Christian Schulz, Petra Selmer, Juan F. Sequeda, Joshua Shinavier, Gábor Szárnyas, Riccardo Tommasini, Antonino Tumeo, Alexandru Uta, Ana Lucia Varbanescu, Hsiang-Yun Wu, Nikolay Yakovets, Da Yan, Eiko Yoneki:
The future is big graphs: a community view on graph processing systems. Commun. ACM 64(9): 62-71 (2021) - [j51]Marcelo Arenas, Thomas Reisenegger, Juan L. Reutter, Domagoj Vrgoc:
Is it Possible to Verify if a Transaction is Spendable? Frontiers Blockchain 4: 770503 (2021) - [j50]Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros:
#NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes. J. ACM 68(6): 48:1-48:40 (2021) - [j49]Marcelo Arenas, Pablo Barceló, Mikaël Monet:
The Complexity of Counting Problems Over Incomplete Databases. ACM Trans. Comput. Log. 22(4): 21:1-21:52 (2021) - [c80]Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet:
The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits. AAAI 2021: 6670-6678 - [c79]Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux:
Foundations of Symbolic Languages for Model Interpretability. NeurIPS 2021: 11690-11701 - [c78]Marcelo Arenas, Claudio Gutierrez, Juan F. Sequeda:
Querying in the Age of Graph Databases and Knowledge Graphs. SIGMOD Conference 2021: 2821-2828 - [c77]Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros:
A polynomial-time approximation algorithm for counting words accepted by an NFA (invited paper). STOC 2021: 4 - [c76]Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros:
When is approximate counting for conjunctive queries tractable? STOC 2021: 1015-1027 - [i23]Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet:
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results. CoRR abs/2104.08015 (2021) - [i22]Marcelo Arenas, Claudio Gutierrez, Juan F. Sequeda:
Querying in the Age of Graph Databases and Knowledge Graphs. CoRR abs/2106.11456 (2021) - [i21]Marcelo Arenas, Pedro Bahamondes, Julia Stoyanovich:
Temporal Regular Path Queries: Syntax, Semantics, and Complexity. CoRR abs/2107.01241 (2021) - [i20]Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux:
Foundations of Symbolic Languages for Model Interpretability. CoRR abs/2110.02376 (2021) - [i19]Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Diego Arroyuelo, Carlos Buil-Aranda, Aidan Hogan, Gonzalo Navarro, Cristian Riveros, Juan Romero:
MillenniumDB: A Persistent, Open-Source, Graph Database. CoRR abs/2111.01540 (2021) - 2020
- [j48]Marcelo Arenas, Pablo Barceló:
Chile's new interdisciplinary institute for foundational research on data. Commun. ACM 63(11): 78-83 (2020) - [j47]Marcelo Arenas, Martin Muñoz, Cristian Riveros:
Descriptive Complexity for Counting Complexity Classes. Log. Methods Comput. Sci. 16(1) (2020) - [j46]Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros:
Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation. SIGMOD Rec. 49(1): 52-59 (2020) - [c75]Marcelo Arenas, Pablo Barceló, Mikaël Monet:
Counting Problems over Incomplete Databases. PODS 2020: 165-177 - [c74]Marcelo Arenas, Juan L. Reutter, Etienne Toussaint, Martín Ugarte, Francisco José Vial Prado, Domagoj Vrgoc:
Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards. STACS 2020: 54:1-54:16 - [p2]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
Querying the Semantic Web via Rules. Applications and Practices in Ontology Design, Extraction, and Reasoning 2020: 194-213 - [i18]Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros:
An FPRAS and Polynomial-Time Uniform Sampler for Tree Automata. CoRR abs/2005.10029 (2020) - [i17]Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet:
The Tractability of SHAP-scores over Deterministic and Decomposable Boolean Circuits. CoRR abs/2007.14045 (2020) - [i16]Marcelo Arenas, Pablo Barceló, Mikaël Monet:
The Complexity of Counting Problems over Incomplete Databases. CoRR abs/2011.06330 (2020) - [i15]Sherif Sakr, Angela Bonifati, Hannes Voigt, Alexandru Iosup, Khaled Ammar, Renzo Angles, Walid G. Aref, Marcelo Arenas, Maciej Besta, Peter A. Boncz, Khuzaima Daudjee, Emanuele Della Valle, Stefania Dumbrava, Olaf Hartig, Bernhard Haslhofer, Tim Hegeman, Jan Hidders, Katja Hose, Adriana Iamnitchi, Vasiliki Kalavri, Hugo Kapp, Wim Martens, M. Tamer Özsu, Eric Peukert, Stefan Plantikow, Mohamed Ragab, Matei Ripeanu, Semih Salihoglu, Christian Schulz, Petra Selmer, Juan F. Sequeda, Joshua Shinavier, Gábor Szárnyas, Riccardo Tommasini, Antonino Tumeo, Alexandru Uta, Ana Lucia Varbanescu, Hsiang-Yun Wu, Nikolay Yakovets, Da Yan, Eiko Yoneki:
The Future is Big Graphs! A Community View on Graph Processing Systems. CoRR abs/2012.06171 (2020)
2010 – 2019
- 2019
- [c73]Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros:
Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation. PODS 2019: 59-73 - [r13]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Graph Path Navigation. Encyclopedia of Big Data Technologies 2019 - [i14]Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros:
Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation. CoRR abs/1906.09226 (2019) - [i13]Marcelo Arenas, Pablo Barceló, Mikaël Monet:
Counting Problems over Incomplete Databases. CoRR abs/1912.11064 (2019) - 2018
- [j45]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Manifestos 7(1): 1-29 (2018) - [j44]Marcelo Arenas:
Database Theory Column Report on PODS 2018. SIGACT News 49(4): 55-57 (2018) - [j43]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
Expressive Languages for Querying the Semantic Web. ACM Trans. Database Syst. 43(3): 13:1-13:45 (2018) - [c72]Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña:
On the Progression of Situation Calculus Universal Theories with Constants. KR 2018: 484-493 - [c71]Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter A. Boncz, George H. L. Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan F. Sequeda, Oskar van Rest, Hannes Voigt:
G-CORE: A Core for Future Graph Query Languages. SIGMOD Conference 2018: 1421-1432 - [e10]Jan Van den Bussche, Marcelo Arenas:
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Houston, TX, USA, June 10-15, 2018. ACM 2018 [contents] - [r12]Marcelo Arenas:
Boyce-Codd Normal Form. Encyclopedia of Database Systems (2nd ed.) 2018 - [r11]Marcelo Arenas:
Fourth Normal Form. Encyclopedia of Database Systems (2nd ed.) 2018 - [r10]Marcelo Arenas:
Normal Forms and Normalization. Encyclopedia of Database Systems (2nd ed.) 2018 - [r9]Marcelo Arenas:
Second Normal Form (2NF). Encyclopedia of Database Systems (2nd ed.) 2018 - [r8]Marcelo Arenas:
Third Normal Form. Encyclopedia of Database Systems (2nd ed.) 2018 - [r7]Marcelo Arenas:
XML Integrity Constraints. Encyclopedia of Database Systems (2nd ed.) 2018 - [i12]Marcelo Arenas, Martin Muñoz, Cristian Riveros:
Descriptive Complexity for Counting Complexity Classes. CoRR abs/1805.02724 (2018) - 2017
- [j42]Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc:
Foundations of Modern Query Languages for Graph Databases. ACM Comput. Surv. 50(5): 68:1-68:40 (2017) - [j41]Marcelo Arenas:
Foreword: Special Issue on Database Theory. Theory Comput. Syst. 61(1): 1 (2017) - [j40]Marcelo Arenas, Martín Ugarte:
Designing a Query Language for RDF: Marrying Open and Closed Worlds. ACM Trans. Database Syst. 42(4): 21:1-21:46 (2017) - [c70]Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov:
A Note on Computing Certain Answers to Queries over Incomplete Databases. AMW 2017 - [c69]Marcelo Arenas, Martin Muñoz, Cristian Riveros:
Descriptive Complexity for counting complexity classes. LICS 2017: 1-12 - [i11]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151). CoRR abs/1701.09007 (2017) - [i10]Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter A. Boncz, George H. L. Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan F. Sequeda, Oskar van Rest, Hannes Voigt:
G-CORE: A Core for Future Graph Query Languages. CoRR abs/1712.01550 (2017) - 2016
- [j39]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Knowledge base exchange: The case of OWL 2 QL. Artif. Intell. 238: 11-62 (2016) - [j38]Marcelo Arenas, Francisco Maturana, Cristian Riveros, Domagoj Vrgoc:
A framework for annotating CSV-like data. Proc. VLDB Endow. 9(11): 876-887 (2016) - [j37]Gonzalo I. Diaz, Marcelo Arenas, Michael Benedikt:
SPARQLByE: Querying RDF data by example. Proc. VLDB Endow. 9(13): 1533-1536 (2016) - [j36]Serge Abiteboul, Marcelo Arenas, Pablo Barceló, Meghyn Bienvenu, Diego Calvanese, Claire David, Richard Hull, Eyke Hüllermeier, Benny Kimelfeld, Leonid Libkin, Wim Martens, Tova Milo, Filip Murlak, Frank Neven, Magdalena Ortiz, Thomas Schwentick, Julia Stoyanovich, Jianwen Su, Dan Suciu, Victor Vianu, Ke Yi:
Research Directions for Principles of Data Management (Abridged). SIGMOD Rec. 45(4): 5-17 (2016) - [j35]Marcelo Arenas, Gonzalo I. Diaz:
The Exact Complexity of the First-Order Logic Definability Problem. ACM Trans. Database Syst. 41(2): 13:1-13:14 (2016) - [j34]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov:
Faceted search over RDF-based knowledge graphs. J. Web Semant. 37-38: 55-74 (2016) - [c68]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
A Datalog-Based Language for Querying RDF Graphs. AMW 2016 - [c67]Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña:
Incomplete Causal Laws in the Situation Calculus Using Free Fluents. IJCAI 2016: 907-914 - [c66]Marcelo Arenas, Peter Buneman, Jan Van den Bussche:
2016 ACM PODS Alberto O. Mendelzon Test-of-Time Award. PODS 2016: 11 - [c65]Marcelo Arenas, Martín Ugarte:
Designing a Query Language for RDF: Marrying Open and Closed Worlds. PODS 2016: 225-236 - [c64]Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Marcelo Arenas:
SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs. ISWC (Posters & Demos) 2016 - [c63]Marcelo Arenas, Gonzalo I. Diaz, Egor V. Kostylev:
Reverse Engineering SPARQL Queries. WWW 2016: 239-249 - [i9]Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc:
Foundations of Modern Graph Query Languages. CoRR abs/1610.06264 (2016) - [i8]Marcelo Arenas, Richard Hull, Wim Martens, Tova Milo, Thomas Schwentick:
Foundations of Data Management (Dagstuhl Perspectives Workshop 16151). Dagstuhl Reports 6(4): 39-56 (2016) - 2015
- [c62]Carlos Buil-Aranda, Martín Ugarte, Marcelo Arenas, Michel Dumontier:
A Preliminary Investigation into SPARQL Query Complexity and Federation in Bio2RDF. AMW 2015 - [c61]Marcelo Arenas, Gabriel Diéguez, Jorge Pérez:
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries. IJCAI 2015: 2698-2705 - [e9]Peter M. Fischer, Gustavo Alonso, Marcelo Arenas, Floris Geerts:
Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), Brussels, Belgium, March 27th, 2015. CEUR Workshop Proceedings 1330, CEUR-WS.org 2015 [contents] - [e8]Marcelo Arenas, Martín Ugarte:
18th International Conference on Database Theory, ICDT 2015, March 23-27, 2015, Brussels, Belgium. LIPIcs 31, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2015, ISBN 978-3-939897-79-8 [contents] - [e7]Marcelo Arenas, Óscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab:
The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I. Lecture Notes in Computer Science 9366, Springer 2015, ISBN 978-3-319-25006-9 [contents] - [e6]Marcelo Arenas, Óscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab:
The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II. Lecture Notes in Computer Science 9367, Springer 2015, ISBN 978-3-319-25009-0 [contents] - 2014
- [b3]Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak:
Foundations of Data Exchange. Cambridge University Press 2014, ISBN 9781107016163 - [j33]Marcelo Arenas, Gonzalo I. Diaz, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas:
A Principled Approach to Bridging the Gap between Graph Data and their Schemas. Proc. VLDB Endow. 7(8): 601-612 (2014) - [j32]Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren:
Discovering XSD Keys from XML Data. ACM Trans. Database Syst. 39(4): 28:1-28:49 (2014) - [j31]Aidan Hogan, Marcelo Arenas, Alejandro Mallea, Axel Polleres:
Everything you always wanted to know about blank nodes. J. Web Semant. 27-28: 42-69 (2014) - [c60]Marcelo Arenas, Gabriel Diéguez, Jorge Pérez:
Expressiveness and Complexity of Bidirectional Constraints for Data Exchange. AMW 2014 - [c59]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
Expressive Languages for Querying the Semantic Web. AMW 2014 - [c58]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov:
Faceted Search over Ontology-Enhanced RDF Data. CIKM 2014: 939-948 - [c57]Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas, Sarunas Marciuska:
On Faceted Search over Knowledge Bases. Description Logics 2014: 153-156 - [c56]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov:
Enabling Faceted Search over OWL 2 with SemFacet. OWLED 2014: 121-132 - [c55]Marcelo Arenas, Georg Gottlob, Andreas Pieris:
Expressive languages for querying the semantic web. PODS 2014: 14-26 - [c54]Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker:
OBDA: Query Rewriting or Materialization? In Practice, Both! ISWC (1) 2014: 535-551 - [c53]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz:
SemFacet: semantic faceted search over yago. WWW (Companion Volume) 2014: 123-126 - [c52]Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov:
Towards semantic faceted search. WWW (Companion Volume) 2014: 219-220 - 2013
- [j30]Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin:
Solutions and query rewriting in data exchange. Inf. Comput. 228: 28-61 (2013) - [j29]Marcelo Arenas, Jorge Pérez, Juan L. Reutter:
Data exchange beyond complete data. J. ACM 60(4): 28:1-28:59 (2013) - [j28]Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros:
The language of plain SO-tgds: Composition, inversion and structural properties. J. Comput. Syst. Sci. 79(6): 763-784 (2013) - [j27]Marcelo Arenas, Pablo Barceló, Loreto Bravo, Claudio Gutierrez, Jorge Pérez, Juan L. Reutter, M. Andrea Rodríguez:
The Chilean Database Group. J. Inf. Data Manag. 4(2): 68-83 (2013) - [j26]Carlos Buil-Aranda, Marcelo Arenas, Óscar Corcho, Axel Polleres:
Federating queries in SPARQL 1.1: Syntax, semantics and evaluation. J. Web Semant. 18(1): 1-17 (2013) - [c51]Marcelo Arenas, Jorge Pérez, Emanuel Sallinger:
Towards General Representability in Knowledge Exchange. AMW 2013 - [c50]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Computing Solutions in OWL 2 QL Knowledge Exchange. Description Logics 2013: 4-16 - [c49]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Exchanging OWL 2 QL Knowledge Bases. IJCAI 2013: 703-710 - [c48]Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren:
Discovering XSD keys from XML data. SIGMOD Conference 2013: 61-72 - [i7]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov:
Exchanging OWL 2 QL Knowledge Bases. CoRR abs/1304.5810 (2013) - [i6]Marcelo Arenas, Gonzalo I. Diaz, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas:
A Principled Approach to Bridging the Gap between Graph Data and their Schemas. CoRR abs/1308.5703 (2013) - 2012
- [j25]Marcelo Arenas, Claudio Gutierrez, Daniel P. Miranker, Jorge Pérez, Juan F. Sequeda:
Querying Semantic Data on the Web? SIGMOD Rec. 41(4): 6-17 (2012) - [j24]Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros:
Query language-based inverses of schema mappings: semantics, computation, and closure properties. VLDB J. 21(6): 823-842 (2012) - [c47]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov:
Representability in DL-Lite_R Knowledge Base Exchange. Description Logics 2012 - [c46]Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov:
Exchanging Description Logic Knowledge Bases. KR 2012 - [c45]Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker:
Ontology-Based Data Access Using Views. RR 2012: 262-265 - [c44]Marcelo Arenas, Jorge Pérez:
Federation and Navigation in SPARQL 1.1. Reasoning Web 2012: 78-111 - [c43]Marcelo Arenas, Sebastián Conca, Jorge Pérez:
Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard. WWW 2012: 629-638 - [c42]Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker:
On directly mapping relational databases to RDF and OWL. WWW 2012: 649-658 - [i5]Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker:
On Directly Mapping Relational Databases to RDF and OWL (Extended Version). CoRR abs/1202.3667 (2012) - 2011
- [j23]Marcelo Arenas, Ronald Fagin, Alan Nash:
Composition with Target Constraints. Log. Methods Comput. Sci. 7(3) (2011) - [j22]Marcelo Arenas:
Guest editorial: Special issue on database theory. J. Comput. Syst. Sci. 77(3): 449 (2011) - [j21]Marcelo Arenas, Pablo Barceló, Juan L. Reutter:
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. Theory Comput. Syst. 49(2): 489-564 (2011) - [j20]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Theory Comput. Syst. 49(3): 639-670 (2011) - [j19]Marcelo Arenas, Claudio Gutierrez, Jorge Pérez:
Some Remarks on the Paper "semQA: SPARQL with Idempotent Disjunction". IEEE Trans. Knowl. Data Eng. 23(4): 638-639 (2011) - [c41]Marcelo Arenas:
Exchanging More than Complete Data. Description Logics 2011 - [c40]Marcelo Arenas, Elena Botoeva, Diego Calvanese:
Knowledge Base Exchange. Description Logics 2011 - [c39]Carlos Buil-Aranda, Marcelo Arenas, Óscar Corcho:
Semantics and Optimization of the SPARQL 1.1 Federation Extension. ESWC (2) 2011: 1-15 - [c38]Marcelo Arenas, Jorge Pérez, Juan L. Reutter:
Data exchange beyond complete data. PODS 2011: 83-94 - [c37]Marcelo Arenas, Jorge Pérez:
Querying semantic web data with SPARQL. PODS 2011: 305-316 - [c36]Marcelo Arenas:
Exchanging More Than Complete Data. RR 2011: 1 - [c35]Alejandro Mallea, Marcelo Arenas, Aidan Hogan, Axel Polleres:
On Blank Nodes. ISWC (1) 2011: 421-437 - [e5]Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider:
Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures. Lecture Notes in Computer Science 6848, Springer 2011, ISBN 978-3-642-23031-8 [contents] - 2010
- [b2]Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak:
Relational and XML Data Exchange. Synthesis Lectures on Data Management, Morgan & Claypool Publishers 2010, ISBN 978-3-031-00712-5 - [j18]Jorge Pérez, Marcelo Arenas, Claudio Gutierrez:
nSPARQL: A navigational language for RDF. J. Web Semant. 8(4): 255-270 (2010) - [c34]Marcelo Arenas, Leopoldo E. Bertossi:
On the Decidability of Consistent Query Answering. AMW 2010 - [c33]Marcelo Arenas, Pablo Barceló, Juan L. Reutter:
Datalog as a Query Language for Data Exchange Systems. Datalog 2010: 302-320 - [c32]Marcelo Arenas, Ronald Fagin, Alan Nash:
Composition with target constraints. ICDT 2010: 129-142 - [c31]Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros:
Foundations of schema mapping management. PODS 2010: 227-238
2000 – 2009
- 2009
- [j17]Marcelo Arenas, Michael I. Schwartzbach:
Information systems preface. Inf. Syst. 34(7): 577 (2009) - [j16]Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros:
Inverting Schema Mappings: Bridging the Gap between Theory and Practice. Proc. VLDB Endow. 2(1): 1018-1029 (2009) - [j15]Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros:
Composition and inversion of schema mappings. SIGMOD Rec. 38(3): 17-28 (2009) - [j14]Jorge Pérez, Marcelo Arenas, Claudio Gutierrez:
Semantics and complexity of SPARQL. ACM Trans. Database Syst. 34(3): 16:1-16:45 (2009) - [j13]Marcelo Arenas, Jorge Pérez, Cristian Riveros:
The recovery of a schema mapping: Bringing exchanged data back. ACM Trans. Database Syst. 34(4): 22:1-22:48 (2009) - [c30]Marcelo Arenas, Pablo Barceló, Juan L. Reutter:
Query languages for data exchange: beyond unions of conjunctive queries. ICDT 2009: 73-83 - [c29]Marcelo Arenas, Claudio Gutierrez, Jorge Pérez:
Foundations of RDF Databases. Reasoning Web 2009: 158-204 - [p1]Marcelo Arenas, Claudio Gutierrez, Jorge Pérez:
On the Semantics of SPARQL. Semantic Web Information Management 2009: 281-307 - [e4]Marcelo Arenas, Leopoldo E. Bertossi:
Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009. CEUR Workshop Proceedings 450, CEUR-WS.org 2009 [contents] - [e3]Marcelo Arenas, Benjamin Bustos:
2009 International Conference of the Chilean Computer Science Society, SCCC 2009, Santiago, Chile, November 10-12, 2009. IEEE Computer Society 2009, ISBN 978-0-7695-4137-2 [contents] - [r6]Marcelo Arenas:
Boyce-Codd Normal Form. Encyclopedia of Database Systems 2009: 264-265 - [r5]Marcelo Arenas:
Fourth Normal Form. Encyclopedia of Database Systems 2009: 1166-1167 - [r4]Marcelo Arenas:
Normal Forms and Normalization. Encyclopedia of Database Systems 2009: 1917-1920 - [r3]Marcelo Arenas:
Second Normal Form (2NF). Encyclopedia of Database Systems 2009: 2522 - [r2]Marcelo Arenas:
Third Normal Form. Encyclopedia of Database Systems 2009: 3087-3088 - [r1]Marcelo Arenas:
XML Integrity Constraints. Encyclopedia of Database Systems 2009: 3592-3597 - [i4]Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros:
Composition and Inversion of Schema Mappings. CoRR abs/0910.3372 (2009) - 2008
- [j12]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Game-based notions of locality over finite models. Ann. Pure Appl. Log. 152(1-3): 3-30 (2008) - [j11]Marcelo Arenas, Leonid Libkin:
XML data exchange: Consistency and query answering. J. ACM 55(2): 7:1-7:72 (2008) - [j10]Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
First-Order and Temporal Logics for Nested Words. Log. Methods Comput. Sci. 4(4) (2008) - [j9]Marcelo Arenas, Wenfei Fan, Leonid Libkin:
On the Complexity of Verifying Consistency of XML Specifications. SIAM J. Comput. 38(3): 841-880 (2008) - [c28]Marcelo Arenas, Jorge Pérez, Cristian Riveros:
The recovery of a schema mapping: bringing exchanged data back. PODS 2008: 13-22 - [c27]Jorge Pérez, Marcelo Arenas, Claudio Gutierrez:
nSPARQL: A Navigational Language for RDF. ISWC 2008: 66-81 - [i3]Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
First-Order and Temporal Logics for Nested Words. CoRR abs/0811.0537 (2008) - 2007
- [c26]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. ICALP 2007: 888-900 - [c25]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Combining Temporal Logics for Querying XML Documents. ICDT 2007: 359-373 - [c24]Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin:
First-Order and Temporal Logics for Nested Words. LICS 2007: 151-160 - [c23]Marcelo Arenas, Claudio Gutierrez, Jorge Pérez:
An Extension of SPARQL for RDFS. SWDB-ODBIS 2007: 1-20 - [e2]Marcelo Arenas, Michael I. Schwartzbach:
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers. Lecture Notes in Computer Science 4797, Springer 2007, ISBN 978-3-540-75986-7 [contents] - [e1]Marcelo Arenas, Jan Hidders:
Proceedings of the 1st Workshop on Emerging Research Opportunities for Web Data Management (EROW 2007) Collocated with the 11th International Conference on Database Theory (ICDT 2007), Barcelona, Spain, January 13, 2007. CEUR Workshop Proceedings 229, CEUR-WS.org 2007 [contents] - 2006
- [j8]Marcelo Arenas:
Normalization theory for XML. SIGMOD Rec. 35(4): 57-64 (2006) - [c22]Marcelo Arenas:
Locality of Queries and Transformations. IFIP TCS 2006: 3 - [c21]Jorge Pérez, Marcelo Arenas, Claudio Gutierrez:
Semantics and Complexity of SPARQL. ISWC 2006: 30-43 - [i2]Jorge Pérez, Marcelo Arenas, Claudio Gutierrez:
Semantics and Complexity of SPARQL. CoRR abs/cs/0605124 (2006) - 2005
- [b1]Marcelo Arenas:
Design principles for XML data. University of Toronto, Canada, 2005 - [j7]Marcelo Arenas, Leonid Libkin:
An information-theoretic approach to normal forms for relational and XML data. J. ACM 52(2): 246-283 (2005) - [c20]Marcelo Arenas, Wenfei Fan, Leonid Libkin:
Consistency of XML Specifications. Inconsistency Tolerance 2005: 15-41 - [c19]Marcelo Arenas, Leonid Libkin:
XML data exchange: consistency and query answering. PODS 2005: 13-24 - 2004
- [j6]Marcelo Arenas, Leonid Libkin:
A normal form for XML documents. ACM Trans. Database Syst. 29: 195-232 (2004) - [c18]Marcelo Arenas, Pablo Barceló, Leonid Libkin:
Game-Based Notions of Locality Over Finite Models. CSL 2004: 175-189 - [c17]Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas:
Efficient Incremental Validation of XML Documents. ICDE 2004: 671-682 - [c16]Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin:
Locally Consistent Transformations and Query Answering in Data Exchange. PODS 2004: 229-240 - [c15]Anastasios Kementsietsidis, Marcelo Arenas:
Data Sharing Through Query Translation in Autonomous Sources. VLDB 2004: 468-479 - 2003
- [j5]Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renée J. Miller, John Mylopoulos:
The hyperion project: from data integration to data coordination. SIGMOD Rec. 32(3): 53-58 (2003) - [j4]Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki, Xin He, Vijay Raghavan, Jeremy P. Spinrad:
Scalar aggregation in inconsistent databases. Theor. Comput. Sci. 296(3): 405-434 (2003) - [j3]Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki:
Answer sets for consistent query answering in inconsistent databases. Theory Pract. Log. Program. 3(4-5): 393-424 (2003) - [c14]Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis, Marcelo Arenas:
Coordinating Peer Databases Using ECA Rules. DBISP2P 2003: 108-122 - [c13]Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller:
Managing Data Mappings in the Hyperion Project. ICDE 2003: 732-734 - [c12]Marcelo Arenas, Leonid Libkin:
An information-theoretic approach to normal forms for relational and XML data. PODS 2003: 15-26 - [c11]Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller:
Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. SIGMOD Conference 2003: 325-336 - 2002
- [j2]Marcelo Arenas, Leopoldo E. Bertossi:
Hypothetical Temporal Reasoning in Databases. J. Intell. Inf. Syst. 19(2): 231-259 (2002) - [c10]Marcelo Arenas, Wenfei Fan, Leonid Libkin:
What's Hard about XML Schema Constraints? DEXA 2002: 269-278 - [c9]Marcelo Arenas, Leonid Libkin:
A Normal Form for XML Documents. PODS 2002: 85-96 - [c8]Marcelo Arenas, Wenfei Fan, Leonid Libkin:
On Verifying Consistency of XML Specifications. PODS 2002: 259-270 - [i1]Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki:
Answer Sets for Consistent Query Answering in Inconsistent Databases. CoRR cs.DB/0207094 (2002) - 2001
- [c7]Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki:
Scalar Aggregation in FD-Inconsistent Databases. ICDT 2001: 39-53 - 2000
- [c6]Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer:
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000: 926-941 - [c5]Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki:
Specifying and Querying Database Repairs using Logic Programs with Exceptions. FQAS 2000: 27-41
1990 – 1999
- 1999
- [c4]Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki:
Consistent Query Answers in Inconsistent Databases. PODS 1999: 68-79 - 1998
- [j1]Leopoldo E. Bertossi, Marcelo Arenas, Cristian Ferretti:
SCDBR: An Automated Reasoner for Specifications of Database Updates. J. Intell. Inf. Syst. 10(3): 253-280 (1998) - [c3]Marcelo Arenas, Leopoldo E. Bertossi:
The Dynamics of Database Views. Transactions and Change in Logic Databases 1998: 197-226 - [c2]Marcelo Arenas, Leopoldo E. Bertossi:
Hypothetical Temporal Queries in Databases. KRDB 1998: 4.1-4.8 - [c1]Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki:
Query Evaluation in Almost Consistent Databases using Residues. SCCC 1998: 8-14
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-23 19:27 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
