| 2009 |
|---|
| 12 | EE | Marcelo Arenas,
Pablo Barceló,
Juan Reutter:
Query languages for data exchange: beyond unions of conjunctive queries.
ICDT 2009: 73-83 |
| 2008 |
|---|
| 11 | EE | Marcelo Arenas,
Pablo Barceló,
Leonid Libkin:
Game-based notions of locality over finite models.
Ann. Pure Appl. Logic 152(1-3): 3-30 (2008) |
| 10 | EE | Rajeev Alur,
Marcelo Arenas,
Pablo Barceló,
Kousha Etessami,
Neil Immerman,
Leonid Libkin:
First-Order and Temporal Logics for Nested Words
CoRR abs/0811.0537: (2008) |
| 2007 |
|---|
| 9 | EE | Marcelo Arenas,
Pablo Barceló,
Leonid Libkin:
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
ICALP 2007: 888-900 |
| 8 | EE | Marcelo Arenas,
Pablo Barceló,
Leonid Libkin:
Combining Temporal Logics for Querying XML Documents.
ICDT 2007: 359-373 |
| 7 | 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 |
| 2005 |
|---|
| 6 | EE | Pablo Barceló,
Leonid Libkin:
Temporal Logics over Unranked Trees.
LICS 2005: 31-40 |
| 2004 |
|---|
| 5 | EE | Marcelo Arenas,
Pablo Barceló,
Leonid Libkin:
Game-Based Notions of Locality Over Finite Models.
CSL 2004: 175-189 |
| 4 | EE | Marcelo Arenas,
Pablo Barceló,
Ronald Fagin,
Leonid Libkin:
Locally Consistent Transformations and Query Answering in Data Exchange.
PODS 2004: 229-240 |
| 2003 |
|---|
| 3 | EE | Pablo Barceló,
Leopoldo E. Bertossi:
Logic Programs for Querying Inconsistent Databases.
PADL 2003: 208-222 |
| 2002 |
|---|
| 2 | | Pablo Barceló,
Leopoldo E. Bertossi:
Repairing databases with annotated predicate logic.
NMR 2002: 160-170 |
| 2001 |
|---|
| 1 | EE | Pablo Barceló,
Leopoldo E. Bertossi,
Loreto Bravo:
Characterizing and Computing Semantically Correct Answers from Databases with Annotated Logic and Answer Sets.
Semantics in Databases 2001: 7-33 |
