1. Edmund Soon Lee Lam. Parallel execution of Constraint Handling Rules – Theory, Implementation and Application. PhD thesis, School of Computing, Department of Computing Science, National University of Singapore, 2011. Keyword(s): parallelism, implementation. [bibtex-entry]

1. Frank Raiser. Graph Transformation Systems in Constraint Handling Rules: Improved Methods for Program Analysis. PhD thesis, Ulm University, Germany, November 2010. [WWW] [PDF] Keyword(s): Graph Transformation Systems, related formalisms. [Abstract] [bibtex-entry]



2. Peter Van Weert. Extension and Optimising Compilation of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, May 2010. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, Java. [Abstract] [bibtex-entry]

1. Cinzia Di Giusto. Expressiveness of Concurrent Languages. PhD thesis, Department of Computer Science, University of Bologna, Italy, March 2009. [PDF] Keyword(s): expressivity. [bibtex-entry]



2. Jairson Vitorino. Model-Driven Engineering a Versatile, Extensible, Scalable Rule Engine through Component Assembly and Model Transformations. PhD thesis, Federal University of Pernambuco, Recife, Brazil, February 2009. [bibtex-entry]

1. Leslie De Koninck. Execution Control for Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): priorities, complexity, related formalisms. [Abstract] [bibtex-entry]



2. Mark Meister. Advances in Constraint Handling Rules. PhD thesis, Universität Ulm, Germany, 2008. [bibtex-entry]



3. Jon Sneyers. Optimizing Compilation and Computational Complexity of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, November 2008. [WWW] [PDF] Keyword(s): implementation, optimizing compilation, complexity, computability. [Abstract] [bibtex-entry]



4. Paolo Tacchella. Constraint Handling Rules — Compositional Semantics and Program Transformation. PhD thesis, Department of Computer Science, University of Bologna, Italy, March 2008. [WWW] [PDF] Keyword(s): semantics. [Abstract] [bibtex-entry]

1. Kimberly Voll. A methodology of error detection: Improving speech recognition in radiology. PhD thesis, Simon Fraser University, Burnaby, Canada, 2006. [WWW] [bibtex-entry]



2. Jeremy Wazny. Type inference and type error diagnosis for Hindley/Milner with extensions. PhD thesis, University of Melbourne, Australia, 2006. Keyword(s): type systems. [bibtex-entry]

1. Marco Alberti. A Computational Logic-based System for Specification and Verification of Agent Interaction. PhD thesis, University of Ferrara, Italy, 2005. [bibtex-entry]



2. Alma Barranco-Mendoza. Stochastic and heuristic modelling for analysis of the growth of pre-invasive lesions and for a multidisciplinary approach to early cancer diagnosis. PhD thesis, Simon Fraser University, Burnaby, Canada, 2005. [WWW] [bibtex-entry]



3. Gregory J. Duck. Compilation of Constraint Handling Rules. PhD thesis, University of Melbourne, Australia, December 2005. Keyword(s): implementation, optimizing compilation. [bibtex-entry]



4. Tom Schrijvers. Analyses, optimizations and extensions of Constraint Handling Rules. PhD thesis, K.U.Leuven, Belgium, June 2005. [WWW] [PDF] [POSTSCRIPT] Keyword(s): implementation, optimizing compilation. [bibtex-entry]



5. Hongwei Zhu. Effective Information Integration and Reutilization: Solutions to Technological Deficiency and Legal Uncertainty. PhD thesis, Engineering Systems Division, Massachusetts Institute of Technology, Cambridge, MA, USA, September 2005. [bibtex-entry]

1. Aykut Firat. Information Integration Using Contextual Knowledge and Ontology Merging. PhD thesis, MIT Sloan School of Management, Cambridge, Massachusetts, USA, September 2003. [bibtex-entry]

1. Slim Abdennadher. Rule-based Constraint Programming: Theory and Practice. Habilitationsschrift, Institute of Computer Science, LMU, Munich, Germany, July 2001. [bibtex-entry]

1. Armin Wolf. Adaptive Constraintverarbeitung mit Constraint-Handling-Rules – Ein allgemeiner Ansatz zur Lösung dynamischer Constraint-probleme. PhD thesis, Technical University Berlin, Germany, 1999. [bibtex-entry]

1. Thom Frühwirth. A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules. Habilitationsschrift, Department of Computer Science, LMU, Munchen, Germany, December 1997. [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