Publications

of Hariolf Betz

Books and proceedings

  1. H. Betz, T. Frühwirth, and U. Schöning. A Unified Analytical Foundation for Constraint Handling Rules. Books on Demand, 2014. ISBN: 9783734732508.

Articles in journal, book chapters

  1. Hariolf Betz, Frank Raiser, and Thom Frühwirth. A Complete and Terminating Execution Model for Constraint Handling Rules. In Manuel Hermenegildo and Torsten Schaub, editors, ICLP10l, volume 10(4--6) of TPLP, pages 597-610. CUP, July 2010. [doi:10.1017/S147106841000030X] Keyword(s): semantics, termination.
  2. Ingi Sobhi, Slim Abdennadher, and Hariolf Betz. Constructing Rule-Based Solvers for Intentionally-Defined Constraints. In Tom Schrijvers and Thom Frühwirth, editors, Constraint Handling Rules --- Current Research Topics, volume 5388 of LNAI, pages 70-84. SV, December 2008. [WWW] [doi:10.1007/978-3-540-92243-8_4] Keyword(s): program generation.

Conference articles

  1. Hariolf Betz, Frank Raiser, and Thom Frühwirth. Persistent Constraints in Constraint Handling Rules. In A. Wolf and U. Geske, editors, WLP '09: Proc. 23rd Workshop on (Constraint) Logic Programming, 2010. Universität Potsdam. [WWW] Keyword(s): parallelism, semantics.
  2. Frank Raiser, Hariolf Betz, and Thom Frühwirth. Equivalence of CHR States Revisited. In F. Raiser and J. Sneyers, editors, CHR09l, pages 33-48, July 2009. KULCW, Technical report CW 555. [PDF] Keyword(s): CHR 2009, semantics, CHR 2009, CHR 2009.
  3. Rémy Haemmerlé and Hariolf Betz. Verification of Constraint Handling Rules using Linear Logic Phase Semantics. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 67-78, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, linear logic, verification, CHR 2008, CHR 2008.
  4. Hariolf Betz. Relating Coloured Petri Nets to Constraint Handling Rules. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 33-47, September 2007. [PDF] Keyword(s): CHR 2007, related formalisms, CHR 2007, CHR 2007.
  5. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules with Disjunction. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 17-31, September 2007. [PDF] Keyword(s): CHR 2007, semantics, linear logic, CHR 2007, CHR 2007.
  6. Hariolf Betz and Thom Frühwirth. A Linear-Logic Semantics for Constraint Handling Rules. In CP05, volume 3709 of LNCS, pages 137-151, October 2005. SV. Keyword(s): semantics, linear logic.

Internal reports

  1. 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, Germany, January 2010. [WWW] Keyword(s): semantics, termination.

Miscellaneous

  1. Hariolf Betz. A linear logic semantics for CHR. Diplomarbeit, University of Ulm, Germany, October 2004. [POSTSCRIPT] Keyword(s): semantics, linear logic.

BACK TO INDEX