Jan Stückrath

According to our database1, Jan Stückrath authored at least 9 papers between 2011 and 2017.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
Well-structured graph transformation systems.
Inf. Comput., 2017

2016
Verification of Well-Structured Graph Transformation Systems.
PhD thesis, 2016

2015
Uncover: Using Coverability Analysis for Verifying Graph Transformation Systems.
Proceedings of the Graph Transformation - 8th International Conference, 2015

2014
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Parameterized Verification of Graph Transformation Systems with Whole Neighbourhood Operations.
Proceedings of the Reachability Problems - 8th International Workshop, 2014

A General Framework for Well-Structured Graph Transformation Systems.
Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

2012
On the Decidability Status of Reachability and Coverability in Graph Transformation Systems.
Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

Well-Structured Graph Transformation Systems with Negative Application Conditions.
Proceedings of the Graph Transformations - 6th International Conference, 2012

2011
Construction of Pushout Complements in the Category of Hypergraphs.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011


  Loading...