• Luc Bougé, Modularity and Symmetry in Distributed Systems: Application to the CSP Language, 1987.
• Roland Bol, Loop Checking in Logic Programming, 1991.
• Marianne Kalsbeek, Meta-Logics for Logic Programming, 1995 (joint supervision with Johan van Benthem).
• Sandro Etalle, Transformation and Analysis of (Constraint) Logic Programs, 1995 (joint supervision with Annalisa Bossi).
• Frank Teusink, Logic Programming and Non-Monotonic Reasoning, 1996.
• Rosella Gennari, Mapping Inferences: Diamond Satisfaction and Constraint Propagation, 2002 (joint supervision with Maarten de Rijke).
• Sebastian Brand, Rule-based Constraint Propagation: Theory and Applications, 2004.
• Willem Jan van Hoeve, The Integration of Constraint Programming and Mathematical Programming, 2005.
• Peter Zoeteweij, Composing Constraint Solvers, 2005.
• Andreas Witzel, Knowledge and Games: Theory and Implementation, 2009.
• Jonathan Zvesper, Playing with Information, 2010.
• Floor Sietsma, Logic of Communication and Knowledge, 2012 (joint supervision with Jan van Eijck).

[Home]