Dipl.-Inf. Hariolf Betz

Veröffentlichungen

Hariolf Betz, Thom W. Frühwirth: A Linear-Logic Semantics for Constraint Handling Rules. Proceedings of CP 2005, Springer LNCS 3709, ISBN 3-540-29238-1, p. 137-151.

Hariolf Betz: A Linear Logic Semantics for Constraint Handling Rules with Disjunction. Proceedings of the 4th Workshop on Constraint Handling Rules: CHR 2007, p. 17-31.

Hariolf Betz: Relating Coloured Petri Nets to Constraint,Handling Rules. Proceedings of the 4th Workshop on Constraint Handling Rules: CHR 2007, p. 32-46.

Rémy Haemmerlé, Hariolf Betz: Verification of Constraint Handling Rules Using Linear Logic Phase Semantics. Proceedings of the 5th Workshop on Constraint Handling Rules: CHR 2008, p. 67-78.

Ingi Sobhi, Slim Abdennadher, Hariolf Betz: Constructing Rule-based Solvers for Intentionally-Defined Constraints. LNCS Special Issue on Recent Advances in CHR, 2009, ISBN 3-540-92242-3.

Frank Raiser, Hariolf Betz, 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.

Hariolf Betz, Frank Raiser, Thom Frühwirth: A Complete and Terminating Execution Model for Constraint Handling Rules. Ulmer Informatik Berichte 2010-01, Ulm University, January 2010.

Hariolf Betz, Frank Raiser, 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.

Hariolf Betz, Frank Raiser, 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.

Hariolf Betz, Thom Frühwirth: Linear-Logic Based Analysis of Constraint
Handling Rules with Disjunction
. ACM Transactions on Computational Logic (TOCL). To appear.

 

Betreute Abschlussarbeiten

Noran H. Azmy: Proving Properties of CHR Programs Using Petri Nets (2008)

Lehre

Constraint Programmierung Übungen WS 08/09

Kontakt

  • Institut für Programmiermethodik und Compilerbau
  • Universität Ulm
  • D-89069 Ulm
  •  
  • Raum: o27-413
  • Telefon: +49 (0)731/50-24168
  • Telefax: +49 (0)731/50-24162
  • E-Mail: Öffnet ein Fenster zum Versenden einer E-Mailhariolf.betz (at) uni-ulm.de