Travelled to:1 × Germany
1 × Japan
1 × Poland
1 × USA
1 × United Kingdom
Collaborated with:J.Talbot A.Rensink S.Tison J.Bauer M.E.Kurbán F.Hermann H.Kastenberg G.Täntzer E.Biermann D.Bisztray B.Bohnet A.Boronat L.Geiger R.Geiß Á.Horváth O.Kniemeyer T.Mens B.Ness D.Plump T.Vajk
Talks about:logic (3) graph (3) transform (2) tree (2) sierpinski (1) multigraph (1) automata (1) abstract (1) triangl (1) spatial (1)
Person: Iovka Boneva
DBLP: Boneva:Iovka
Contributed to:
2008
2007
2007
2005
2005
2003Wrote 6 papers:
- ICGT-2008-BauerBKR #abstraction #graph
- A Modal-Logic Based Graph Abstraction (JB, IB, MEK, AR), pp. 321–335.
- AGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #graph transformation #tool support
- Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.
- GT-VMT-2007-BonevaHKR #graph transformation #multi #simulation #using
- Simulating Multigraph Transformations Using Simple Graphs (IB, FH, HK, AR).
- LICS-2005-BonevaTT #logic
- Expressiveness of a Spatial Logic for Trees (IB, JMT, ST), pp. 280–289.
- RTA-2005-BonevaT #automaton #logic
- Automata and Logics for Unranked and Unordered Trees (IB, JMT), pp. 500–515.
- FoSSaCS-2003-BonevaT
- When Ambients Cannot Be Opened (IB, JMT), pp. 169–184.