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 × Italy
1 × Japan
Collaborated with:
B.König B.Weyers M.Heumüller S.Joshi N.Bertrand G.Delzanno A.Sangnier
Talks about:
transform (3) system (3) graph (3) cover (2) hypergraph (1) complement (1) construct (1) structur (1) reachabl (1) interfac (1)

Person: Jan Stückrath

DBLP DBLP: St=uuml=ckrath:Jan

Contributed to:

ICGT 20152015
GT-VMT 20142014
ICGT 20122012
RTA 20122012
GCM 20102011

Wrote 5 papers:

ICGT-2015-Stuckrath #analysis #graph transformation #named #using #verification
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems (JS), pp. 266–274.
GT-VMT-2014-StuckrathW #adaptation #modelling #petri net #user interface
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).
ICGT-2012-KonigS #graph transformation
Well-Structured Graph Transformation Systems with Negative Application Conditions (BK, JS), pp. 81–95.
RTA-2012-BertrandDKSS #decidability #graph transformation #on the #reachability
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems (NB, GD, BK, AS, JS), pp. 101–116.
GCM-2010-HeumullerJKS11 #category theory
Construction of Pushout Complements in the Category of Hypergraphs (MH, SJ, BK, JS).

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.