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 |