Books

Marcelo Arenas, Pablo Barceló, Leonid Libkin and Filip Murlak. Foundations of Data Exchange. Cambridge University Press, 2014.

Marcelo Arenas, Pablo Barceló, Leonid Libkin and Filip Murlak. Relational and XML Data Exchange. Morgan & Claypool, 2010.

Journal Articles

Marcelo Arenas, Pablo Barceló, Leopoldo Bertossi, and Mikaël Monet. On the Complexity of SHAP-Score-Based Explanations: Tractability via Knowledge Compilation and Non-Approximability Results. Journal of Machine Learning Research 24(63):1-58, 2023.

Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Diego Arroyuelo, Carlos Buil Aranda, Aidan Hogan, Gonzalo Navarro, Cristian Riveros, and Juan Romero. MillenniumDB: An Open-Source Graph Database System. Data Intelligence 5(3):560-610, 2023.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram and Cristian Riveros. Counting the Answers to a Query. SIGMOD Record 51(3): 6-17, 2022.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram and Cristian Riveros. #NFA admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes. Journal of the ACM 68(6):48:1-48:40, 2021.

Marcelo Arenas, Thomas Reisenegger, Juan Reutter and Domagoj Vrgoc. Is it Possible to Verify if a Transaction is Spendable?. Frontiers in Blockchain 4:770503, 2021.

Susana Eyheramendya, Pedro A. Saa, Eduardo A. Undurraga, Carlos Valencia, Carolina López, Luis Méndez, Javier Pizarro-Berdichevsky, Andrés Finkelstein-Kulkan, Sandra Solari, Nicolás Salas, Pedro Bahamondes, Martín Ugarte, Pablo Barceló, Marcelo Arenas, and Eduardo Agosin. Screening of COVID-19 cases through a Bayesian network symptoms model and psychophysical olfactory test. iScience 24(12), 2021.

Marcelo Arenas, Pablo Barceló, and Mikaël Monet. The complexity of counting problems over incomplete databases. ACM Transactions on Computational Logic 22(4):21:1-21:52, 2021.

Sherif Sakr, Angela Bonifati, Hannes Voigt, Alexandru Iosup, Khaled Ammar, Renzo Angles, Walid Aref, Marcelo Arenas, Maciej Besta, Peter 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, Tamer Özsu, Eric Peukert, Stefan Plantikow, Mohamed Ragab, Matei R. 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. Communications of the ACM 64(9):62-71, 2021.

Marcelo Arenas and Pablo Barceló. Chile’s New Interdisciplinary Institute for Foundational Research on Data. Communications of the ACM 63(11):78–83, 2020.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram and Cristian Riveros. Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation. SIGMOD Record 49(1):52–59, 2020.

Marcelo Arenas, Martín Muñoz and Cristian Riveros. Descriptive Complexity for Counting Complexity Classes. Logical Methods in Computer Science 16(1):9:1–9:42, 2020.

Marcelo Arenas, Georg Gottlob and Andreas Pieris. Expressive Languages for Querying the Semantic Web. ACM Transactions on Database Systems 43(3):13:1-13:45, 2018.

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.

Renzo Angles, Marcelo Arenas, Pablo Barceló, Aidan Hogan, Juan Reutter and Domagoj Vrgoc. Foundations of Modern Graph Query Languages. ACM Computing Surveys 50(5):68:1-68:40, 2017.

Marcelo Arenas and Martín Ugarte. Designing a Query Language for RDF: Marrying Open and Closed Worlds. ACM Transactions on Database Systems 42(4): 21:1-21:46, 2017.

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 and Ke Yi. Research Directions for Principles of Data Management (Abridged). SIGMOD Record 45(4):5-17, 2016.

Marcelo Arenas, Elena Botoeva, Diego Calvanese and Vladislav Ryzhikov. Knowledge Base Exchange: The Case of OWL 2 QL. Artificial Intelligence 238, pages 11-62, 2016.

Marcelo Arenas and Gonzalo I. Díaz. The Exact Complexity of the First-Order Logic Definability Problem. ACM Transactions on Database Systems 41(2), article 13, 2016.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska and Dmitriy Zheleznyakov. Faceted Search over RDF-Based Knowledge Graphs. Journal of Web Semantics 37-38:55-74, 2016.

Marcelo Arenas, Jonny Daenen, Frank Neven, Jan Van den Bussche, Martin Ugarte and Stijn Vansummeren. Discovering XSD keys from XML data. ACM Transactions on Database Systems 39(4):28:1-28:49, 2014.

Aidan Hogan, Marcelo Arenas, Alejandro Mallea and Axel Polleres. Everything You Always Wanted to Know About Blank Nodes. Journal of Web Semantics 27-28:42-69, 2014.

Marcelo Arenas, Jorge Pérez and Juan Reutter. Data Exchange beyond Complete Data. Journal of the ACM 60(4), Article 28 (59 pages), 2013.

Marcelo Arenas, Pablo Barceló, Ronald Fagin and Leonid Libkin. Solutions and Query Rewriting in Data Exchange. Information and Computation 228-229:28-61, 2013.

Marcelo Arenas, Jorge Pérez, Juan Reutter and Cristian Riveros. The Language of Plain SO-tgds: Composition, Inversion and Structural Properties. Journal of Computer and System Sciences 79(6):763-784, 2013.

Carlos Buil-Aranda, Marcelo Arenas, Oscar Corcho and Axel Polleres. Federating Queries in SPARQL1.1: Syntax, Semantics and Evaluation. Journal of Web Semantics 18(1):1-17, 2013. (Errata)

Marcelo Arenas, Claudio Gutierrez, Daniel P. Miranker, Jorge Pérez and Juan F. Sequeda. Querying Semantic Data on the Web. SIGMOD Record 41(4):6-17, 2012.

Marcelo Arenas, Jorge Pérez, Juan Reutter and Cristian Riveros. Query Language based Inverses of Schema Mappings: Semantics, Computation, and Closure Properties. The VLDB Journal 21(6):823-842, 2012.

Marcelo Arenas, Ronald Fagin and Alan Nash. Composition with Target Constraints. Logical Methods in Computer Science 7(3), Article 13 (38 pages), 2011. (Selected papers from ICDT'11).

Marcelo Arenas, Pablo Barceló and Leonid Libkin. Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. Theory of Computing Systems. 49(3):639-670, 2011.

Marcelo Arenas, Pablo Barceló and Juan Reutter. Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. Theory of Computing Systems 49(2):489-564, 2011. (Selected papers from ICDT'09).

Jorge Pérez, Marcelo Arenas and Claudio Gutierrez. nSPARQL: A navigational language for RDF. Journal of Web Semantics 8(4):255-270, 2010.

Marcelo Arenas, Jorge Pérez and Cristian Riveros. The Recovery of a Schema Mapping: Bringing Exchanged Data Back. ACM Transactions on Database Systems, 34(4), Article 22 (48 pages), 2009. (Selected papers from PODS'08). (Online appendix)

Marcelo Arenas, Jorge Pérez, Juan Reutter and Cristian Riveros. Composition and Inversion of Schema Mappings. SIGMOD Record, 38(3):17-28, 2009.

Jorge Pérez, Marcelo Arenas and Claudio Gutierrez. Semantics and Complexity of SPARQL. ACM Transactions on Database Systems, 34(3), Article 16 (45 pages), 2009. (Errata)

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman and Leonid Libkin. First-Order and Temporal Logics for Nested Words. Logical Methods in Computer Science, 4(4:11):1-44, 2008. (Selected papers from LICS'07).

Marcelo Arenas, Wenfei Fan and Leonid Libkin. On the Complexity of Verifying Consistency of XML Specifications. SIAM Journal on Computing, 38(3):841-880, 2008.

Marcelo Arenas and Leonid Libkin. XML Data Exchange: Consistency and Query Answering. Journal of the ACM, 55(2), Article 7 (72 pages), 2008. (Selected papers from PODS'05).

Marcelo Arenas, Pablo Barceló and Leonid Libkin. Game-based Notions of Locality over Finite Models. Annals of Pure and Applied Logic, 152(1-3):3-30, 2008.

Marcelo Arenas. Normalization Theory for XML. SIGMOD Record, 35(4): 57-64, 2006.

Marcelo Arenas and Leonid Libkin. An Information-Theoretic Approach to Normal Forms for Relational and XML Data. Journal of the ACM, 52(2):246-283, 2005. (Selected papers from PODS'03).

Marcelo Arenas and Leonid Libkin. A Normal Form for XML Documents. ACM Transactions on Databases Systems, 29(1):195-232, 2004. (Selected papers from SIGMOD/PODS'02). (Online appendix)

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Answer Sets for Consistent Query Answering in Inconsistent Databases. Theory and Practice of Logic Programming, 3(4+5):393-424, 2003.

Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki, Xin He, Vijay Raghavan and Jeremy Spinrad. Scalar Aggregation in Inconsistent Databases. Theoretical Computer Science, 296(3):405-434, 2003. (Selected papers from ICDT'01).

Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renee J. Miller and John Mylopoulos. The Hyperion Project: From Data Integration to Data Coordination. SIGMOD Record 32(3):53-58, 2003.

Marcelo Arenas and Leopoldo Bertossi. Hypothetical Temporal Queries in Databases. Journal of Intelligent Information Systems, 19(2):231-259, 2002.

Leopoldo Bertossi, Marcelo Arenas and Cristian Ferretti. SCDBR: An Automated Reasoner for Specifications of Database Updates. Journal of Intelligent Information Systems, 10(3):253-280, 1998.

Conference Articles

Marcelo Arenas, Pablo Barceló, Diego Bustamante, Jose Caraball, and Bernardo Subercaseaux. A Uniform Language to Explain Decision Trees. To appear in Proceedings of the 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), Hanoi, Vietnam, 2024.

Marcelo Arenas, Pablo Barceló, Miguel Romero, and Bernardo Subercaseaux. On Computing Probabilistic Explanations for Decision Trees. In Proceedings of the 36th Annual Conference on Neural Information Processing Systems (NeurIPS 2022), New Orleans, LA, USA, pages 28695-28707, 2022.

Marcelo Arenas, Pedro Bahamondes, Amir Aghasadeghi, and Julia Stoyanovich. Temporal Regular Path Queries. In Proceedings of the 38$th IEEE International Conference on Data Engineering (ICDE 2022), Kuala Lumpur, Malaysia, pages 2412-2425, 2022.

Marcelo Arenas, Daniel Baez, Pablo Barceló, Jorge Pérez, and Bernardo Subercaseaux. Foundations of Symbolic Languages for Model Interpretability. In Proceedings of the 35th Annual Conference on Neural Information Processing Systems (NeurIPS 2021), Virtual Event, pages 11690-11701, 2021.

Marcelo Arenas, Claudio Gutierrez and Juan F. Sequeda. Querying in the Age of Graph Databases and Knowledge Graphs. In Proceedings of the SIGMOD International Conference on Management of Data (SIGMOD 2021), Virtual Event, Xi'an, Shaanxi, China, pages 2821-2828,v2021.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram and Cristian Riveros. When is Approximate Counting for Conjunctive Queries Tractable? In Proceedings of the 53rd ACM Symposium on Theory of Computing (STOC 2021), Virtual Event, Rome, Italy, pages 1015-1027,~2021.

Marcelo Arenas, Pablo Barceló, Leopoldo Bertossi and Mikaël Monet. The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits. In Proceedings of the 35th AAAI Conference on Artificial Intelligence (AAAI 2021), Virtual Event, Vancouver, Canada, pages 6670-6678, 2021

Marcelo Arenas, Pablo Barceló and Mikaël Monet. Counting Problems over Incomplete Databases. In Proceedings of the 39th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS'20), Portland, OR, USA, pages 165–177, 2020.

Marcelo Arenas, Juan Reutter, Etienne Toussaint, Martín Ugarte, Francisco Vial and Domagoj Vrgoc. Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards. In Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science (STACS'20), Montpellier, France, pages 54:1–54:16, 2020.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram and Cristian Riveros. Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation. In Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS'19), Amsterdam, The Netherlands, pages 59–73, 2019.

Marcelo Arenas, Jorge Baier, Juan Navarro and Sebastian Sardina. On the Progression of Situation Calculus Universal Theories with Constants. In Proceedings of the 16th International Conference on Principles of Knowledge Representation and Reasoning (KR'18), Tempe, AZ, USA, pages 484-493, 2018.

Renzo Angles, Marcelo Arenas, Pablo Barceló, Peter Boncz, George Fletcher, Claudio Gutierrez, Tobias Lindaaker, Marcus Paradies, Stefan Plantikow, Juan Sequeda, Oskar van Rest and Hannes Voigt. G-CORE: A Core for Future Graph Query Languages. In Proceedings of the SIGMOD International Conference on Management of Data (SIGMOD'18), Houston, TX, USA, pages 1421-1432, 2018.

Marcelo Arenas, Martín Muñoz and Cristian Riveros. Descriptive Complexity for Counting Complexity Classes. In Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS'17), Reykjavik, Iceland, pages 1-12, 2017.

Marcelo Arenas, Francisco Maturana, Cristian Riveros and Domagoj Vrgoc. A Framework for Annotating CSV-like Data. 42nd International Conference on Very Large Data Bases (VLDB'16), New Delhi, India, 2016. Proceedings of the VLDB Endowment 9(11):876-887.

Marcelo Arenas, Jorge Baier, Juan Navarro and Sebastian Sardina. Incomplete Causal Laws in the Situation Calculus Using Free Fluents. In Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI'16), New York, NY, USA, pages 907-914, 2016.

Marcelo Arenas and Martín Ugarte. Designing a Query Language for RDF: Marrying Open and Closed Worlds. In Proceedings of the 35th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'16), San Francisco, CA, USA, pages 225-236, 2016.

Marcelo Arenas, Gonzalo I. Díaz and Egor V. Kostylev. Reverse Engineering SPARQL Queries. In Proceedings of the 25th International Conference on World Wide Web (WWW'16), Montreal, Canada, pages 239-249, 2016. (Errata)

Marcelo Arenas, Gabriel Diéguez and Jorge Pérez. Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries. In Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI'15), Buenos Aires, Argentina, pages 2698-2705, 2015.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska and Dmitriy Zheleznyakov. Faceted Search over Ontology-Enhanced RDF Data. In Proceedings of the 23rd ACM International Conference on Information and Knowledge Management (CIKM'14), Shanghai, China, pages 939-948, 2014.

Juan F. Sequeda, Marcelo Arenas and Daniel P. Miranker. OBDA: Query Rewriting or Materialization? In Practice, Both! In Proceedings of the 13th International Semantic Web Conference (ISWC'14), Riva del Garda, Trento, Italy, pages 535-551, 2014.

Marcelo Arenas, Gonzalo Diaz, Achille Fokoue<, Anastasios Kementsietsidis and Kavitha Srinivas. A Principled Approach to Bridging the Gap between Graph Data and their Schemas. 40th International Conference on Very Large Data Bases (VLDB'14), Hangzhou, China, 2014. Proceedings of the VLDB Endowment 7(8):601-612.

Marcelo Arenas, Georg Gottlob and Andreas Pieris. Expressive Languages for Querying the Semantic Web. In Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'14), Snowbird, UT, USA, pages 14–26, 2014.

Marcelo Arenas, Elena Botoeva, Diego Calvanese and Vladislav Ryzhikov. Exchanging OWL 2 QL Knowledge Bases. In Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13), Beijing, China, pages 703-710, 2013.

Marcelo Arenas, Jonny Daenen, Frank Neven, Jan Van den Bussche, Martin Ugarte and Stijn Vansummeren. Discovering XSD keys from XML data. In Proceedings of the SIGMOD International Conference on Management of Data (SIGMOD'13), New York, USA, pages 61-72, 2013.

Marcelo Arenas, Sebastian Conca and Jorge Pérez. Counting beyond a Yottabyte, or how SPARQL 1.1 Property Paths will prevent adoption of the standard. In Proceedings of the 21st International Conference on World Wide Web (WWW'12), Lyon, France, pages 629-638, 2012.

Juan F. Sequeda, Marcelo Arenas and Daniel P. Miranker. On Directly Mapping Relational Databases to RDF and OWL. In Proceedings of the 21st International Conference on World Wide Web (WWW'12), Lyon, France, pages 649-658, 2012.

Alejandro Mallea, Marcelo Arenas, Aidan Hogan and Axel Polleres. On Blank Nodes. In Proceedings of the 10th International Semantic Web Conference (ISWC'11), Bonn, Germany, pages 421-437, 2011.

Marcelo Arenas, Jorge Pérez and Juan Reutter. Data Exchange beyond Complete Data. In Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'11), Athens, Greece, pages 83-94, 2011.

Marcelo Arenas and Jorge Pérez. Querying Semantic Web Data with SPARQL: State of the Art and Research Perspectives. In Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'11), Athens, Greece, pages 305-316, 2011.

Carlos Buil-Aranda, Marcelo Arenas and Oscar Corcho. Semantics and Optimization of the SPARQL 1.1 Federation Extension. In Proceedings of the 8th Extended Semantic Web Conference (ESWC'11), Heraklion, Greece, pages 1-15, 2011.

Marcelo Arenas, Jorge Pérez, Juan Reutter and Cristian Riveros. Foundations of Schema Mapping Management. In Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'10), Indianapolis, Indiana, USA, pages 227-238, 2010.

Marcelo Arenas, Ronald Fagin and Alan Nash. Composition with Target Constraints. In Proceedings of the 13th International Conference on Database Theory (ICDT'10), Lausanne, Switzerland, 2010.

Marcelo Arenas, Jorge Pérez, Juan Reutter and Cristian Riveros. Inverting Schema Mappings: Bridging the Gap between Theory and Practice. In Proceedings of the 35th International Conference on Very Large Data Bases (VLDB'09), Lyon, France, pages 1018-1029, 2009.

Marcelo Arenas, Pablo Barceló and Juan Reutter. Query Languages for Data Exchange: Beyond Unions of Conjunctive Queries. In Proceedings of the 12th International Conference on Database Theory (ICDT'09), Saint-Petersburg, Russia, pages 73-83, 2009.

Jorge Pérez, Marcelo Arenas and Claudio Gutierrez. nSPARQL: A Navigational Language for RDF. In Proceedings of the 7th International Semantic Web Conference (ISWC'08), Karlsruhe, Germany, volume 5318 of Lecture Notes Computer Science, pages 66-81, 2008.

Marcelo Arenas, Jorge Pérez and Cristian Riveros. The Recovery of a Schema Mapping: Bringing Exchanged Data Back. In Proceedings of the 27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'08), Vancouver, Canada, pages 13-22, 2008.

Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman and Leonid Libkin. First-Order and Temporal Logics for Nested Words. In Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS'07), Wroclaw, Poland, pages 151-160, 2007.

Marcelo Arenas, Pablo Barceló and Leonid Libkin. Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. In Proceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP'07), Wroclaw, Poland, volume 4596 of Lecture Notes in Computer Science, pages 888-900, 2007. (Errata)

Marcelo Arenas, Pablo Barceló and Leonid Libkin. Combining Temporal Logics for Querying XML Documents. In Proceedings of the 11th International Conference on Database Theory (ICDT'07), Barcelona, Spain, volume 4353 of Lecture Notes in Computer Science, pages 359-373, 2007.

Jorge Pérez, Marcelo Arenas and Claudio Gutierrez. Semantics and Complexity of SPARQL. In Proceedings of the 5th International Semantic Web Conference (ISWC'06), Athens, GA, USA, volume 4273 of Lecture Notes in Computer Science, pages 30-43, Springer, 2006. (Errata)

Marcelo Arenas and Leonid Libkin. XML Data Exchange: Consistency and Query Answering. In Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'05), Baltimore, USA, pages 13-24, 2005.

Marcelo Arenas, Pablo Barceló and Leonid Libkin. Game-based Notions of Locality over Finite Models. In Proceedings of the 18th Annual Conference of the European Association for Computer Science Logic (CSL'04), Karpacz, Poland, volume 3210 of Lecture Notes in Computer Science, pages 175-189, Springer, 2004.

Marcelo Arenas, Pablo Barceló, Ronald Fagin and Leonid Libkin. Locally Consistent Transformations and Query Answering in Data Exchange. In Proceedings of the 23rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'04), Paris, France, pages 229-240, 2004.

Anastasios Kementsietsidis and Marcelo Arenas. Data Sharing Through Query Translation in Autonomous Sources. In Proceedings of the 30th International Conference on Very Large Data Bases (VLDB'04), Toronto, Canada, pages 468-479, 2004.

Denilson Barbosa, Alberto Mendelzon, Leonid Libkin, Laurent Mignet and Marcelo Arenas. Efficient Incremental Validation of XML Documents. In Proceedings of the 20th International Conference on Data Engineering (ICDE'04), Boston, USA, pages 671-682, 2004.

Marcelo Arenas and Leonid Libkin. An Information-Theoretic Approach to Normal Forms for Relational and XML Data. In Proceedings of the 22nd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS'03), San Diego, USA, pages 15-26, 2003.

Anastasios Kementsietsidis, Marcelo Arenas and Renee J. Miller. Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. In Proceedings of the SIGMOD International Conference on Management of Data (SIGMOD'03), San Diego, USA, pages 325-336. 2003. (Also presented in the 2nd Hellenic Data Management Symposium (HDMS'03), Athens, Greece, 2003)

Marcelo Arenas, Wenfei Fan and Leonid Libkin. On Verifying Consistency of XML Specifications. In Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'02), Madison, USA, pages 259-270. 2002.

Marcelo Arenas and Leonid Libkin. A Normal Form for XML Documents. In Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'02), Madison, USA, pages 85-96. 2002.

Marcelo Arenas, Wenfei Fan and Leonid Libkin. What's Hard about XML Schema Constraints? Proceedings of the 13th International Conference on Database and Expert Systems Applications (DEXA'02), Aix en Provence, France, volume 2453 of Lecture Notes in Computer Science, pages 269-278, Springer, 2002.

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Scalar Aggregation in FD-Inconsistent Databases. In Proceedings of the 8th International Conference on Database Theory (ICDT'01), London, UK, volume 1973 of Lecture Notes in Computer Science, pages 39-53. Springer, 2001.

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Specifying and Querying Database Repairs using Logic Programs with Exceptions. In Proceedings of the 4th International Conference on Flexible Query Answering Systems (FQAS'00), Warsaw, Poland, pages 27-41. Springer, 2000.

Marcelo Arenas, Leopoldo Bertossi and Michael Kifer. Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. In Proceedings of the 6th International Conference on Rules and Objects in Databases (DOOD'00), London, UK, volume 1861 of Lecture Notes in Artificial Intelligence, pages 926-941. Springer, 2000. (Errata)

Marcelo Arenas, Leopoldo Bertossi, Loreto Bravo, Laura Gallardo and Achim Sydow. Environmental Information System for Analysis and Forecast of Air Pollution (Application to Santiago de Chile). In Proceedings of the International Conference on Environmental Modeling and Simulation (ICEMS'00), San Diego, USA, pages 71-75, 2000.

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Consistent Query Answers in Inconsistent Databases. In Proceedings of the 18th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS'99), Philadelphia, USA, pages 68-79. ACM Press, 1999.

Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. Query Evaluation in Almost Consistent Databases using Residues. In Proceedings of the 18th International Conference of the Chilean Computer Science Society (SCCC'98), Antofagasta, Chile, pages 8 -14. IEEE CS Press, 1998.

Book Chapters

Marcelo Arenas, Georg Gottlob and Andreas Pieris. Querying the Semantic Web via Rules. In Applications and Practices in Ontology Design, Extraction, and Reasoning, G. Cota , M. Daquino and G. L. Pozzato, editors, pages 194-213, IOS Press, 2020.

Marcelo Arenas, Pablo Barceló and Leonid Libkin. Graph Path Navigation. In Encyclopedia of Big Data Technologies, Sherif Sakr, Albert Y. Zomaya, editors, 7 pages, Springer, 2019.

Marcelo Arenas, Jorge Pérez. Federation and Navigation in SPARQL 1.1. In Reasoning Web: Semantic Technologies for Advanced Query Answering - 8th International Summer School, T. Eiter and T. Krennwallner, editors, volume 7487 of Lecture Notes in Computer Science, pages 78-111, Springer, 2012.

Marcelo Arenas, Pablo Barceló and Juan Reutter. Datalog as a Query Language for Data Exchange Systems. In Datalog 2010, O. de Moor, G. Gottlob, T. Furche and A. Jon Sellers, editors, pages 302-320, Springer, 2010.

Marcelo Arenas, Claudio Gutierrez and Jorge Pérez. Foundations of RDF Databases. In Reasoning Web: Semantic technologies for information systems - 5th International Summer School, S. Tessaris and E. Franconi, editors, volume 5689 of Lecture Notes Computer Science, pages 158-204, Springer, 2009.

Marcelo Arenas, Wenfei Fan and Leonid Libkin. Consistency of XML Specifications. In Inconsistency Tolerance, L. Bertossi, A. Hunter, T. Schaub, editors, Springer "state of the art" subseries, pages 15-41, 2005.

Marcelo Arenas and Leopoldo Bertossi. The Dynamics of Database Views. In Transactions and Change in Logic Databases, H. Decker, B. Freitag, M. Kifer, and A. Voronkov, editors, volume 1472 of Lecture Notes in Computer Science, pages 197-226, Springer, 1998.

Ph.D. Thesis

Marcelo Arenas. Design Principles for XML Data. Ph.D thesis, University of Toronto.

Workshop Papers, Demos, Posters, Short Papers, ...

Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Vicente Calisto, Benjamín Farías, Sebastián Ferrada, Tristan Heuer, Aidan Hogan, Gonzalo Navarro, Alexander Pinto, Juan Reutter, Henry Rosales, and Etienne Toussiant. MillenniumDB: A multi-modal, multi-model graph database engine. In Proceedings of the ACM SIGMOD Conference - Companion Volume (SIGMOD 2024), Santiago, Chile, pages 496-499, 2024.

Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram and Cristian Riveros. A polynomial-time approximation algorithm for counting words accepted by an NFA (invited paper). In Proceedings of the 53rd ACM Symposium on Theory of Computing (STOC 2021), Virtual Event, Rome, Italy, page 4, 2021.

Marcelo Arenas. Database Theory Column Report on PODS 2018. SIGACT News 49(4):55-57, 2018.

Marcelo Arenas, Elena Botoeva, Egor V. Kostylev and Vladislav Ryzhikov. A note on computing certain answers to queries over incomplete databases. In Proceedings of the 11th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'17), Montevideo, Uruguay, 2017.

Marcelo Arenas, Georg Gottlob and Andreas Pieris. A Datalog-Based Language for Querying RDF Graphs. In Proceedings of the 10th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'16), Panama City, Panama, 2016.

Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov and Marcelo Arenas. SemFacet: Faceted Search over Ontology Enhanced Knowledge Graphs. In Proceedings of the 15th International Semantic Web Conference (ISWC'16), Kobe, Japan, 2016.

Gonzalo Díaz, Marcelo Arenas and Michael Benedikt. SPARQLByE: Querying RDF data by example. Demo, 42nd International Conference on Very Large Data Bases (VLDB'16), New Delhi, India, 2016. Proceedings of the VLDB Endowment 9(13): 1533-1536.

Carlos Buil-Aranda, Marcelo Arenas, Martín Ugarte and Michel Dumontier. A preliminary investigation into SPARQL query complexity and federation in Bio2RDF. In Proceedings of the 9th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'15), Lima, Peru, 2015.

Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas and Sarunas Marciuska. Enabling Faceted Search over OWL 2 with SemFacet. In Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED'14), Riva del Garda, Italy, 2014.

Bernardo Cuenca Grau, Evgeny Kharlamov, Dmitriy Zheleznyakov, Marcelo Arenas and Sarunas Marciuska. On Faceted Search over Knowledge Bases. In Proceedings of the 27th International Workshop on Description Logics (DL'14), Vienna, Austria, 2014.

Marcelo Arenas, Gabriel Diéguez and Jorge Pérez. Expressiveness and Complexity of Bidirectional Constraints for Data Exchange. In Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'14), Cartagena, Colombia, 2014. (Errata)

Marcelo Arenas, Georg Gottlob and Andreas Pieris. Expressive Languages for Querying the Semantic Web. In Proceedings of the 8th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'14), Cartagena, Colombia, 2014.

Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska and Dmitriy Zheleznyakov. Towards Semantic Faceted Search. Poster, in Proceedings of the 23rd International World Wide Web Conference (WWW'14), Seoul, Korea, pages 219-220, 2014.

Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Marcelo Arenas and Ernesto Jimenez-Ruiz. SemFacet: Semantic Faceted Search over Yago. Demo, in Proceedings of the 23rd International World Wide Web Conference (WWW'14), Seoul, Korea, pages 123-126, 2014.

Marcelo Arenas, Elena Botoeva, Diego Calvanese and Vladislav Ryzhikov. Computing Solutions in OWL 2 QL Knowledge Exchange. In Proceedings of the 26th International Workshop on Description Logics (DL'13), Ulm, Germany, pages 4-16, 2013.

Marcelo Arenas, Jorge Pérez and Emanuel Sallinger. Towards General Representability in Knowledge Exchange. In Proceedings of the 7th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'13). Puebla, Mexico, 2013.

Juan F. Sequeda, Marcelo Arenas and Daniel P. Miranker. Ontology-Based Data Access Using Views. In Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR'12). Vienna, Austria, pages 262-265, 2012.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov and Evgeny Sherkhonov. Exchanging Description Logic Knowledge Bases. In Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reasoning (KR'12). Rome, Italy, pages 563-567, 2012.

Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov and Evgeny Sherkhonov. Representability in DL-LiteR Knowledge Base Exchange. In Proceedings of the 25th International Workshop on Description Logics (DL'12), Rome, Italy, 2012.

Marcelo Arenas, Claudio Gutierrez and Jorge Pérez. Some Remarks on the Paper semQA: SPARQL with Idempotent Disjunction. IEEE Transactions on Knowledge and Data Engineering 23(4):638-639, 2011.

Marcelo Arenas, Elena Botoeva and Diego Calvanese. Knowledge Base Exchange. In Proceedings of the 24th International Workshop on Description Logics (DL'11). Barcelona, Spain, 2011.

Marcelo Arenas, Mariano Consens and Alejandro Mallea. Revisiting Blank Nodes in RDF to Avoid the Semantic Mismatch with SPARQL. In W3C Workshop RDF Next Steps. Stanford, CA, USA, 2010.

Marcelo Arenas and Leopoldo Bertossi. On the Decidability of Consistent Query Answering. In Proceedings of the 4th Alberto Mendelzon Workshop on Foundations of Data Management (AMW'10). Buenos Aires, Argentina, 2010.

Marcelo Arenas, Claudio Gutierrez and Jorge Pérez. An Extension of SPARQL for RDFS. In Proceedings of the Joint ODBIS & SWDB workshop on Semantic Web, Ontologies, Databases, Vienna, Austria, volume 5005 of Lecture Notes Computer Science, pages 1-20, 2007.

Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis and Marcelo Arenas. Coordinating Peer Databases Using ECA Rules. In Proceedings of the International Workshop on Databases, Information Systems and Peer-to-Peer Computing (DBISP2P'03). Berlin, Germany, volume 2944 of Lecture Notes in Computer Science, pages 108-122. Springer, 2003.

Marcelo Arenas, Pablo Barceló and Leonid Libkin. Game-based Notions of Locality. Short presentation, Eighteenth Annual IEEE Symposium on Logic in Computer Science (LICS'03). Ottawa, Canada. 2003.

Anastasios Kementsietsidis, Marcelo Arenas and Renee J. Miller. Managing Data Mappings in the Hyperion Project. In Proceedings of the 19th International Conference on Data Engineering (ICDE'03). Bangalore, India, pages 732-734. 2003.

Marcelo Arenas and Leopoldo Bertossi. Hypothetical Temporal Reasoning with History Encoding (Extended Abstract). In Proceedings of Workshop on Reasoning about Actions: Foundations and Applications (part of ESSLLI'98), Saarbrueken, Germany, 1998.

Marcelo Arenas and Leopoldo Bertossi. Hypothetical Temporal Queries in Databases. In Proceedings of the 5th International Workshop on Knowledge Representation Meets Databases (KRDB'98): Innovative Application Programming and Query Interfaces, Seattle, USA, pages 4.1-4.8, 1998.