BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Boneva:Iovka

Contributed to:

ICGT 20082008
AGTIVE 20072007
GT-VMT 20072007
LICS 20052005
RTA 20052005
FoSSaCS 20032003

Wrote 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.
When Ambients Cannot Be Opened (IB, JMT), pp. 169–184.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.