Arenas M., Croquevielle L., Jayaram R., Riveros C. (2022)
SIGMOD Record 51 3 6-17
Arenas M., Barceló P., Romero M., Subercaseaux B. (2022)
Advances in Neural Information Processing Systems 35
Arenas M., Bahamondes P., Aghasadeghi A., Stoyanovich J. (2022)
2022 IEEE 38th International Conference on Data Engineering (ICDE)
Arenas M., Croquevielle L.A., Jayaram R., Riveros C. (2021)
Journal of the ACM 68 6 1-40
Arenas M., Croquevielle L.A., Jayaram R., Riveros C. (2021)
CONFERENCIA A*: STOC (Symposium on Theory of Computing) 4
Arenas M., Baez D., Pablo Barceló, Jorge Pérez, and Bernardo Subercaseaux. (2021)
Proceedings of the 35th Annual Conference on Neural Information Processing Systems (NeurIPS 2021
Marcelo Arenas, Daniel Baez, Pablo Barcelo, Jorge Perez, 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, 2021. (2021)
CONFERENCIA A*: NeurIPS 2021 (Annual Conference on Neural Information Processing Systems)
Arenas M., Reisenegger T., Reutter J., Vrgo? D. (2021)
Frontiers in Blockchain
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems 28212828
Marcelo Arenas, Claudio GutiérrezJuan 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, 2021. (2021)
CONFERENCIA A*: SIGMOD 2021 (SIGMOD International Conference on Management of Data)
Eyheramendy S.,
Saa P., Undurraga E.A., Valencia C., López C., Méndez L., Pizarro-Berdichevsky J., Finkelstein-Kulka A., Solari S., Salas N., Bahamondes P., Ugarte M., Barceló P.,
Arenas M.,
Agosin E. (2021)
iScience
ACM Transactions on Computational Logic 22 4 21: 1-52
Sakr S., Bonifati A., Voigt H., Iosup A., Ammar K., Angles R., Aref W.,
Arenas M., Besta M., Boncz P., Daudjee K., Della Valle E., Dumbrava S., Hartig O., Haslhofer B., Hegeman T., Hidders J., Hose K., Iamnitchi A., Kalavri V., Kapp H., Martens W., Özsu M (2021)
Communications of the ACM 64 9 62-71
Arenas M., Barceló P., Bertossi L., & Monet M (2021)
Proceedings of the 40th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems 35 8 6670-6678
Arenas, M., Barceló, P., Bertossi, L., & Monet, M. (2021). The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits. Proceedings of the AAAI Conference on Artificial Intelligence, 35(8), 6670-6678. (2021)
CONFERENCIA A*: AAAI 2021 (35th AAAI Conference on Artificial Intelligence)
(2021)
Proceedings of the 53rd Annual ACM SIGACT Symposium on Theory of Computing 10151027
(2021)
CONFERENCIA A*: STOC (Symposium on Theory of Computing) 13
Communications of the ACM 63 11 78-83
Marcelo Arenas, Pablo Barceló and Mikaël Monet. "Counting Problems over Incomplete Databases". In Proceedings of the 39 th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2020), Portland, OR, USA, pages 165177, 2020 (2020)
Proceedings of the 39 th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems (PODS 2 165177
Marcelo Arenas, Juan Reutter, Etienne Toussaint, Mart??n Ugarte, Francisco VialDomagoj Vrgo?. "Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards". In Proceedings of the 37th International Symposium on Theoretical Aspects of Computer Science (STACS 2020), Montpellier, France, pages 54:154:16, 2020. (2020)
Proceedings of the 37 th International Symposium on Theoretical Aspects of Computer Science (STACS 2 54:154:16
Arenas M., Muñoz M., Riveros C. (2020)
Logical Methods in Computer Science 16 1 42
Arenas M., Croquevielle L.A., Jayaram R., Riveros C. (2020)
SIGMOD Record 49 1 8
Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros: Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation. PODS 2019: 59-73. (2019)
38th ACM Symposium on Principles of Database Systems (PODS) 59--73
ACM Transactions on Database Systems 43 3 45pp
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 (2018)
Proceedings of the International Conference on Knowledge Representation and Reasoning (KR) 484-493
ACM Transactions on Database Systems 42 4 46pp
Angles R., Arenas M., Barceló P., Hogan A., Reutter J. and
Vrgoc D. (2017)
ACM Computing Surveys 50 5 40pp
Arenas M., Maturana F., Riveros C. and
Vrgoc D. (2016)
Proceedings of the VLDB Endowment 9 11 876 - 887
Arenas M., Cuenca Grau B., Kharlamov E., Marciuska S. and Zheleznyakov D. (2016)
Journal of Web Semantics 37-38 55-74
(2016)
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence 907-914
Arenas M., Botoeva E., Calvanese D. and Ryzhikov V. (2016)
Artificial Intelligence 238 11-62
Abiteboul S.,
Arenas M., Barceló P., Bienvenu M., Calvanese D., David C., Hull R., Hüllermeier E., Kimelfeld B., Libkin L., Martens W., Milo T., Murlak F., Neven F., Ortiz M., Schwentick T., Stoyanovich J., Su J., Suciu D., Vianu V., and Yi K. (2016)
SIGMOD Record 45 4 5 - 17
Proceedings of the VLDB Endowment 9 13 1533 - 1536
ACM Transactions on Database Systems 41 2 14pp
Arenas M., Daenen J., Neven F., Ugarte M., Van den Bussche J. and Vansummeren S. (2015)
ACM Transactions on Database Systems 39 4 49 pp
Hogan A.,
Arenas M., Mallea A. and Polleres A. (2014)
Journal of Web Semantics 27-29 42-69
Arenas M., Pérez J. and Reutter J. (2013)
Journal of the ACM 60 4 28 pp
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 2013), New York, USA, pages 6172, 2013. (2013)
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 2013), Beijing, China, pages 703710, 2013. (2013)
Buil-Aranda C.,
Arenas M., Corcho O. and Polleres A. (2013)
Journal of Web Semantics 18 1 117
Information and Computation 228229 2861
Arenas M., Pérez J., Reutter J. and Riveros C. (2013)
Journal of Computer and System Sciences 79 6 763784
Marcelo Arenas, Alexandre Bertails, Eric Prudhommeaux and Juan Sequeda. A Direct Mapping of RelationalData to RDF, W3C Recommendation 27 September 2012, http://www.w3.org/TR/rdb-direct-mapping/. (2012)
Marcelo Arenas, Sebastian Conca and Jorge Perez. 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. (2012)
Proceedings of the 21st International Conference on World Wide Web (WWW'12) 629-638
Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav RyzhikovEvgeny 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. (2012)
Proceedings of the 13th International Conference on Principles of Knowledge Representation and Reaso 563-567
Marcelo Arenas, Jorge Perez. FederationNavigation in SPARQL 1.1. In Reasoning Web: Semantic Technologies for Advanced Query Answering - 8th International Summer School, T. Eiter and T. Krennwallner, editors, pages 78-111, Springer, 2012. (2012)
78-111
Juan F. Sequeda, Marcelo ArenasDaniel 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. (2012)
Proceedings of the 21st International Conference on World Wide Web (WWW'12) 649-658
Juan F. Sequeda, Marcelo ArenasDaniel 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. (2012)
Proceedings of the 6th International Conference on Web Reasoning and Rule Systems (RR'12) 262-265
Arenas M., Pérez J., Reutter J. and Riveros C. (2012)
VLDB Journal 21 6 823-842
Arenas M., Gutiérrez C., Miranker D., Pérez J. and Sequeda J. (2012)
SIGMOD Record 41 4 6-17
Logical Methods in Computer Science 7 3 13:1-38
Marcelo Arenas, Jorge Pérez and Juan Reutter. Data Exchange beyond Complete Data. In Proceedings ofthe 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2011), Athens, Greece, pages 8394, 2011. (2011)
Alejandro Mallea, Marcelo Arenas, Aidan Hogan and Axel Polleres. On Blank Nodes. In Proceedings of the 10th International Semantic Web Conference (ISWC 2011), Bonn, Germany, pages 421437, 2011. (2011)
Theory of Computing Systems 49 2 489564
Marcelo Arenas and Jorge Pérez. Querying Semantic Web Data with SPARQL. In Proceedings of the 30th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS 2011), Athens, Greece, pages 305316, 2011. (2011)
Theory of Computing Systems 49 3 639670
Carlos Buil-Aranda, Marcelo ArenasOscar Corcho. Semantics and Optimization of the SPARQL 1.1 Federation Extension. In Proceedings of the 8th Extended SemanticWeb Conference (ESWC 2011), Heraklion, Greece, pages 115, 2011. (2011)
Marcelo Arenas, Eric Prud'hommeaux and Juan Sequeda. A Direct Mapping of Relational Data to RDF. W3C Working Draft 18 November 2010. http://www.w3.org/TR/2010/WD-rdb-direct-mapping-20101118 (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, pages 129-142, 2010. (2010)
Proceedings of the 13th International Conference on Database Theory 129-142
Marcelo Arenas, Jorge Perez, 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. (2010)
Proceedings of the 29th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems 227-238
Journal of Web Semantics 8 4 255270
Arenas M., Pérez J., Reutter J. and Riveros C. (2009)
SIGMOD Record 38 3 17 - 28
Marcelo Arenas, Claudio GutierrezJorge 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 in Computer Science, pages 158-204, Springer, 2009. (2009)
Reasoning Web: Semantic technologies for information systems - 5th International Summer School 158-204
Marcelo Arenas, Jorge Pérez, Juan ReutterCristian Riveros. Inverting Schema Mappings: Bridging the Gap between Theory and Practice. In Proceedings of the 35th International Conference on Very Large Data Bases (VDLB 2009), Lyon, France, pages 1018-1029, 2009. (2009)
Proceedings of the 35th International Conference on Very Large Data Bases (VDLB 2009) 1018-1029
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 2009), Saint-Petersburg, Russia, pages 73-83, 2009. (2009)
Proceedings of the 12th International Conference on Database Theory (ICDT 2009) 73-83
ACM Transactions on Database Systems 34 3 16:1 - 16:45
ACM Transactions on Database Systems 34 4 22
Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil ImmermanLeonid Libkin. First-Order and Temporal Logics for Nested Words. Logical Methods in Computer Science, 4(4:11):1-44, 2008. (2008)
Logical Methods in Computer Science 4 4 1-44
Annals of Pure and Applied Logic 152 1-3 3-30
Jorge Perez, 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. (2008)
SIAM Journal on Computing 38 3 841-880
Marcelo Arenas, Jorge Perez 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. (2008)
Journal of the ACM 55 2 7:1-7:72
Marcelo Arenas, Pablo Barcelo and Leonid Libkin. Combining Temporal Logics for Querying XML Documents. In Proceedings of the 11th International Conference on Database Theory (ICDT 2007), Barcelona, Spain, volume 4353 of Lecture Notes in Computer Science, pages 359-373, 2007. (2007)
Lecture Notes in Computer Science 4353 359-373
Rajeev Alur, Marcelo Arenas, Pablo Barcelo, Kousha Etessami, Neil ImmermanLeonid Libkin. First-Order and Temporal Logics for Nested Words. In Proceedings of the 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), Wroclaw, Poland, pages 151-160, 2007. (2007)
Marcelo Arenas, Pablo BarceloLeonid Libkin. Regular Languages of Nested Words: Fixed Points, Automata, Synchronization. In Proceedings of the 34th International Colloquium on Automata, Languages and Programming (ICALP 2007), Wroclaw, Poland, pages 888-900, 2007. (2007)
SIGMOD Record 35 4 57-64
Lecture Notes in Computer Science 4273 30-43
(ISI) Marcelo ArenasLeonid Libkin. (2005) An Information-Theoretic Approach to Normal Forms for Relational and XML Data. Journal of the ACM, 52(2):246-283, 2005. (2005)
246-283
(ISI) Marcelo Arenas, Wenfei FanLeonid Libkin. (2005) Consistency of XML Specifications. In L. Bertossi, A. Hunter and T. Schaub, editors, Inconsistency Tolerance, volume 3300 of Lecture Notes in Computer Science (State-of-the-Art series), pages 15-41, Springer. (2005)
pages 15-41
Marcelo ArenasLeonid Libkin. (2005) XML Data Exchange: Consistency and Query Answering. Proceedings of the 24th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (PODS05), Baltimore, USA, pages 13-24. (2005)
pages 13-24
(ISI) Marcelo Arenas and Leonid Libkin. (2004) A Normal Form for XML Documents. ACM Transactions on Databases Systems (TODS), 29(1):195-232, 2004. (2004)
195-232
Anastasios Kementsietsidis and Marcelo Arenas. (2004) Data Sharing Through Query Translation in Autonomous Sources. Proceedings of the 30th International Conference on Very Large Data Bases (VLDB04), Toronto, Canada, pages 468-479. (2004)
pages 468-479
Denilson Barbosa, Alberto Mendelzon, Leonid Libkin, Laurent Mignet and Marcelo Arenas. (2004) Efficient Incremental Validation of XML Documents. Proceedings of the 20th International Conference on Data Engineer- ing (ICDE04), Boston, USA, pages 671-682. (2004)
pages 671-682
(ISI) Marcelo Arenas, Pablo Barcelo and Leonid Libkin. (2004) Game-based Notions of Locality over Finite Models. Lecture Notes in Computer Science 3210, pages 175-189. (2004)
pages 175-189
Marcelo Arenas, Pablo Barcelo, Ronald FaginLeonid Libkin. (2004) Locally Consistent Transformations and Query Answering in Data Exchange. Proceedings of the 23rd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS04), Paris, France, pages 229-240. (2004)
pages 229-240
Marcelo ArenasLeonid Libkin. (2003) An Information-Theoretic Approach to Normal Forms for Relational and XML Data. Proceedings of the 22nd ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS03), San Diego, USA, pages 15-26. (2003)
pages 15-26
Theory and Practice of Logic Programming 3 4-5 393-424
(ISI) Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis and Marcelo Arenas. (2003) Coordinating Peer Databases Using ECA Rules Lecture Notes in Computer Science 2944, pages 108-122. (2003)
pages 108-122
Marcelo Arenas, Pablo Barcelo and Leonid Libkin. (2003) Game-based Notions of Locality. Short presentation, 18th Annual IEEE Symposium on Logic in Computer Science (LICS03). Ottawa, Canada. (2003)
Anastasios Kementsietsidis, Marcelo Arenas and Renee J. Miller. (2003) Managing Data Mappings in the Hyperion Project. Proceedings of the 19th International Conference on Data Engineering (ICDE03). Bangalore, India, pages 732-734. (2003)
pages 732-734
Anastasios Kementsietsidis, Marcelo ArenasRenee J. Miller. (2003) Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues Proceedings of the SIGMOD International Conference on Management of Data (SIGMOD03), San Diego, USA, pages 325-336. (2003)
pages 325-336
(ISI) Marcelo Arenas, Leopoldo Bertossi, Jan Chomicki, Xin He, Vijay Raghavan and Jeremy Spinrad. (2003) Scalar Aggregation in Inconsistent Databases. Theoretical Computer Science, 296(3):405-434, 2003. (2003)
405-434
(ISI) Marcelo Arenas, Vasiliki Kantere, Anastasios Kementsietsidis, Iluju Kiringa, Renee J. Miller and John Mylopoulos. (2003) The Hyperion Project: From Data Integration to Data Coordination. SIGMOD Record 32(3):53- 58, 2003. (2003)
53- 58
Marcelo Arenas and Leonid Libkin. (2002) A Normal Form for XML Documents. Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS02), Madison, USA, pages 85-96. (2002)
pages 85-96
Journal of Intelligent Information Systems 19 2 231-259
Marcelo Arenas, Wenfei Fan and Leonid Libkin. (2002) On Verifying Consistency of XML Specifications. Proceedings of the 21st ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS02), Madison, USA, pages 259-270. (2002)
pages 259-270
(ISI) Marcelo Arenas, Wenfei Fan and Leonid Libkin. (2002) Whats Hard about XML Schema Constraints? Lecture Notes in Computer Science 2453, pages 269-278, Springer, 2002. (2002)
pages 269-278
Lecture Notes in Computer Science 1973 39-53
Lecture Notes in Artificial Intelligence 1861 926-941
Marcelo Arenas, Leopoldo Bertossi, Loreto Bravo, Laura GallardoAchim Sydow. (2000) Environmental Information System for AnalysisForecast of Air Pollution (Application to Santiago de Chile) Proceedings of the International Conference on Environmental Modeling and Simulation (ICEMS00), San Diego, USA, pages 71-75. (2000)
pages 71-75
Marcelo Arenas, Leopoldo BertossiJan Chomicki. (2000) Specifying and Querying Database Repairs using Logic Programs with Exceptions. Proceedings of the 4th International Conference on Flexible Query Answering Systems (FQAS00), Warsaw, Poland, pages 27-41. Springer. (2000)
Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. (1999) Consistent Query Answers in Inconsistent Databases Proceedings of the 18th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (PODS99), Philadelphia, USA, pages 68-79. (1999)
pages 68-79
Marcelo Arenas, Leopoldo Bertossi and Jan Chomicki. (1998) Query Evaluation in Almost Consistent Databases using Residues. Proceedings of the 18th International Conference of the Chilean Computer Science Society (SCCC98), Antofagasta, Chile, pages 8-14. IEEE CS Press. (1998)
pages 8-14
