Marcelo Arenas Papers on DiSC'04 Efficient Incremental Validation of XML Documents Locally Consistent Transformations and Query Answering in Data Exchange A normal form for XML documents Data Sharing Through Query Translation in Autonomous Sources Publications Note: Links lead to the DBLP on the Web. Marcelo Arenas Marcelo Arenas, Wenfei Fan , Leonid Libkin : Consistency of XML Specifications. Inconsistency Tolerance 2005 : 15-41 Marcelo Arenas, Leonid Libkin : XML Data Exchange: Consistency and Query Answering. PODS 2005 Marcelo Arenas, Pablo Barceló , Leonid Libkin : Game-Based Notions of Locality Over Finite Models. CSL 2004 : 175-189 Denilson Barbosa , Alberto O. Mendelzon , Leonid Libkin , Laurent Mignet , Marcelo Arenas: Efficient Incremental Validation of XML Documents. ICDE 2004 : 671-682 Marcelo Arenas, Pablo Barceló , Ronald Fagin , Leonid Libkin : Locally Consistent Transformations and Query Answering in Data Exchange. PODS 2004 : 229-240 Anastasios Kementsietsidis , Marcelo Arenas: Data Sharing Through Query Translation in Autonomous Sources. VLDB 2004 : 468-479 Marcelo Arenas, Leonid Libkin : A normal form for XML documents. ACM Trans. Database Syst. 29 : 195-232 (2004) Vasiliki Kantere , Iluju Kiringa , John Mylopoulos , Anastasios Kementsietsidis , Marcelo Arenas: Coordinating Peer Databases Using ECA Rules. DBISP2P 2003 : 108-122 Anastasios Kementsietsidis , Marcelo Arenas, Renée J. Miller : Mapping Data in Peer-to Peer Systems: Semantics and Algorithmic Issues. HDMS 2003 Anastasios Kementsietsidis , Marcelo Arenas, Renée J. Miller : Managing Data Mappings in the Hyperion Project. ICDE 2003 : 732-734 Marcelo Arenas, Leonid Libkin : An information-theoretic approach to normal forms for relational and XML data. PODS 2003 : 15-26 Anastasios Kementsietsidis , Marcelo Arenas, Renée J. Miller : Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. SIGMOD Conference 2003 : 325-336 Marcelo Arenas, Vasiliki Kantere , Anastasios Kementsietsidis , Iluju Kiringa , Renée J. Miller , John Mylopoulos : The hyperion project: from data integration to data coordination. SIGMOD Record 32 (3): 53-58 (2003) Marcelo Arenas, Leopoldo E. Bertossi , Jan Chomicki : Answer sets for consistent query answering in inconsistent databases. TPLP 3 (4-5): 393-424 (2003) Marcelo Arenas, Leopoldo E. Bertossi , Jan Chomicki , Xin He , Vijay Raghavan , Jeremy Spinrad : Scalar aggregation in inconsistent databases. Theor. Comput. Sci. 3 (296): 405-434 (2003) Marcelo Arenas, Wenfei Fan , Leonid Libkin : What's Hard about XML Schema Constraints? DEXA 2002 : 269-278 Marcelo Arenas, Wenfei Fan , Leonid Libkin : On Verifying Consistency of XML Specifications. PODS 2002 : 259-270 Marcelo Arenas, Leonid Libkin : A Normal Form for XML Documents. PODS 2002 : 85-96 Marcelo Arenas, Leopoldo E. Bertossi , Jan Chomicki : Answer Sets for Consistent Query Answering in Inconsistent Databases CoRR cs.DB/0207094 : (2002) Marcelo Arenas, Leopoldo E. Bertossi : Hypothetical Temporal Reasoning in Databases. J. Intell. Inf. Syst. 19 (2): 231-259 (2002) Marcelo Arenas, Leopoldo E. Bertossi , Jan Chomicki : Scalar Aggregation in FD-Inconsistent Databases. ICDT 2001 : 39-53 Marcelo Arenas, Leopoldo E. Bertossi , Michael Kifer : Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000 : 926-941 Marcelo Arenas, Leopoldo E. Bertossi , Jan Chomicki : Specifying and Querying Database Repairs using Logic Programs with Exceptions. FQAS 2000 : 27-41 Marcelo Arenas, Leopoldo E. Bertossi , Jan Chomicki : Consistent Query Answers in Inconsistent Databases. PODS 1999 : 68-79 Marcelo Arenas, Leopoldo E. Bertossi : Hypothetical Temporal Queries in Databases. KRDB 1998 : 4.1-4.8 Marcelo Arenas, Leopoldo E. Bertossi , Jan Chomicki : Query Evaluation in Almost Consistent Databases using Residues. SCCC 1998 : 8-14 Marcelo Arenas, Leopoldo E. Bertossi : The Dynamics of Database Views. Transactions and Change in Logic Databases 1998 : 197-226 Leopoldo E. Bertossi , Marcelo Arenas, Cristian Ferretti : SCDBR: An Automated Reasoner for Specifications of Database Updates. J. Intell. Inf. Syst. 10 (3): 253-280 (1998) 1 [ 25 ] 2 [ 24 ] [ 26 ] 3 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 14 ] [ 15 ] 4 [ 3 ] [ 5 ] [ 6 ] [ 8 ] [ 10 ] [ 14 ] [ 15 ] 5 [ 24 ] 6 [ 12 ] [ 13 ] [ 28 ] 7 [ 1 ] 8 [ 14 ] 9 [ 16 ] [ 21 ] 10 [ 16 ] [ 17 ] [ 19 ] [ 20 ] [ 21 ] [ 23 ] 11 [ 7 ] 12 [ 16 ] [ 21 ] 13 [ 11 ] [ 12 ] [ 13 ] [ 18 ] [ 22 ] [ 24 ] [ 25 ] [ 26 ] [ 27 ] [ 28 ] 14 [ 25 ] 15 [ 25 ] 16 [ 16 ] [ 17 ] [ 19 ] [ 20 ] 17 [ 16 ] [ 21 ] 18 [ 14 ] 19 [ 14 ] ©2005 Association for Computing Machinery