• Laura Korte
  Coinductive Proof Nets
  Doctoraalscriptie, Cognitieve Kunstmatige Intelligentie, Universiteit Utrecht, June 21, 2002
  (PDF of local copy)
  
  
• Sjoerd Tieleman
  Formalisation of version control with an emphasis on tree-structured data
  Thesis, Utrecht University, August 5, 2006
  (PDF of local copy)
  
  
• Marijn Zwitserlood
  De lokale adbmal-calculus
  Doctoraalscriptie Cognitieve Kunstmatige Intelligentie, Universiteit Utrecht, August 9, 2007
  (PDF of local copy)
  
  
• Jochem Bongaerts
  Topological Convergence in Infinitary Abstract Rewriting
  Master's Thesis, Cognitive Artificial Intelligence, Universiteit Utrecht, August 2011
  (PDF at Utrecht University Student Theses Repository, PDF of local copy)
  
  
• Koen Rutten
  The suitability of CRSX for transformations on Haskell
  Bachelor Thesis, Cognitieve Kunstmatige Intelligentie, Utrecht University, September 20, 2012
  (PDF at Utrecht University Student Theses Repository, PDF of local copy)
  co-supervision with Kristoffer H. Rose (IBM Thomas J. Watson Research Center)
  
  
• Marian Haselrieder
  Floyd and Warshall meet Kleene
  Bachelor Thesis, Computational Logic group of Universität Innsbruck, September 10, 2020
  (PDF at Computational Logic group of Universität Innsbruck, PDF of local copy, WebApp)
  
  
• Samuel Frontull
  Alpha Avoidance
  Master Thesis, Computational Logic group of Universität Innsbruck, September 6, 2021
  (PDF at Universitäts- und Landesbibliothek Tirol, PDF of local copy, WebApp)
  
  
• Raoul Schikora
  On Orthogonality of Self-Distributivity
  Master Thesis, Computational Logic group of Universität Innsbruck, November 1, 2022
  (PDF at Universitäts- und Landesbibliothek Tirol, PDF of local copy)
  co-supervision with René Thiemann (Universität Innsbruck)