Marcelo Arenas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
55
Venues
18
Active years
1999–2025
Best venue rank
A*
Where they publish
Papers
55 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | AAAI | Probabilistic Explanations for Linear Models. | Bernardo Subercaseaux, Marcelo Arenas, Kuldeep S. Meel |
| 2025 | AISTATS | Restructuring Tractable Probabilistic Circuits. | Honghua Zhang, Benjie Wang, Marcelo Arenas, Guy Van den Broeck |
| 2024 | KR | A Uniform Language to Explain Decision Trees. | Marcelo Arenas, Pablo Barcel, Diego Bustamante, Jose Caraball, Bernardo Subercaseaux |
| 2024 | PODS | A Data Management Approach to Explainable AI. | Marcelo Arenas |
| 2024 | SIGMOD | MillenniumDB: A Multi-modal, Multi-model Graph Database. | Domagoj Vrgoc, Carlos Rojas, Renzo Angles, Marcelo Arenas, Vicente Calisto, Benjamn Farias, Sebastin Ferrada, Tristan Heuer, Aidan Hogan, Gonzalo Navarro, Alexander Pinto, Juan L. Reutter, Henry Rosales-Mndez, Etienne Toussaint |
| 2023 | PODS | The ACM PODS Alberto O. Mendelzon Test-of-Time Award 2023. | Marcelo Arenas, Wenfei Fan, Frank Neven |
| 2022 | ICDE | Temporal Regular Path Queries. | Marcelo Arenas, Pedro Bahamondes, Amir Aghasadeghi, Julia Stoyanovich |
| 2022 | ICDT | Counting the Solutions to a Query (Invited Talk). | Marcelo Arenas |
| 2021 | AAAI | The Tractability of SHAP-Score-Based Explanations for Classification over Deterministic and Decomposable Boolean Circuits. | Marcelo Arenas, Pablo Barcel, Leopoldo E. Bertossi, Mikal Monet |
| 2021 | SIGMOD | Querying in the Age of Graph Databases and Knowledge Graphs. | Marcelo Arenas, Claudio Gutierrez, Juan F. Sequeda |
| 2021 | STOC | A polynomial-time approximation algorithm for counting words accepted by an NFA (invited paper). | Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros |
| 2021 | STOC | When is approximate counting for conjunctive queries tractable? | Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros |
| 2020 | PODS | Counting Problems over Incomplete Databases. | Marcelo Arenas, Pablo Barcel, Mikal Monet |
| 2020 | STACS | Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards. | Marcelo Arenas, Juan L. Reutter, Etienne Toussaint, Martn Ugarte, Francisco Jos Vial Prado, Domagoj Vrgoc |
| 2019 | PODS | Efficient Logspace Classes for Enumeration, Counting, and Uniform Generation. | Marcelo Arenas, Luis Alberto Croquevielle, Rajesh Jayaram, Cristian Riveros |
| 2018 | KR | On the Progression of Situation Calculus Universal Theories with Constants. | Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardia |
| 2018 | SIGMOD | G-CORE: A Core for Future Graph Query Languages. | 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 | LICS | Descriptive Complexity for counting complexity classes. | Marcelo Arenas, Martn Muoz, Cristian Riveros |
| 2016 | IJCAI | Incomplete Causal Laws in the Situation Calculus Using Free Fluents. | Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardia |
| 2016 | PODS | 2016 ACM PODS Alberto O. Mendelzon Test-of-Time Award. | Marcelo Arenas, Peter Buneman, Jan Van den Bussche |
| 2016 | PODS | Designing a Query Language for RDF: Marrying Open and Closed Worlds. | Marcelo Arenas, Martn Ugarte |
| 2016 | WWW | Reverse Engineering SPARQL Queries. | Marcelo Arenas, Gonzalo I. Diaz, Egor V. Kostylev |
| 2015 | IJCAI | Bidirectional Constraints for Exchanging Data: Beyond Monotone Queries. | Marcelo Arenas, Gabriel Diguez, Jorge Prez |
| 2014 | CIKM | Faceted Search over Ontology-Enhanced RDF Data. | Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov |
| 2014 | PODS | Expressive languages for querying the semantic web. | Marcelo Arenas, Georg Gottlob, Andreas Pieris |
| 2014 | WWW | Towards semantic faceted search. | Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov |
| 2014 | WWW | SemFacet: semantic faceted search over yago. | Marcelo Arenas, Bernardo Cuenca Grau, Evgeny Kharlamov, Sarunas Marciuska, Dmitriy Zheleznyakov, Ernesto Jimnez-Ruiz |
| 2013 | IJCAI | Exchanging OWL 2 QL Knowledge Bases. | Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov |
| 2013 | SIGMOD | Discovering XSD keys from XML data. | Marcelo Arenas, Jonny Daenen, Frank Neven, Martn Ugarte, Jan Van den Bussche, Stijn Vansummeren |
| 2012 | KR | Exchanging Description Logic Knowledge Bases. | Marcelo Arenas, Elena Botoeva, Diego Calvanese, Vladislav Ryzhikov, Evgeny Sherkhonov |
| 2012 | WWW | Counting beyond a Yottabyte, or how SPARQL 1.1 property paths will prevent adoption of the standard. | Marcelo Arenas, Sebastin Conca, Jorge Prez |
| 2012 | WWW | On directly mapping relational databases to RDF and OWL. | Juan F. Sequeda, Marcelo Arenas, Daniel P. Miranker |
| 2011 | PODS | Querying semantic web data with SPARQL. | Marcelo Arenas, Jorge Prez |
| 2011 | PODS | Data exchange beyond complete data. | Marcelo Arenas, Jorge Prez, Juan L. Reutter |
| 2010 | ICDT | Composition with target constraints. | Marcelo Arenas, Ronald Fagin, Alan Nash |
| 2010 | PODS | Foundations of schema mapping management. | Marcelo Arenas, Jorge Prez, Juan L. Reutter, Cristian Riveros |
| 2009 | ICDT | Query languages for data exchange: beyond unions of conjunctive queries. | Marcelo Arenas, Pablo Barcel, Juan L. Reutter |
| 2008 | PODS | The recovery of a schema mapping: bringing exchanged data back. | Marcelo Arenas, Jorge Prez, Cristian Riveros |
| 2007 | ICALP | Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2007 | ICDT | Combining Temporal Logics for Querying XML Documents. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2007 | LICS | First-Order and Temporal Logics for Nested Words. | Rajeev Alur, Marcelo Arenas, Pablo Barcel, Kousha Etessami, Neil Immerman, Leonid Libkin |
| 2005 | PODS | XML data exchange: consistency and query answering. | Marcelo Arenas, Leonid Libkin |
| 2004 | CSL | Game-Based Notions of Locality Over Finite Models. | Marcelo Arenas, Pablo Barcel, Leonid Libkin |
| 2004 | ICDE | Efficient Incremental Validation of XML Documents. | Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas |
| 2004 | PODS | Locally Consistent Transformations and Query Answering in Data Exchange. | Marcelo Arenas, Pablo Barcel, Ronald Fagin, Leonid Libkin |
| 2004 | VLDB | Data Sharing Through Query Translation in Autonomous Sources. | Anastasios Kementsietsidis, Marcelo Arenas |
| 2003 | ICDE | Managing Data Mappings in the Hyperion Project. | Anastasios Kementsietsidis, Marcelo Arenas, Rene J. Miller |
| 2003 | PODS | An information-theoretic approach to normal forms for relational and XML data. | Marcelo Arenas, Leonid Libkin |
| 2003 | SIGMOD | Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. | Anastasios Kementsietsidis, Marcelo Arenas, Rene J. Miller |
| 2002 | DEXA | What's Hard about XML Schema Constraints? | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
| 2002 | PODS | On Verifying Consistency of XML Specifications. | Marcelo Arenas, Wenfei Fan, Leonid Libkin |
| 2002 | PODS | A Normal Form for XML Documents. | Marcelo Arenas, Leonid Libkin |
| 2001 | ICDT | Scalar Aggregation in FD-Inconsistent Databases. | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki |
| 2000 | FQAS | Specifying and Querying Database Repairs using Logic Programs with Exceptions. | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki |
| 1999 | PODS | Consistent Query Answers in Inconsistent Databases. | Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki |