Publications

Thesis

1. Frank Raiser. Graph Transformation Systems in Constraint Handling Rules: Improved Methods for Program Analysis. PhD thesis, Ulm University, Germany, November 2010. [WWW] [PDF] Keyword(s): Graph Transformation Systems, related formalisms.

Articles in journal, book chapters

1. Frank Raiser and Thom Frühwirth. Analyzing Graph Transformation Systems through Constraint Handling Rules. TPLP, 2010. Note: To appear. Keyword(s): Graph Transformation Systems, related formalisms.

Conference articles

1. Frank Raiser. Research Summary: Analysing Graph Transformation Systems Using Extended Methods from Constraint Handling Rules. In Patricia M. Hill and David S. Warren, editors, ICLP09l, volume 5649 of LNCS, pages 540-541, July 2009. SV. [doi:10.1007/978-3-642-02846-5_54] Keyword(s): Graph Transformation Systems, related formalisms.
2. Frank Raiser and Thom Frühwirth. Operational Equivalence of Graph Transformation Systems. In F. Raiser and J. Sneyers, editors, CHR09l, pages 49-61, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, Graph Transformation Systems, related formalisms, CHR 2009, CHR 2009.
3. Frank Raiser and Thom Frühwirth. Strong joinability analysis for graph transformation systems in CHR. In TERMGRAPH '09: Proc. 5th Intl. Workshop on Computing with Terms and Graphs, pages 97-112, March 2009. Keyword(s): Graph Transformation Systems, related formalisms.
4. Frank Raiser. Graph Transformation Systems in CHR. In V. Dahl and I. Niemelä, editors, ICLP07l, volume 4670 of LNCS, pages 240-254, September 2007. SV. [doi:10.1007/978-3-540-74610-2_17] Keyword(s): Graph Transformation Systems, related formalisms.

Miscellaneous

1. Mathias Wasserthal. An extensible platform for the analysis of graph transformation systems using Constraint Handling Rules. Diploma thesis, Ulm University, February 2009. Keyword(s): Graph Transformation Systems, related formalisms.