Marcelo Arenas

208 papers A* 39A 9B 1C 2Misc 2Journal 91Unranked 38
YearRankTypeTitle / Venue / Authors
2025 J jnl
Exploring Exploratory Querying.
Proc. VLDB Endow.
Marcelo Arenas, Enrico Franconi, Janik Hammerer, Olaf Hartig, Katja Hose, Laura Koesten, George Konstantinidis, Leonid Libkin, Wim Martens, Yuya Sasaki, Stefanie Scherzinger, Katherine Thornton, Hsiang-Yun Wu
2025 J jnl
Language Generation: Complexity Barriers and Implications for Learning.
CoRR
Marcelo Arenas, Pablo Barceló, Luis Cofré, Alexander Kozachinskiy
2025 J jnl
On Computing Probabilistic Explanations for Decision Trees.
J. Artif. Intell. Res.
Marcelo Arenas, Pablo Barceló, Alexander Kozachinskiy, Miguel Romero, Bernardo Subercaseaux
2025 A* conf
Probabilistic Explanations for Linear Models.
AAAI
Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel
2025 J jnl
Probabilistic Explanations for Linear Models.
CoRR
Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel
2025 J jnl
Query Answering Under Volume-Based Diversity Functions.
Proc. ACM Manag. Data
Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros
2025 J jnl
Query Answering under Volume-Based Diversity Functions.
CoRR
Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros
2025 A conf
Restructuring Tractable Probabilistic Circuits.
AISTATS
Honghua Zhang, Benjie Wang, Marcelo Arenas, Guy Van den Broeck
2024 J jnl
A Circus of Circuits: Connections Between Decision Diagrams, Circuits, and Automata.
CoRR
Antoine Amarilli, Marcelo Arenas, YooJung Choi, Mikaël Monet, Guy Van den Broeck, Benjie Wang
2024 — conf
A Data Management Approach to Explainable AI.
PODS Companion
Marcelo Arenas
2024 A* conf
A Uniform Language to Explain Decision Trees.
KR
Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux
2024 J jnl
Mid-Career Reflections: Climbing the Academic Ladder Without a Safety Net.
SIGMOD Rec.
Marcelo Arenas
2024 — conf
MillenniumDB: A Multi-modal, Multi-model Graph Database.
SIGMOD Conference Companion
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
2024 J jnl
Restructuring Tractable Probabilistic Circuits.
CoRR
Honghua Zhang, Benjie Wang, Marcelo Arenas, Guy Van den Broeck
2024 J jnl
Towards Tractability of the Diversity of Query Answers: Ultrametrics to the Rescue.
CoRR
Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros
2024 J jnl
Towards Tractability of the Diversity of Query Answers: Ultrametrics to the Rescue.
Proc. ACM Manag. Data
Marcelo Arenas, Timo Camillo Merkl, Reinhard Pichler, Cristian Riveros
2023 J jnl
A Symbolic Language for Interpreting Decision Trees.
CoRR
Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux
2023 J jnl
MillenniumDB: An Open-Source Graph Database System.
Data Intell.
Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Diego Arroyuelo, Carlos Buil-Aranda, Aidan Hogan, Gonzalo Navarro, Cristian Riveros, Juan Romero
2023 J jnl
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.
J. Mach. Learn. Res.
Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet
2023 A* conf
The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023.
PODS
Marcelo Arenas, Wenfei Fan, Frank Neven
2022 J jnl
Counting the Answers to a Query.
SIGMOD Rec.
Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros
2022 A conf
Counting the Solutions to a Query (Invited Talk).
ICDT
Marcelo Arenas
2022 A* conf
On Computing Probabilistic Explanations for Decision Trees.
NeurIPS
Marcelo Arenas, Pablo Barceló, Miguel A. Romero Orth, Bernardo Subercaseaux
2022 J jnl
On Computing Probabilistic Explanations for Decision Trees.
CoRR
Marcelo Arenas, Pablo Barceló, Miguel Romero, Bernardo Subercaseaux
2022 A* conf
Temporal Regular Path Queries.
ICDE
Marcelo Arenas, Pedro Bahamondes, Amir Aghasadeghi, Julia Stoyanovich
2021 J jnl
#NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes.
J. ACM
Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros
2021 A* conf
A polynomial-time approximation algorithm for counting words accepted by an NFA (invited paper).
STOC
Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros
2021 A* conf
Foundations of Symbolic Languages for Model Interpretability.
NeurIPS
Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux
2021 J jnl
Foundations of Symbolic Languages for Model Interpretability.
CoRR
Marcelo Arenas, Daniel Báez, Pablo Barceló, Jorge Pérez, Bernardo Subercaseaux
2021 J jnl
Is it Possible to Verify if a Transaction is Spendable?
Frontiers Blockchain
Marcelo Arenas, Thomas Reisenegger, Juan L. Reutter, Domagoj Vrgoc
2021 J jnl
MillenniumDB: A Persistent, Open-Source, Graph Database.
CoRR
Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Diego Arroyuelo, Carlos Buil-Aranda, Aidan Hogan, Gonzalo Navarro, Cristian Riveros, Juan Romero
2021 J jnl
On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results.
CoRR
Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet
2021 — conf
Querying in the Age of Graph Databases and Knowledge Graphs.
SIGMOD Conference
Marcelo Arenas, Claudio Gutierrez, Juan F. Sequeda
2021 J jnl
Querying in the Age of Graph Databases and Knowledge Graphs.
CoRR
Marcelo Arenas, Claudio Gutierrez, Juan F. Sequeda
2021 J jnl
Temporal Regular Path Queries: Syntax, Semantics, and Complexity.
CoRR
Marcelo Arenas, Pedro Bahamondes, Julia Stoyanovich
2021 J jnl
The Complexity of Counting Problems Over Incomplete Databases.
ACM Trans. Comput. Log.
Marcelo Arenas, Pablo Barceló, Mikaël Monet
2021 A* conf
The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits.
AAAI
Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet
2021 J jnl
The future is big graphs: a community view on graph processing systems.
Commun. ACM
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
2021 A* conf
When is approximate counting for conjunctive queries tractable?
STOC
Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros
2020 J jnl
An FPRAS and Polynomial-Time Uniform Sampler for Tree Automata.
CoRR
Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros
2020 J jnl
Chile's new interdisciplinary institute for foundational research on data.
Commun. ACM
Marcelo Arenas, Pablo Barceló
2020 A* conf
Counting Problems over Incomplete Databases.
PODS
Marcelo Arenas, Pablo Barceló, Mikaël Monet
2020 A conf
Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards.
STACS
Marcelo Arenas, Juan L. Reutter, Etienne Toussaint, Martín Ugarte, Francisco José Vial Prado, Domagoj Vrgoc
2020 J jnl
Descriptive Complexity for Counting Complexity Classes.
Log. Methods Comput. Sci.
Marcelo Arenas, Martin Muñoz, Cristian Riveros
2020 J jnl
Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation.
SIGMOD Rec.
Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros
2020 — ch.
Querying the Semantic Web via Rules.
Applications and Practices in Ontology Design, Extraction, and Reasoning
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2020 J jnl
The Complexity of Counting Problems over Incomplete Databases.
CoRR
Marcelo Arenas, Pablo Barceló, Mikaël Monet
2020 J jnl
The Future is Big Graphs! A Community View on Graph Processing Systems.
CoRR
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
2020 J jnl
The Tractability of SHAP-scores over Deterministic and Decomposable Boolean Circuits.
CoRR
Marcelo Arenas, Pablo Barceló, Leopoldo E. Bertossi, Mikaël Monet
2019 J jnl
Counting Problems over Incomplete Databases.
CoRR
Marcelo Arenas, Pablo Barceló, Mikaël Monet
2019 A* conf
Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation.
PODS
Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros
2019 J jnl
Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation.
CoRR
Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros
2019 — ch.
Graph Path Navigation.
Encyclopedia of Big Data Technologies
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2018 — ch.
Boyce-Codd Normal Form.
Encyclopedia of Database Systems (2nd ed.)
Marcelo Arenas
2018 J jnl
Database Theory Column Report on PODS 2018.
SIGACT News
Marcelo Arenas
2018 J jnl
Descriptive Complexity for Counting Complexity Classes.
CoRR
Marcelo Arenas, Martin Muñoz, Cristian Riveros
2018 J jnl
Expressive Languages for Querying the Semantic Web.
ACM Trans. Database Syst.
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2018 — ch.
Fourth Normal Form.
Encyclopedia of Database Systems (2nd ed.)
Marcelo Arenas
2018 — conf
G-CORE: A Core for Future Graph Query Languages.
SIGMOD Conference
Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter Boncz, George H. L. Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan F. Sequeda, Oskar van Rest, Hannes Voigt
2018 — ch.
Normal Forms and Normalization.
Encyclopedia of Database Systems (2nd ed.)
Marcelo Arenas
2018 A* conf
On the Progression of Situation Calculus Universal Theories with Constants.
KR
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña
2018 A* ed.
Proceedings of the 37th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, Houston, TX, USA, June 10-15, 2018
PODS
Jan Van den Bussche, Marcelo Arenas
2018 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Manifestos
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
2018 — ch.
Second Normal Form (2NF).
Encyclopedia of Database Systems (2nd ed.)
Marcelo Arenas
2018 — ch.
Third Normal Form.
Encyclopedia of Database Systems (2nd ed.)
Marcelo Arenas
2018 — ch.
XML Integrity Constraints.
Encyclopedia of Database Systems (2nd ed.)
Marcelo Arenas
2017 — conf
A Note on Computing Certain Answers to Queries over Incomplete Databases.
AMW
Marcelo Arenas, Elena Botoeva, Egor V. Kostylev, Vladislav Ryzhikov
2017 A* conf
Descriptive Complexity for counting complexity classes.
LICS
Marcelo Arenas, Martin Muñoz, Cristian Riveros
2017 J jnl
Designing a Query Language for RDF: Marrying Open and Closed Worlds.
ACM Trans. Database Syst.
Marcelo Arenas, Martín Ugarte
2017 J jnl
Foreword: Special Issue on Database Theory.
Theory Comput. Syst.
Marcelo Arenas
2017 J jnl
Foundations of Modern Query Languages for Graph Databases.
ACM Comput. Surv.
Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc
2017 J jnl
G-CORE: A Core for Future Graph Query Languages.
CoRR
Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter Boncz, George H. L. Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan F. Sequeda, Oskar van Rest, Hannes Voigt
2017 J jnl
Research Directions for Principles of Data Management (Dagstuhl Perspectives Workshop 16151).
CoRR
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
2016 A* conf
2016 ACM PODS Alberto O. Mendelzon Test-of-Time Award.
PODS
Marcelo Arenas, Peter Buneman, Jan Van den Bussche
2016 — conf
A Datalog-Based Language for Querying RDF Graphs.
AMW
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2016 J jnl
A framework for annotating CSV-like data.
Proc. VLDB Endow.
Marcelo Arenas, Francisco Maturana, Cristian Riveros, Domagoj Vrgoc
2016 A* conf
Designing a Query Language for RDF: Marrying Open and Closed Worlds.
PODS
Marcelo Arenas, Martín Ugarte
2016 J jnl
Faceted search over RDF-based knowledge graphs.
J. Web Semant.
Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2016 J jnl
Foundations of Data Management (Dagstuhl Perspectives Workshop 16151).
Dagstuhl Reports
Marcelo Arenas, Richard Hull, Wim Martens, Tova Milo, Thomas Schwentick
2016 J jnl
Foundations of Modern Graph Query Languages.
CoRR
Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan L. Reutter, Domagoj Vrgoc
2016 A* conf
Incomplete Causal Laws in the Situation Calculus Using Free Fluents.
IJCAI
Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardiña
2016 J jnl
Knowledge base exchange: The case of OWL 2 QL.
Artif. Intell.
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2016 J jnl
Research Directions for Principles of Data Management (Abridged).
SIGMOD Rec.
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
2016 A* conf
Reverse Engineering SPARQL Queries.
WWW
Marcelo Arenas, Gonzalo I. Diaz, Egor V. Kostylev
2016 J jnl
SPARQLByE: Querying RDF data by example.
Proc. VLDB Endow.
Gonzalo I. Diaz, Marcelo Arenas, Michael Benedikt
2016 — conf
SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs.
ISWC (Posters & Demos)
Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Marcelo Arenas
2016 J jnl
The Exact Complexity of the First-Order Logic Definability Problem.
ACM Trans. Database Syst.
Marcelo Arenas, Gonzalo I. Diaz
2015 A ed.
18th International Conference on Database Theory, ICDT 2015, Brussels, Belgium, March 23-27, 2015
ICDT
Marcelo Arenas, Martín Ugarte
2015 — conf
A Preliminary Investigation into SPARQL Query Complexity and Federation in Bio2RDF.
AMW
Carlos Buil-Aranda, Martín Ugarte, Marcelo Arenas, Michel Dumontier
2015 A* conf
Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries.
IJCAI
Marcelo Arenas, Gabriel Diéguez, Jorge Pérez
2015 — ed.
Proceedings of the Workshops of the EDBT/ICDT 2015 Joint Conference (EDBT/ICDT), Brussels, Belgium, March 27th, 2015.
EDBT/ICDT Workshops
Peter M. Fischer, Gustavo Alonso, Marcelo Arenas, Floris Geerts
2015 — ed.
The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part I
ISWC (1)
Marcelo Arenas, Óscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab
2015 — ed.
The Semantic Web - ISWC 2015 - 14th International Semantic Web Conference, Bethlehem, PA, USA, October 11-15, 2015, Proceedings, Part II
ISWC (2)
Marcelo Arenas, Óscar Corcho, Elena Simperl, Markus Strohmaier, Mathieu d'Aquin, Kavitha Srinivas, Paul Groth, Michel Dumontier, Jeff Heflin, Krishnaprasad Thirunarayan, Steffen Staab
2014 J jnl
A Principled Approach to Bridging the Gap between Graph Data and their Schemas.
Proc. VLDB Endow.
Marcelo Arenas, Gonzalo I. Diaz, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas
2014 J jnl
Discovering XSD Keys from XML Data.
ACM Trans. Database Syst.
Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren
2014 — conf
Enabling Faceted Search over OWL 2 with SemFacet.
OWLED
Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2014 J jnl
Everything you always wanted to know about blank nodes.
J. Web Semant.
Aidan Hogan, Marcelo Arenas, Alejandro Mallea, Axel Polleres
2014 — conf
Expressive Languages for Querying the Semantic Web.
AMW
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2014 A* conf
Expressive languages for querying the semantic web.
PODS
Marcelo Arenas, Georg Gottlob, Andreas Pieris
2014 — conf
Expressiveness and Complexity of Bidirectional Constraints for Data Exchange.
AMW
Marcelo Arenas, Gabriel Diéguez, Jorge Pérez
2014 A conf
Faceted Search over Ontology-Enhanced RDF Data.
CIKM
Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2014 — book
Foundations of Data Exchange
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
2014 — conf
OBDA: Query Rewriting or Materialization? In Practice, Both!
ISWC (1)
Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker
2014 — conf
On Faceted Search over Knowledge Bases.
Description Logics
Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas, Sarunas Marciuska
2014 — conf
SemFacet: semantic faceted search over yago.
WWW (Companion Volume)
Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Ernesto Jiménez-Ruiz
2014 — conf
Towards semantic faceted search.
WWW (Companion Volume)
Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov
2013 J jnl
A Principled Approach to Bridging the Gap between Graph Data and their Schemas.
CoRR
Marcelo Arenas, Gonzalo I. Diaz, Achille Fokoue, Anastasios Kementsietsidis, Kavitha Srinivas
2013 — conf
Computing Solutions in OWL 2 QL Knowledge Exchange.
Description Logics
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013 J jnl
Data exchange beyond complete data.
J. ACM
Marcelo Arenas, Jorge Pérez, Juan L. Reutter
2013 — conf
Discovering XSD keys from XML data.
SIGMOD Conference
Marcelo Arenas, Jonny Daenen, Frank Neven, Martín Ugarte, Jan Van den Bussche, Stijn Vansummeren
2013 J jnl
Exchanging OWL 2 QL Knowledge Bases
CoRR
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013 A* conf
Exchanging OWL 2 QL Knowledge Bases.
IJCAI
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov
2013 J jnl
Federating queries in SPARQL 1.1: Syntax, semantics and evaluation.
J. Web Semant.
Carlos Buil-Aranda, Marcelo Arenas, Óscar Corcho, Axel Polleres
2013 J jnl
Solutions and query rewriting in data exchange.
Inf. Comput.
Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
2013 J jnl
The Chilean Database Group.
J. Inf. Data Manag.
Marcelo Arenas, Pablo Barceló, Loreto Bravo, Claudio Gutierrez, Jorge Pérez, Juan L. Reutter, M. Andrea Rodríguez
2013 J jnl
The language of plain SO-tgds: Composition, inversion and structural properties.
J. Comput. Syst. Sci.
Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros
2013 — conf
Towards General Representability in Knowledge Exchange.
AMW
Marcelo Arenas, Jorge Pérez, Emanuel Sallinger
2012 A* conf
Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard.
WWW
Marcelo Arenas, Sebastián Conca, Jorge Pérez
2012 A* conf
Exchanging Description Logic Knowledge Bases.
KR
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2012 — conf
Federation and Navigation in SPARQL 1.1.
Reasoning Web
Marcelo Arenas, Jorge Pérez
2012 J jnl
On Directly Mapping Relational Databases to RDF and OWL (Extended Version)
CoRR
Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker
2012 A* conf
On directly mapping relational databases to RDF and OWL.
WWW
Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker
2012 — conf
Ontology-Based Data Access Using Views.
RR
Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker
2012 J jnl
Query language-based inverses of schema mappings: semantics, computation, and closure properties.
VLDB J.
Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros
2012 J jnl
Querying Semantic Data on the Web?
SIGMOD Rec.
Marcelo Arenas, Claudio Gutierrez, Daniel P. Miranker, Jorge Pérez, Juan F. Sequeda
2012 — conf
Representability in DL-Lite_R Knowledge Base Exchange.
Description Logics
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov
2011 J jnl
Composition with Target Constraints
Log. Methods Comput. Sci.
Marcelo Arenas, Ronald Fagin, Alan Nash
2011 A* conf
Data exchange beyond complete data.
PODS
Marcelo Arenas, Jorge Pérez, Juan L. Reutter
2011 — conf
Exchanging More Than Complete Data.
RR
Marcelo Arenas
2011 — conf
Exchanging More than Complete Data.
Description Logics
Marcelo Arenas
2011 J jnl
Guest editorial: Special issue on database theory.
J. Comput. Syst. Sci.
Marcelo Arenas
2011 — conf
Knowledge Base Exchange.
Description Logics
Marcelo Arenas, Elena Botoeva, Diego Calvanese
2011 — conf
On Blank Nodes.
ISWC (1)
Alejandro Mallea, Marcelo Arenas, Aidan Hogan, Axel Polleres
2011 J jnl
Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries.
Theory Comput. Syst.
Marcelo Arenas, Pablo Barceló, Juan L. Reutter
2011 A* conf
Querying semantic web data with SPARQL.
PODS
Marcelo Arenas, Jorge Pérez
2011 — ed.
Reasoning Web. Semantic Technologies for the Web of Data - 7th International Summer School 2011, Galway, Ireland, August 23-27, 2011, Tutorial Lectures
Reasoning Web
Axel Polleres, Claudia d'Amato, Marcelo Arenas, Siegfried Handschuh, Paula Kroner, Sascha Ossowski, Peter F. Patel-Schneider
2011 J jnl
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
Theory Comput. Syst.
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2011 — conf
Semantics and Optimization of the SPARQL 1.1 Federation Extension.
ESWC (2)
Carlos Buil-Aranda, Marcelo Arenas, Óscar Corcho
2011 J jnl
Some Remarks on the Paper "semQA: SPARQL with Idempotent Disjunction".
IEEE Trans. Knowl. Data Eng.
Marcelo Arenas, Claudio Gutierrez, Jorge Pérez
2010 A conf
Composition with target constraints.
ICDT
Marcelo Arenas, Ronald Fagin, Alan Nash
2010 — conf
Datalog as a Query Language for Data Exchange Systems.
Datalog
Marcelo Arenas, Pablo Barceló, Juan L. Reutter
2010 A* conf
Foundations of schema mapping management.
PODS
Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros
2010 — conf
On the Decidability of Consistent Query Answering.
AMW
Marcelo Arenas, Leopoldo E. Bertossi
2010 — book
Relational and XML Data Exchange
Marcelo Arenas, Pablo Barceló, Leonid Libkin, Filip Murlak
2010 J jnl
nSPARQL: A navigational language for RDF.
J. Web Semant.
Jorge Pérez, Marcelo Arenas, Claudio Gutierrez
2009 — ed.
2009 International Conference of the Chilean Computer Science Society, SCCC 2009, Santiago, Chile, November 10-12, 2009
SCCC
Marcelo Arenas, Benjamin Bustos
2009 — ch.
Boyce-Codd Normal Form.
Encyclopedia of Database Systems
Marcelo Arenas
2009 J jnl
Composition and Inversion of Schema Mappings
CoRR
Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros
2009 J jnl
Composition and inversion of schema mappings.
SIGMOD Rec.
Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros
2009 — conf
Foundations of RDF Databases.
Reasoning Web
Marcelo Arenas, Claudio Gutierrez, Jorge Pérez
2009 — ch.
Fourth Normal Form.
Encyclopedia of Database Systems
Marcelo Arenas
2009 J jnl
Information systems preface.
Inf. Syst.
Marcelo Arenas, Michael I. Schwartzbach
2009 J jnl
Inverting Schema Mappings: Bridging the Gap between Theory and Practice.
Proc. VLDB Endow.
Marcelo Arenas, Jorge Pérez, Juan L. Reutter, Cristian Riveros
2009 — ch.
Normal Forms and Normalization.
Encyclopedia of Database Systems
Marcelo Arenas
2009 — ch.
On the Semantics of SPARQL.
Semantic Web Information Management
Marcelo Arenas, Claudio Gutierrez, Jorge Pérez
2009 — ed.
Proceedings of the 3rd Alberto Mendelzon International Workshop on Foundations of Data Management, Arequipa, Peru, May 12-15, 2009.
AMW
Marcelo Arenas, Leopoldo E. Bertossi
2009 A conf
Query languages for data exchange: beyond unions of conjunctive queries.
ICDT
Marcelo Arenas, Pablo Barceló, Juan L. Reutter
2009 — ch.
Second Normal Form (2NF).
Encyclopedia of Database Systems
Marcelo Arenas
2009 J jnl
Semantics and complexity of SPARQL.
ACM Trans. Database Syst.
Jorge Pérez, Marcelo Arenas, Claudio Gutierrez
2009 J jnl
The recovery of a schema mapping: Bringing exchanged data back.
ACM Trans. Database Syst.
Marcelo Arenas, Jorge Pérez, Cristian Riveros
2009 — ch.
Third Normal Form.
Encyclopedia of Database Systems
Marcelo Arenas
2009 — ch.
XML Integrity Constraints.
Encyclopedia of Database Systems
Marcelo Arenas
2008 J jnl
First-Order and Temporal Logics for Nested Words
CoRR
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2008 J jnl
First-Order and Temporal Logics for Nested Words.
Log. Methods Comput. Sci.
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2008 J jnl
Game-based notions of locality over finite models.
Ann. Pure Appl. Log.
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2008 J jnl
On the Complexity of Verifying Consistency of XML Specifications.
SIAM J. Comput.
Marcelo Arenas, Wenfei Fan, Leonid Libkin
2008 A* conf
The recovery of a schema mapping: bringing exchanged data back.
PODS
Marcelo Arenas, Jorge Pérez, Cristian Riveros
2008 J jnl
XML data exchange: Consistency and query answering.
J. ACM
Marcelo Arenas, Leonid Libkin
2008 Misc conf
nSPARQL: A Navigational Language for RDF.
ISWC
Jorge Pérez, Marcelo Arenas, Claudio Gutierrez
2007 — conf
An Extension of SPARQL for RDFS.
SWDB-ODBIS
Marcelo Arenas, Claudio Gutierrez, Jorge Pérez
2007 A conf
Combining Temporal Logics for Querying XML Documents.
ICDT
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2007 — ed.
Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers
DBPL
Marcelo Arenas, Michael I. Schwartzbach
2007 A* conf
First-Order and Temporal Logics for Nested Words.
LICS
Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin
2007 — ed.
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
EROW
Marcelo Arenas, Jan Hidders
2007 A* conf
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
ICALP
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2006 — conf
Locality of Queries and Transformations.
IFIP TCS
Marcelo Arenas
2006 J jnl
Normalization theory for XML.
SIGMOD Rec.
Marcelo Arenas
2006 J jnl
Semantics and Complexity of SPARQL
CoRR
Jorge Pérez, Marcelo Arenas, Claudio Gutierrez
2006 Misc conf
Semantics and Complexity of SPARQL.
ISWC
Jorge Pérez, Marcelo Arenas, Claudio Gutierrez
2005 J jnl
An information-theoretic approach to normal forms for relational and XML data.
J. ACM
Marcelo Arenas, Leonid Libkin
2005 — conf
Consistency of XML Specifications.
Inconsistency Tolerance
Marcelo Arenas, Wenfei Fan, Leonid Libkin
2005 — —
Design principles for XML data.
Marcelo Arenas
2005 A* conf
XML data exchange: consistency and query answering.
PODS
Marcelo Arenas, Leonid Libkin
2004 J jnl
A normal form for XML documents.
ACM Trans. Database Syst.
Marcelo Arenas, Leonid Libkin
2004 A* conf
Data Sharing Through Query Translation in Autonomous Sources.
VLDB
Anastasios Kementsietsidis, Marcelo Arenas
2004 A* conf
Efficient Incremental Validation of XML Documents.
ICDE
Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas
2004 B conf
Game-Based Notions of Locality Over Finite Models.
CSL
Marcelo Arenas, Pablo Barceló, Leonid Libkin
2004 A* conf
Locally Consistent Transformations and Query Answering in Data Exchange.
PODS
Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin
2003 A* conf
An information-theoretic approach to normal forms for relational and XML data.
PODS
Marcelo Arenas, Leonid Libkin
2003 J jnl
Answer sets for consistent query answering in inconsistent databases.
Theory Pract. Log. Program.
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
2003 — conf
Coordinating Peer Databases Using ECA Rules.
DBISP2P
Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis, Marcelo Arenas
2003 A* conf
Managing Data Mappings in the Hyperion Project.
ICDE
Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller
2003 — conf
Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues.
SIGMOD Conference
Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller
2003 J jnl
Scalar aggregation in inconsistent databases.
Theor. Comput. Sci.
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki, Xin He, Vijay Raghavan, Jeremy P. Spinrad
2003 J jnl
The hyperion project: from data integration to data coordination.
SIGMOD Rec.
Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renée J. Miller, John Mylopoulos
2002 A* conf
A Normal Form for XML Documents.
PODS
Marcelo Arenas, Leonid Libkin
2002 J jnl
Answer Sets for Consistent Query Answering in Inconsistent Databases
CoRR
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
2002 J jnl
Hypothetical Temporal Reasoning in Databases.
J. Intell. Inf. Syst.
Marcelo Arenas, Leopoldo E. Bertossi
2002 A* conf
On Verifying Consistency of XML Specifications.
PODS
Marcelo Arenas, Wenfei Fan, Leonid Libkin
2002 C conf
What's Hard about XML Schema Constraints?
DEXA
Marcelo Arenas, Wenfei Fan, Leonid Libkin
2001 A conf
Scalar Aggregation in FD-Inconsistent Databases.
ICDT
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
2000 — conf
Applications of Annotated Predicate Calculus to Querying Inconsistent Databases.
Computational Logic
Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer
2000 C conf
Specifying and Querying Database Repairs using Logic Programs with Exceptions.
FQAS
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
1999 A* conf
Consistent Query Answers in Inconsistent Databases.
PODS
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
1998 — conf
Hypothetical Temporal Queries in Databases.
KRDB
Marcelo Arenas, Leopoldo E. Bertossi
1998 — conf
Query Evaluation in Almost Consistent Databases using Residues.
SCCC
Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki
1998 J jnl
SCDBR: An Automated Reasoner for Specifications of Database Updates.
J. Intell. Inf. Syst.
Leopoldo E. Bertossi, Marcelo Arenas, Cristian Ferretti
1998 — conf
The Dynamics of Database Views.
Transactions and Change in Logic Databases
Marcelo Arenas, Leopoldo E. Bertossi