Marcelo Arenas

2007
35		Marcelo Arenas, Michael I. Schwartzbach: Database Programming Languages, 11th International Symposium, DBPL 2007, Vienna, Austria, September 23-24, 2007, Revised Selected Papers Springer 2007
34	EE	Marcelo Arenas, Pablo Barceló, Leonid Libkin: Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization. ICALP 2007: 888-900
33	EE	Marcelo Arenas, Pablo Barceló, Leonid Libkin: Combining Temporal Logics for Querying XML Documents. ICDT 2007: 359-373
32	EE	Rajeev Alur, Marcelo Arenas, Pablo Barceló, Kousha Etessami, Neil Immerman, Leonid Libkin: First-Order and Temporal Logics for Nested Words. LICS 2007: 151-160
2006
31	EE	Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: Semantics and Complexity of SPARQL. International Semantic Web Conference 2006: 30-43
30	EE	Jorge Pérez, Marcelo Arenas, Claudio Gutierrez: Semantics and Complexity of SPARQL CoRR abs/cs/0605124: (2006)
29	EE	Marcelo Arenas: Normalization theory for XML. SIGMOD Record 35(4): 57-64 (2006)
2005
28	EE	Marcelo Arenas, Wenfei Fan, Leonid Libkin: Consistency of XML Specifications. Inconsistency Tolerance 2005: 15-41
27	EE	Marcelo Arenas, Leonid Libkin: XML data exchange: consistency and query answering. PODS 2005: 13-24
26	EE	Marcelo Arenas, Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. J. ACM 52(2): 246-283 (2005)
2004
25	EE	Marcelo Arenas, Pablo Barceló, Leonid Libkin: Game-Based Notions of Locality Over Finite Models. CSL 2004: 175-189
24	EE	Denilson Barbosa, Alberto O. Mendelzon, Leonid Libkin, Laurent Mignet, Marcelo Arenas: Efficient Incremental Validation of XML Documents. ICDE 2004: 671-682
23	EE	Marcelo Arenas, Pablo Barceló, Ronald Fagin, Leonid Libkin: Locally Consistent Transformations and Query Answering in Data Exchange. PODS 2004: 229-240
22	EE	Anastasios Kementsietsidis, Marcelo Arenas: Data Sharing Through Query Translation in Autonomous Sources. VLDB 2004: 468-479
21	EE	Marcelo Arenas, Leonid Libkin: A normal form for XML documents. ACM Trans. Database Syst. 29: 195-232 (2004)
2003
20	EE	Vasiliki Kantere, Iluju Kiringa, John Mylopoulos, Anastasios Kementsietsidis, Marcelo Arenas: Coordinating Peer Databases Using ECA Rules. DBISP2P 2003: 108-122
19	EE	Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller: Managing Data Mappings in the Hyperion Project. ICDE 2003: 732-734
18	EE	Marcelo Arenas, Leonid Libkin: An information-theoretic approach to normal forms for relational and XML data. PODS 2003: 15-26
17	EE	Anastasios Kementsietsidis, Marcelo Arenas, Renée J. Miller: Mapping Data in Peer-to-Peer Systems: Semantics and Algorithmic Issues. SIGMOD Conference 2003: 325-336
16	EE	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)
15		Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Answer sets for consistent query answering in inconsistent databases. TPLP 3(4-5): 393-424 (2003)
14	EE	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)
2002
13	EE	Marcelo Arenas, Wenfei Fan, Leonid Libkin: What's Hard about XML Schema Constraints? DEXA 2002: 269-278
12	EE	Marcelo Arenas, Wenfei Fan, Leonid Libkin: On Verifying Consistency of XML Specifications. PODS 2002: 259-270
11	EE	Marcelo Arenas, Leonid Libkin: A Normal Form for XML Documents. PODS 2002: 85-96
10	EE	Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Answer Sets for Consistent Query Answering in Inconsistent Databases CoRR cs.DB/0207094: (2002)
9		Marcelo Arenas, Leopoldo E. Bertossi: Hypothetical Temporal Reasoning in Databases. J. Intell. Inf. Syst. 19(2): 231-259 (2002)
2001
8	EE	Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Scalar Aggregation in FD-Inconsistent Databases. ICDT 2001: 39-53
2000
7	EE	Marcelo Arenas, Leopoldo E. Bertossi, Michael Kifer: Applications of Annotated Predicate Calculus to Querying Inconsistent Databases. Computational Logic 2000: 926-941
6		Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Specifying and Querying Database Repairs using Logic Programs with Exceptions. FQAS 2000: 27-41
1999
5	EE	Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Consistent Query Answers in Inconsistent Databases. PODS 1999: 68-79
1998
4	EE	Marcelo Arenas, Leopoldo E. Bertossi: Hypothetical Temporal Queries in Databases. KRDB 1998: 4.1-4.8
3	EE	Marcelo Arenas, Leopoldo E. Bertossi, Jan Chomicki: Query Evaluation in Almost Consistent Databases using Residues. SCCC 1998: 8-14
2	EE	Marcelo Arenas, Leopoldo E. Bertossi: The Dynamics of Database Views. Transactions and Change in Logic Databases 1998: 197-226
1		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)

Coauthor Index

1	Rajeev Alur	[32]
2	Denilson Barbosa	[24]
3	Pablo Barceló	[23] [25] [32] [33] [34]
4	Leopoldo E. Bertossi	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [14] [15]
5	Jan Chomicki	[3] [5] [6] [8] [10] [14] [15]
6	Kousha Etessami	[32]
7	Ronald Fagin	[23]
8	Wenfei Fan	[12] [13] [28]
9	Cristian Ferretti	[1]
10	Claudio Gutierrez (Claudio Gutiérrez)	[30] [31]
11	Xin He	[14]
12	Neil Immerman	[32]
13	Verena Kantere (Vasiliki Kantere)	[16] [20]
14	Anastasios Kementsietsidis	[16] [17] [19] [20] [22]
15	Michael Kifer	[7]
16	Iluju Kiringa	[16] [20]
17	Leonid Libkin	[11] [12] [13] [18] [21] [23] [24] [25] [26] [27] [28] [32] [33] [34]
18	Alberto O. Mendelzon	[24]
19	Laurent Mignet	[24]
20	Renée J. Miller	[16] [17] [19]
21	John Mylopoulos	[16] [20]
22	Jorge Pérez	[30] [31]
23	Vijay V. Raghavan (Vijay Raghavan)	[14]
24	Michael I. Schwartzbach	[35]
25	Jeremy Spinrad	[14]

Colors in the list of coauthors