Thesis

2018

1. Maja H. Kirkeby. Probabilistic program analysis. PhD thesis, Department of People and Technology, Roskilde University, Denmark, 2018.
2. Alejandro Serrano. Type Error Customization for Embedded Domain-Specific Languages. PhD thesis, Utrecht University, 2018.

2017

1. Ed Robbins. Solvers for Type Recovery and Decompilation of Binaries. PhD thesis, University of Kent, 2017.

2013

1. Zsolt Zombori. Prolog Based Reasoning. PhD thesis, University of Technology and Economics Budapest, 2013.

2012

1. Jacopo Mauro. Constraints meet concurrency. PhD thesis, 2012.
2. Tobias Rho. A Statically Typed Logic Context Query Language With Parametric Polymorphism and Subtyping. PhD thesis, Bonn, Rheinische Friedrich-Wilhelms-Universität Bonn, Diss., 2012, 2012.

2011

1. Edmund S.L. 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.

2010

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.
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.

2009

1. Cinzia Di Giusto. Expressiveness of Concurrent Languages. PhD thesis, deptcw, University of Bologna, Italy, March 2009. [PDF] Keyword(s): expressivity.
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.

2008

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.
2. Mark Meister. Advances in Constraint Handling Rules. PhD thesis, Universität Ulm, Germany, 2008.
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.
4. Paolo Tacchella. Constraint Handling Rules --- Compositional Semantics and Program Transformation. PhD thesis, deptcw, University of Bologna, Italy, March 2008. [WWW] [PDF] Keyword(s): semantics.

2006

1. Kimberly Voll. A methodology of error detection: Improving speech recognition in radiology. PhD thesis, Simon Fraser University, Burnaby, Canada, 2006. [WWW]
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.

2005

1. Marco Alberti. A Computational Logic-based System for Specification and Verification of Agent Interaction. PhD thesis, University of Ferrara, Italy, 2005.
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]
3. Gregory J. Duck. Compilation of Constraint Handling Rules. PhD thesis, University of Melbourne, Australia, December 2005. Keyword(s): implementation, optimizing compilation.
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.
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.

2003

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

2001

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

1999

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.

1997

1. Thom Frühwirth. A Declarative Language for Constraint Systems: Theory and Practice of Constraint Handling Rules. Habilitationsschrift, deptcw, LMU, Munchen, Germany, December 1997.