 | 2011 |
| 11 |  | Iovka Boneva,
Anne-Cécile Caron,
Benoît Groz,
Yves Roos,
Sophie Tison,
Slawek Staworko:
View update translation for XML.
ICDT 2011: 42-53 |
| 2010 |
| 10 |  | Slawek Staworko,
Iovka Boneva,
Benoît Groz:
The view update problem for XML.
EDBT/ICDT Workshops 2010 |
| 2009 |
| 9 |  | Iovka Boneva,
Jörg Kreiker,
Marcos E. Kurbán,
Arend Rensink:
Graph Abstraction for a Modal Logic.
Bulletin of the EATCS 97: 106-116 (2009) |
| 2008 |
| 8 |  | Jörg Bauer,
Iovka Boneva,
Marcos E. Kurbán,
Arend Rensink:
A Modal-Logic Based Graph Abstraction.
ICGT 2008: 321-335 |
| 2007 |
| 7 |  | Gabriele Taentzer,
Enrico Biermann,
Dénes Bisztray,
Bernd Bohnet,
Iovka Boneva,
Artur Boronat,
Leif Geiger,
Rubino Geiß,
Ákos Horvath,
Ole Kniemeyer,
Tom Mens,
Benjamin Ness,
Detlef Plump,
Tamás Vajk:
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools.
AGTIVE 2007: 514-539 |
| 6 |  | Iovka Boneva,
Frank Hermann,
Harmen Kastenberg,
Arend Rensink:
Simulating Multigraph Transformations Using Simple Graphs.
ECEASST 6: (2007) |
| 2005 |
| 5 |  | Iovka Boneva,
Jean-Marc Talbot,
Sophie Tison:
Expressiveness of a Spatial Logic for Trees.
LICS 2005: 280-289 |
| 4 |  | Iovka Boneva,
Jean-Marc Talbot:
Automata and Logics for Unranked and Unordered Trees.
RTA 2005: 500-515 |
| 3 |  | 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 |  | Iovka Boneva,
Jean-Marc Talbot:
When Ambients Cannot Be Opened.
FoSSaCS 2003: 169-184 |