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 × The Netherlands
2 × Italy
Collaborated with:
H.Ehrig F.Hermann F.Orejas A.Habel G.Täntzer L.Lambers A.Boronat N.Mylonakis H.Giese R.Heckel E.Biermann C.Ermel B.Braatz K.Gabriel
Talks about:
transform (7) graph (7) grammar (3) amalgam (3) formal (3) tripl (3) model (3) adhes (3) confluenc (2) categori (2)

Person: Ulrike Golas

DBLP DBLP: Golas:Ulrike

Contributed to:

ICGT 20152015
FOSSACS 20132013
ICGT 20122012
GCM 20102011
ICGT 20102010

Wrote 11 papers:

ICGT-2015-TaentzerG #analysis #confluence #graph transformation #towards
Towards Local Confluence Analysis for Amalgamated Graph Transformation (GT, UG), pp. 69–86.
FoSSaCS-2013-OrejasBGM #graph transformation #similarity
Checking Bisimilarity for Attributed Graph Transformation (FO, AB, UG, NM), pp. 113–128.
ICGT-2012-Golas #concept #modelling
A General Attribution Concept for Models in M-Adhesive Transformation Systems (UG), pp. 187–202.
ICGT-2012-GolasLEG #flexibility #formal method #graph grammar #towards
Toward Bridging the Gap between Formal Foundations and Current Practice for Triple Graph Grammars — Flexible Relations between Source and Target Elements (UG, LL, HE, HG), pp. 141–155.
ICGT-2012-HeckelEGH #concurrent #graph transformation #parallel #probability
Parallelism and Concurrency of Stochastic Graph Transformations (RH, HE, UG, FH), pp. 96–110.
GCM-2010-GolasBEE11 #graph transformation #interpreter #semantics #visual notation
A Visual Interpreter Semantics for Statecharts Based on Amalgamated Graph Transformation (UG, EB, HE, CE).
GCM-2010-GolasEH11 #graph grammar #model transformation #specification
Formal Specification of Model Transformations by Triple Graph Grammars with Application Conditions (UG, HE, FH).
ICGT-2010-BraatzEGG #category theory
Finitary M-Adhesive Categories (BB, HE, KG, UG), pp. 234–249.
ICGT-2010-EhrigHLOG #confluence
Local Confluence for Rules with Nested Application Conditions (HE, AH, LL, FO, UG), pp. 330–345.
ICGT-2010-GolasEH #category theory #multi
Multi-Amalgamation in Adhesive Categories (UG, HE, AH), pp. 346–361.
ICGT-2010-HermannEOG #analysis #behaviour #formal method #functional #graph grammar #model transformation
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars (FH, HE, FO, UG), pp. 155–170.

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.