Graph Transformation Systems in CHR. - Frank Raiser (ICLP, 2007)

Semi-automatic Generation of CHR Solvers for Global Constraints. - Frank Raiser (CP, 2008)

Research Summary. - Frank Raiser (ICLP, 2009)

Strong Joinability Analysis for Graph Transformation Systems in CHR. - Frank Raiser; Thom W. Frühwirth (TERMGRAPH@ETAPS, 2009)

Graph Transformation Systems in Constraint Handling Rules - Improved Methods for Program Analysis. - Frank Raiser (2010)

Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse. - Frank Raiser (Ausgezeichnete Informatikdissertationen, 2010)

Analyzing Graph Transformation Systems through Constraint Handling Rules - Frank Raiser; Thom W. Frühwirth (CoRR, 2010)

A complete and terminating execution model for Constraint Handling Rules. - Hariolf Betz; Frank Raiser; Thom W. Frühwirth (Theory Pract. Log. Program., 2010)

Analysing graph transformation systems through constraint handling rules. - Frank Raiser; Thom W. Frühwirth (Theory Pract. Log. Program., 2011)