 | 2009 |
|---|
| 16 |       | Marcelo Arenas,
Pablo Barceló,
Juan Reutter:
Query languages for data exchange: beyond unions of conjunctive queries.
ICDT 2009: 73-83 |
| 15 | | Pablo Barceló,
Leonid Libkin,
Antonella Poggi,
Cristina Sirangelo:
XML with incomplete information: models, properties, and query answering.
PODS 2009: 237-246 |
| 14 | | Pablo Barceló:
Locality of Queries.
Encyclopedia of Database Systems 2009: 1637-1638 |
| 13 | | Pablo Barceló:
Logical foundations of relational data exchange.
SIGMOD Record 38(1): 49-58 (2009) |
| 2008 |
|---|
| 12 | | Marcelo Arenas,
Pablo Barceló,
Leonid Libkin:
Game-based notions of locality over finite models.
Ann. Pure Appl. Logic 152(1-3): 3-30 (2008) |
| 11 | | 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) |
| 10 | | Rajeev Alur,
Marcelo Arenas,
Pablo Barceló,
Kousha Etessami,
Neil Immerman,
Leonid Libkin:
First-Order and Temporal Logics for Nested Words.
Logical Methods in Computer Science 4(4): (2008) |
| 2007 |
|---|
| 9 | | Marcelo Arenas,
Pablo Barceló,
Leonid Libkin:
Regular Languages of Nested Words: Fixed Points, Automata, and Synchronization.
ICALP 2007: 888-900 |
| 8 | | Marcelo Arenas,
Pablo Barceló,
Leonid Libkin:
Combining Temporal Logics for Querying XML Documents.
ICDT 2007: 359-373 |
| 7 | | 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 | | Pablo Barceló,
Leonid Libkin:
Temporal Logics over Unranked Trees.
LICS 2005: 31-40 |
| 2004 |
|---|
| 5 | | Marcelo Arenas,
Pablo Barceló,
Leonid Libkin:
Game-Based Notions of Locality Over Finite Models.
CSL 2004: 175-189 |
| 4 | | Marcelo Arenas,
Pablo Barceló,
Ronald Fagin,
Leonid Libkin:
Locally Consistent Transformations and Query Answering in Data Exchange.
PODS 2004: 229-240 |
| 2003 |
|---|
| 3 | | 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 | | 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 |
