Publications
(See also DBLP)

Journals

• 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).
  [pdf]



• Marcelo Arenas and Leonid Libkin. A Normal Form for XML Documents. ACM Transactions on Databases Systems (TODS), 29(1):195-232, 2004. (Selected papers from SIGMOD/PODS'02).
  [pdf | 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.
  [pdf]



• 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).
  [pdf]



• 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.
  [pdf]



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



• 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.
  [pdf]

Conferences

• 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.
  [pdf]



• Marcelo Arenas, Pablo Barcelo 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.
  [pdf]



• Marcelo Arenas, Pablo Barcelo, 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.
  [pdf]



• 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.
  [pdf]



• 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.
  [pdf]



• 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.
  [pdf]
  
  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.
  [pdf]



• 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.
  [pdf]



• 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.
  [pdf]



• 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.
  [pdf]



• 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.
  [pdf]



• 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.
  [pdf | 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.
  [pdf]



• 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.
  [pdf]



• 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.
  [pdf]

Chapters in Books

• Marcelo Arenas, Wenfei Fan and Leonid Libkin. Consistency of XML Specifications. To appear in Inconsistency Tolerance, L. Bertossi, A. Hunter, T. Schaub, editors, Springer-Verlag, 2004.
  [pdf]



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

Workshops, Posters, Short Presentations, ...

• 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.
  [pdf]



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



• 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.
  [pdf]



• 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.
  [pdf]



• 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.
  [pdf]