Marcelo Arenas

Available identifiers

zbMath Open arenas.marceloMaRDI QIDQ309907

List of research outcomes

Publication	Date of Publication	Type
Counting the solutions to a query (invited talk)	2024-04-25	Paper
A polynomial-time approximation algorithm for counting words accepted by an NFA (invited paper)	2023-11-14	Paper
When is approximate counting for conjunctive queries tractable?	2023-11-14	Paper
Cryptocurrency Mining Games with Economic Discount and Decreasing Rewards.	2023-02-07	Paper
The Complexity of Counting Problems Over Incomplete Databases	2022-12-08	Paper
#NFA Admits an FPRAS: Efficient Enumeration, Counting, and Uniform Generation for Logspace Classes	2022-12-08	Paper
Discovering XSD Keys from XML Data	2021-11-25	Paper
The Exact Complexity of the First-Order Logic Definability Problem	2021-11-25	Paper
https://portal.mardi4nfdi.de/entity/Q5144698	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5216300	2020-02-17	Paper
Knowledge base exchange: the case of OWL 2 QL	2016-09-07	Paper
The language of plain SO-tgds: composition, inversion and structural properties	2014-01-20	Paper
Solutions and query rewriting in data exchange	2013-12-19	Paper
Composition with Target Constraints	2012-04-02	Paper
Regular languages of nested words: fixed points, automata, and synchronization	2011-11-30	Paper
Query languages for data exchange: beyond unions of conjunctive queries	2011-10-11	Paper
Relational and XML Data Exchange	2010-11-19	Paper
On the Complexity of Verifying Consistency of XML Specifications	2009-06-22	Paper
First-Order and Temporal Logics for Nested Words	2009-04-29	Paper
XML data exchange	2008-12-21	Paper
An information-theoretic approach to normal forms for relational and XML data	2008-12-21	Paper
Game-based notions of locality over finite models	2008-03-28	Paper
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization	2007-11-28	Paper
Computer Science Logic	2005-08-22	Paper
Inconsistency Tolerance	2005-08-17	Paper
Answer sets for consistent query answering in inconsistent databases	2004-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4473260	2004-08-04	Paper
Scalar aggregation in inconsistent databases.	2003-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4410617	2003-07-03	Paper
https://portal.mardi4nfdi.de/entity/Q2767117	2002-01-28	Paper

Research outcomes over time

This page was built for person: Marcelo Arenas