Dr. Frank Raiser

Ehemaliger Mitarbeiter des Instituts für Programmiermethodik und Compilerbau.

E-Mail: frank.raiser (at) uni-ulm.de

Akademischer Werdegang

Okt. 2007 - März 2011|Wissenschaftlicher Mitarbeiter bei <LINK 5731>Prof. Frühwirth</LINK>
Nov. 2010|Promotion zum Dr. rer. nat. mit Auszeichnung
Jun. 2007 - Okt. 2007|DFG Stelle im <LINK 5725>GLOB-CON</LINK> Projekt
Nov. 2006 - Jun. 2007|LGFG Promotionsstipendium
Jul. 2006 - Jun. 2007|Promotionsstudent bei <LINK 5731>Prof. Frühwirth</LINK>
bis Jul. 2006|Diplomarbeit bei <LINK 5726>Prof. Partsch</LINK>

Lehre

Lehrtätigkeit

  • <LINK 5797>Constraint-Programmierung</LINK> (WS 09/10)
  • <LINK 18069>Regelbasierte- und Constraint-Programmierung (Seminar)</LINK> (regelmäßig seit SS 09)
  • <LINK 14345>Constraint-Programmierung Praxis</LINK> (regelmäßig seit WS 08/09)
  • <LINK 9119>Praktische Informatik</LINK> (SS 08)
  • <LINK 5799>Praktische Informatik</LINK> (WS 07/08)

Abschlussarbeiten

  • Themenvorschläge für Abschlussarbeiten
Betreute Arbeiten
[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 ]

Hochschuldidaktische Ausbildung

  • Fit für die Lehre - Hochschuldidaktische Grundlagen Teil 1+2
  • Praxisberatung
  • Lehrhospitation
  • Forschendes Lernen
  • Praktika entwickeln, Praktika durchführen
  • Abschlussarbeiten betreuen - Vorbereitung, Betreuung und Nachbereitung
  • Präsentation und Moderation
  • Kompetenzorientiert prüfen

Forschung

Forschungsinteressen

  • <LINK 5703>Constraint Handling Rules</LINK>
  • Regelbasierte Programmierung
  • <LINK 5704>Constraint Programmierung</LINK>
  • Graphentheorie

Forschungsaktivitäten

  • Mitglied des Programmkomitees des <LINK http://www.constraint-programming.de/moc2010/>MOC 2010 Workshops</LINK>
  • Mitglied des Programmkomitees des <LINK http://met.guc.edu.eg/events/wlp2010/>WLP 2010 Workshops</LINK>
  • Mitglied des Programmkomitees des <LINK http://www.cs.kuleuven.be/~petervw/CHR2010/>CHR 2010 Workshops</LINK>
  • Organisator der <LINK 22320>CHR Working Week</LINK>
  • Mitglied des Programmkomitees des <LINK http://www.constraint-programming.de/wlp2009/>WLP 2009 Workshops</LINK>
  • Mitglied des Programmkomitees des <LINK http://www.constraint-programming.de/moc2009>MOC 2009 Workshops</LINK>
  • Organisator des <LINK 17221>CHR 2009 Workshops</LINK>
  • Organisator des <LINK 8808>CHR 2008 Workshops</LINK>

Eingeladene Vorträge

Publikationen

[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 ]

Sonstiges

Von Studenten unter meiner Betreuung entwickelte Software ist hier zu finden.