 | 2009 |
|---|
| 6 |       | Emmanuel Filiot,
Naiyong Jin,
Jean-François Raskin:
An Antichain Algorithm for LTL Realizability.
CAV 2009: 263-277 |
| 2008 |
|---|
| 5 | | Emmanuel Filiot,
Jean-Marc Talbot,
Sophie Tison:
Tree Automata with Global Constraints.
Developments in Language Theory 2008: 314-326 |
| 4 | | Emmanuel Filiot,
Sophie Tison:
Regular n-ary Queries in Trees and Variable Independence.
IFIP TCS 2008: 429-443 |
| 2007 |
|---|
| 3 | | Emmanuel Filiot,
Jean-Marc Talbot,
Sophie Tison:
Satisfiability of a Spatial Logic with Tree Variables.
CSL 2007: 130-145 |
| 2 | | Emmanuel Filiot,
Joachim Niehren,
Jean-Marc Talbot,
Sophie Tison:
Polynomial time fragments of XPath with variables.
PODS 2007: 205-214 |
| 2006 |
|---|
| 1 |  | Emmanuel Filiot,
Joachim Niehren,
Jean-Marc Talbot,
Sophie Tison:
Composing Monadic Queries in Trees.
PLAN-X 2006: 61-70 |
