|
[13]
|
Frank Raiser and Thom Frühwirth.
Strong joinability analysis for graph transformation systems in
CHR.
Electronic Notes in Theoretical Computer Science - Proceedings
of the Fifth International Workshop on Computing with Terms and Graphs
(TERMGRAPH 2009), 253(4):91-111, November 2009.
[ DOI ]
|
|
[12]
|
Frank Raiser.
Research summary: Analysing graph transformation systems using
extended methods from constraint handling rules.
In Patricia M. Hill and David Scott Warren, editors, 25th
International Conference on Logic Programming, ICLP, volume 5649 of
Lecture Notes in Computer Science, pages 540-541, Pasadena, CA, USA, July
2009. Springer-Verlag.
[ DOI ]
|
|
[11]
|
Frank Raiser and Jon Sneyers, editors.
CHR 2009, The 6th International Workshop on Constraint Handling
Rules, number 555. Katholieke Universiteit Leuven, Belgium, July 2009.
[ .pdf ]
|
|
[10]
|
Frank Raiser, Hariolf Betz, and Thom Frühwirth.
Equivalence of CHR states revisited.
In Frank Raiser and Jon Sneyers, editors, 6th International
Workshop on Constraint Handling Rules (CHR), pages 34-48, 2009.
|
|
[9]
|
Frank Raiser and Thom Frühwirth.
Operational equivalence of graph transformation systems.
In Frank Raiser and Jon Sneyers, editors, 6th International
Workshop on Constraint Handling Rules (CHR), pages 49-62, 2009.
|
|
[8]
|
Frank Raiser and Thom Frühwirth.
Strong joinability analysis for graph transformation systems in
CHR.
In Pre-Proceedings of the 5th International Workshop on
Computing with Terms and Graphs (TERMGRAPH), pages 97-112, 2009.
|
|
[7]
|
Frank Raiser.
Semi-automatic generation of CHR solvers for global constraints.
In Peter J. Stuckey, editor, Principles and Practice of
Constraint Programming, 14th International Conference, CP 2008, volume 5202
of Lecture Notes in Computer Science, pages 588-592, Sydney,
Australia, September 2008. Springer-Verlag.
[ DOI ]
|
|
[6]
|
Frank Raiser and Thom Frühwirth.
Towards Term Rewriting Systems in Constraint Handling
Rules.
In Tom Schrijvers, Frank Raiser, and Thom Frühwirth, editors,
Constraint Handling Rules, 5th Workshop, CHR 2008, pages 19-34,
Hagenberg, Austria, July 2008.
[ .pdf ]
|
|
[5]
|
Tom Schrijvers, Frank Raiser, and Thom Frühwirth, editors.
CHR 2008, The 5th Workshop on Constraint Handling Rules, number
08-10 in RISC-Linz Report Series. Research Institute for Symbolic
Computation, Johannes Kepler University, Linz, July 2008.
[ .pdf ]
|
|
[4]
|
Frank Raiser.
Semi-automatic generation of CHR solvers from global constraint
automata.
Ulmer Informatik Berichte 2008-03, Ulm University, February 2008.
[ http ]
|
|
[3]
|
Frank Raiser.
Graph Transformation Systems in CHR.
In Verónica Dahl and Ilkka Niemelä, editors, Logic
Programming, 23rd International Conference, ICLP 2007, volume 4670 of
Lecture Notes in Computer Science, pages 240-254, Porto, Portugal,
September 2007. Springer-Verlag.
[ http ]
|
|
[2]
|
Frank Raiser and Paolo Tacchella.
On Confluence of Non-terminating CHR Programs.
In Khalil Djelloul, Gregory J. Duck, and Martin Sulzmann, editors,
Constraint Handling Rules, 4th Workshop, CHR 2007, pages 63-76, Porto,
Portugal, September 2007.
|
|
[1]
|
Frank Raiser.
SrcML: A language-neutral source code representation as a basis for
extending languages in intentional programming.
Master's thesis, Ulm University, 2006.
Diplomarbeit/diploma thesis.
|
Lehre.
Prof. Dr. Helmuth Partsch.
frank.raiser (at) uni-ulm.de
Themenvorschläge für Abschlussarbeiten
Slides) at