Construction of Pushout Complements in the Category of Hypergraphs. - Marvin Heumüller; Salil Joshi 002; Barbara König 001; Jan Stückrath (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Well-Structured Graph Transformation Systems with Negative Application Conditions. - Barbara König 001; Jan Stückrath (ICGT, 2012)

On the Decidability Status of Reachability and Coverability in Graph Transformation Systems. - Nathalie Bertrand 001; Giorgio Delzanno; Barbara König 001; Arnaud Sangnier; Jan Stückrath (RTA, 2012)

A General Framework for Well-Structured Graph Transformation Systems. - Barbara König 001; Jan Stückrath (CONCUR, 2014)

Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations. - Giorgio Delzanno; Jan Stückrath (RP, 2014)

Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models. - Jan Stückrath; Benjamin Weyers (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014)

Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems. - Jan Stückrath (ICGT, 2015)

Verification of Well-Structured Graph Transformation Systems. - Jan Stückrath (2016)

Well-structured graph transformation systems. - Barbara König 001; Jan Stückrath (Inf. Comput., 2017)