Frank Raiser

Publication Activity (10 Years)

Years Active: 2007-2011
Publications (10 Years): 0

University of Ulm, Germany (PHD)

Education History

University of Ulm, Germany

PHD

Publications

Frank Raiser, Thom W. Frühwirth
Analysing graph transformation systems through constraint handling rules. Theory Pract. Log. Program. 11 (1) (2011)
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
A complete and terminating execution model for Constraint Handling Rules. Theory Pract. Log. Program. 10 (4-6) (2010)
Hariolf Betz, Frank Raiser, Thom W. Frühwirth
A Complete and Terminating Execution Model for Constraint Handling Rules CoRR (2010)
Frank Raiser, Thom W. Frühwirth
Analyzing Graph Transformation Systems through Constraint Handling Rules CoRR (2010)
Frank Raiser
Graphtransformationssyteme in Constraint Handling Rules: Verbesserte Methoden zur Programmanalyse. Ausgezeichnete Informatikdissertationen (2010)
Frank Raiser, Thom W. Frühwirth
Strong Joinability Analysis for Graph Transformation Systems in CHR. Electron. Notes Theor. Comput. Sci. 253 (4) (2009)
Frank Raiser
Research Summary. ICLP (2009)
Frank Raiser
Semi-automatic Generation of CHR Solvers for Global Constraints. CP (2008)
Frank Raiser
Graph Transformation Systems in CHR. ICLP (2007)