1. Rafael Caballero, Yolanda Garcia-Ruiz, and Fernando Saenz-Perez. Debugging Datalog Programs Through CHRs, 2012. [bibtex-entry]

1. Gregory M. Flanagan. Conceptual Requirement Validation for Architecture Design Systems. Master's thesis, California Polytechnic State University, San Luis Obispo, September 2011. [bibtex-entry]



2. Henning Christiansen and Bo Li. Approaching the Chinese Word Segmentation Problem with CHR Grammars, September 2011. [bibtex-entry]



3. T.W.D. Jongstra. Inequality Reasoning for Qualitative Models using Constraint Handling Rules. Bachelor thesis, University of Amsterdam, December 2011. [bibtex-entry]

1. Eric Monfroy. Constraint Handling Rules by Thom Frühwirth, Cambridge University Press, 2009, 2010. Note: Book review (to appear in Theory and Practice of Logic Programming). [doi:10.1017/S1471068410000074] [bibtex-entry]

1. Marcos Aurélio de Almeida Silva. Constraint Handling Object-oriented Rules with Disjunction (CHORD). Master's thesis, Federal University of Pernambuco, Recife, Brazil, February 2009. [WWW] Keyword(s): disjunction, search. [bibtex-entry]



2. Adrian Kostrubiak. Integration of Java Generics Into The extttjmle Tool Within The Eclipse IDE. Honors thesis, Dickinson College, 2009. [PDF] [bibtex-entry]



3. Cleyton Mário de Oliveira Rodrigues. Components and Theorem Proving with Constraint Handling Rules. Master's thesis, Federal University of Pernambuco, Recife, Brazil, 2009. [bibtex-entry]



4. Mathias Wasserthal. An extensible platform for the analysis of graph transformation systems using Constraint Handling Rules. Diploma thesis, Ulm University, February 2009. Keyword(s): Graph Transformation Systems, related formalisms. [bibtex-entry]

1. Scientific Software & Systems Ltd.. Company Profile: Solving problems with proven solutions, 2008. [WWW] [bibtex-entry]

1. Martin Magnusson. Deductive Planning and Composite Actions in Temporal Action Logic. Master's thesis, Department of Computer and Information Science, Linköping University, Sweden, 2007. Note: Thesis No. 1329. [bibtex-entry]



2. Ersha Rahimikia. Detecting non-termination in Constraint Handling Rules. Master's thesis, Dept. Computing and Software, McMaster University, 2007. Keyword(s): termination, termination. [bibtex-entry]



3. Gerrit van den Geest. Constraints for Type Class Extensions. Master's thesis, Utrecht University, April 2007. Keyword(s): type systems. [bibtex-entry]



4. Atze Dijkstra, Gerrit van den Geest, Bastiaan Heeren, and S. Doaitse Swierstra. Modelling Scoped Instances with Constraint Handling Rules. Note: Rejected by ICFP '07, 2007. [Abstract] [bibtex-entry]

1. Maryam Bavarian. Design and analysis of biological sequences using Constraint Handling Rules. Master's thesis, Simon Fraser University, Burnaby, Canada, 2006. [WWW] Keyword(s): applications. [Abstract] [bibtex-entry]

1. Olivier Bouissou. A CHR library for SiLCC. Diplomarbeit, Technical University of Berlin, Germany, January 2005. [bibtex-entry]

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

1. Wei-Ngan Chin, Martin Sulzmann, and Meng Wang. A Type-Safe Embedding of Constraint Handling Rules into Haskell. Honors Thesis, School of Computing, National University of Singapore, 2003. Keyword(s): type systems, implementation. [bibtex-entry]

1. Thomas Hecksher, Sune T.B. Nielsen, and Alexis Pigeon. A CHRG model of the ancient Egyptian grammar. Note: Unpublished student project report, Roskilde University, Denmark, December 2002. Keyword(s): applications, linguistics. [bibtex-entry]



2. Frank Morawietz and Philippe Blache. Parsing Natural Languages with CHR. Note: Unpublished Draft, 2002. Keyword(s): applications, linguistics. [bibtex-entry]

1. Ekkehard Krämer. A Generic Search Engine for a Java Constraint Kit. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, January 2001. Keyword(s): search, Java. [bibtex-entry]

1. Matthias Schmauss. An Implementation of CHR in Java. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, November 1999. Keyword(s): implementation, Java. [bibtex-entry]

1. M. Bjareland. Proving consistency in K-IA chronicles—An implemention of PMON. Master's thesis, Dept. of Information and Comp. Science, Linkoepings Universitet, 1996. [bibtex-entry]



2. Holger Meuss. Konfluenz von Constraint-Handling-Rules-Programmen. Diplomarbeit, Institut für Informatik, Ludwig-Maximilians-Universität München, Germany, 1996. Keyword(s): confluence. [bibtex-entry]

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. KU Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. KU Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.

• Peter Van Weert [home, mail]
• Jon Sneyers [home, mail]
• Tom Schrijvers [home, mail]
• Leslie De Koninck

This document was translated from BibT_EX by bibtex2html