Doctoral Theses

• Hui Gao: Design and Verification of Lock-free Parallel Algorithms.
  Groningen University, 15 April 2005
  Promotores: prof dr W.H. Hesselink, prof dr ir J.F. Groote
• Arnold Meijster: Efficient Sequential and Parallel Algorithms for Morphological Image Processing.
  Groningen University, 5 March 2004
  Promotores: prof dr J.B.T.M. Roerdink, prof dr W.H. Hesselink
• Albert M. Thijs: Simulation and Fixpoint Semantics.
  Groningen University, 11 October 1996
  Promotores: prof dr W.H. Hesselink, prof dr G.R. Renardel de Lavalette
• Ronald M. Tol: Formal Design of a Real-Time Operating System Kernel.
  Groningen University, 30 June 1995
  Promotores: prof dr dr W.A. Halang, prof dr W.H. Hesselink
• Ben A. Sijtsma: Verification and Derivation of Infinite-List Programs.
  Groningen University, 28 October 1988
  Promotor: prof dr R.C. Backhouse, Referent: dr W.H. Hesselink