| 2008 |
|---|
| 8 | EE | Jörg Bauer,
Iovka Boneva,
Marcos E. Kurbán,
Arend Rensink:
A Modal-Logic Based Graph Abstraction.
ICGT 2008: 321-335 |
| 2007 |
|---|
| 7 | EE | 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 | EE | Iovka Boneva,
Frank Hermann,
Harmen Kastenberg,
Arend Rensink:
Simulating Multigraph Transformations Using Simple Graphs.
ECEASST 6: (2007) |
| 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 |
