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: St=uuml=ckrath:Jan
Contributed to:
2015
20142012
2012
2011Wrote 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).