| |
| 2005 | ||
|---|---|---|
| 5 | EE | Iovka Boneva, Jean-Marc Talbot, Sophie Tison: Expressiveness of a Spatial Logic for Trees. LICS 2005: 280-289 |
| 4 | EE | Iovka Boneva, Jean-Marc Talbot: Automata and Logics for Unranked and Unordered Trees. RTA 2005: 500-515 |
| 3 | EE | Iovka Boneva, Jean-Marc Talbot: When ambients cannot be opened. Theor. Comput. Sci. 333(1-2): 127-169 (2005) |
| 2004 | ||
| 2 | Iovka Boneva, Jean-Marc Talbot: On Complexity of Model-Checking for the TQL Logic. IFIP TCS 2004: 381-394 | |
| 2003 | ||
| 1 | EE | Iovka Boneva, Jean-Marc Talbot: When Ambients Cannot Be Opened. FoSSaCS 2003: 169-184 |
| 1 | Jean-Marc Talbot | [1] [2] [3] [4] [5] |
| 2 | Sophie Tison | [5] |