Frank Raiser

According to our database, Frank Raiser authored at least 9 papers between 2007 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2011

Analysing graph transformation systems through constraint handling rules.

Frank Raiser, Thom W. Frühwirth

Theory Pract. Log. Program., 2011

2010

A complete and terminating execution model for Constraint Handling Rules.

Hariolf Betz, Frank Raiser, Thom W. Frühwirth

Theory Pract. Log. Program., 2010

Analyzing Graph Transformation Systems through Constraint Handling Rules

Frank Raiser, Thom W. Frühwirth

CoRR, 2010

Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse.

Frank Raiser

Proceedings of the Ausgezeichnete Informatikdissertationen 2010, 2010

Graph Transformation Systems in Constraint Handling Rules - Improved Methods for Program Analysis.

Frank Raiser

PhD thesis, 2010

2009

Strong Joinability Analysis for Graph Transformation Systems in CHR.

Frank Raiser, Thom W. Frühwirth

Proceedings of the Fifth International Workshop on Computing with Terms and Graphs, 2009

Research Summary.

Frank Raiser

Proceedings of the Logic Programming, 25th International Conference, 2009

2008

Semi-automatic Generation of CHR Solvers for Global Constraints.

Frank Raiser

Proceedings of the Principles and Practice of Constraint Programming, 2008

2007

Graph Transformation Systems in CHR.

Frank Raiser

Proceedings of the Logic Programming, 23rd International Conference, 2007