Former member of the institute of software engineering and compiler construction.

e-mail: frank.raiser (at) uni-ulm.de

Invited Talks

Miscellaneous

Software developed by students under my supervision can be found here.

Supervised theses
[3] Ayman Adel Abdelsamie Abdelaal. A constraint handling rules based and multi-touch enabled long-term routing front end for autonomous sailing boats. Bachelor thesis, German University Cairo, 2010.
[2] Ahmed Magdy Hamed Mohamed. Mapping dynamic programming recurrences to constraint handling rules with rule priorities. Bachelor thesis, German University Cairo, 2010.
[1] Mathias Wasserthal. An extensible platform for the analysis of graph transformation systems using constraint handling rules. Diploma thesis, Ulm University, February 2009. [ .pdf ]

Research

Research activities

  • Member of the program committee of <a href="http://www.constraint-programming.de/moc2010/">MOC 2010 workshop</a>
  • Member of the program committee of <a href="http://met.guc.edu.eg/events/wlp2010/">WLP 2010 workshop</a>
  • Member of the program committee of <a href="http://www.cs.kuleuven.be/~petervw/CHR2010/">CHR 2010 workshop</a>
  • Organizer of the <a href="t3://page?uid=22320">CHR Working Week</a>
  • Member of the program committee of <a href="http://www.constraint-programming.de/wlp2009/">WLP 2009 workshop</a>
  • Member of the program committee of <a href="http://www.constraint-programming.de/moc2009">MOC 2009 workshop</a>
  • Organizer of the <a href="t3://page?uid=17221">CHR 2009 workshop</a>
  • Organizer of the <a href="t3://page?uid=8808">CHR 2008 workshop</a>

Theses

  • Topic proposals for theses

University didactic courses

  • Basics of university didactic - part 1+2
  • Consultation sessions
  • Teaching observation
  • Research in Learning
  • Develop and Execute practical courses
  • Supervising theses - preparation, supervision, post-processing
  • Presentation and Moderation
  • Competence-oriented exams

Teaching

Publications

[22] Florian Geiselhart, Frank Raiser, Jon Sneyers, and Thom Frühwirth. MTSeq - multi-touch-enabled music generation and manipulation based on CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules. K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010. [ .pdf ]
[21] Johannes Langbein, Frank Raiser, and Thom Frühwirth. A state equivalence and confluence checker for CHR. In P. Van Weert and L. De Koninck, editors, CHR '10: Proc. 7th Workshop on Constraint Handling Rules. K.U.Leuven, Department of Computer Science, Technical report CW 588, July 2010. [ .pdf ]
[20] Hariolf Betz, Frank Raiser, and Thom Frühwirth. A complete and terminating execution model for constraint handling rules. Ulmer Informatik Berichte 2010-01, Ulm University, January 2010. [ .pdf ]
[19] Hariolf Betz, Frank Raiser, and Thom Frühwirth. Persistent constraints in constraint handling rules. In Ulrich Geske and Armin Wolf, editors, 23rd Workshop on (Constraint) Logic Programming. Universitätsverlag Potsdam, 2010. [ .pdf ]
[18] Hariolf Betz, Frank Raiser, and Thom W. Frühwirth. A complete and terminating execution model for Constraint Handling Rules. Theory and Practice of Logic Programming, 10(4-6):597-610, 2010. [ DOI | .pdf ]
[17] Ahmed Magdy, Frank Raiser, and Thom Frühwirth. Implementing dynamic programming recurrences in constraint handling rules with rule priorities. In 24th Workshop on (Constraint) Logic Programming, 2010. accepted. [ .pdf ]
[16] Frank Raiser and Thom Frühwirth. Analysing graph transformation systems through constraint handling rules. Theory and Practice of Logic Programming, 2010. Available on CJO 20 Jul 2010. [ DOI | .pdf ]
[15] Frank Raiser and Thom Frühwirth. Exhaustive parallel rewriting with multiple removals. In 24th Workshop on (Constraint) Logic Programming, 2010. accepted. [ .pdf ]
[14] Andrea Triossi, Salvatore Orlando, Alessandra Raffaetà, Frank Raiser, and Thom Frühwirth. Constraint-based hardware synthesis. In 24th Workshop on (Constraint) Logic Programming, 2010. accepted. [ .pdf ]
[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 | .pdf ]
[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 | .pdf ]
[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. K.U.Leuven, Department of Computer Science, Technical report CW 555, 2009. [ .pdf ]
[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. [ .pdf ]
[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. [ .pdf ]
[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 | .pdf ]
[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. [ .pdf ]
[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. [ .pdf ]
[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. [ .pdf ]
[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. [ .pdf ]

Teaching activity

  • <a href="t3://page?uid=5797">Constraint Programming</a> (WS 09/10)
  • <a href="t3://page?uid=18069">Rule-based and Constraint Programming (Seminar)</a> (regularly since SS 09)
  • <a href="t3://page?uid=14345">Constraint Programming Practice</a> (regularly since WS 08/09)
  • <a href="t3://page?uid=9119">Applied computer science</a> (SS 08)
  • <a href="t3://page?uid=5799">Applied computer science</a> (WS 07/08)

Research interests

  • <a href="t3://page?uid=5703">Constraint Handling Rules</a>
  • Rule-based Programming
  • Graph Theory
  • <a href="t3://page?uid=5704">Constraint Programming</a>

Academic CV

Oct. 2007 - Mar. 2011 Scientific assistant under <a href="t3://page?uid=5731">Prof. Frühwirth</a>
Nov. 2010 Graduation as Dr. rer. nat. with distinction
June 2007 - Oct. 2007 DFG position in <a href="t3://page?uid=5725">GLOB-CON</a> project
Nov. 2006 - June 2007 LGFG grant
July 2006 - June 2007 PhD student under <a href="t3://page?uid=5731">Prof. Frühwirth</a>
until July 2006 Diploma thesis under <a href="t3://page?uid=5726">Prof. Partsch</a>