This page lists my writings written during my Bachelor and Master education and offers at least a PDF download of each thesis, report or other paper. If not mentioned otherwise the document is licensed under the the Creative Commons Attribution 3.0 Unported license. For my scientific publications, visit my Ph.D. publication page.

Theses

  1. From Computability to Executability — A process-theoretic view on automata theory
    Ph.D. thesis. Department of Mathematics & Computer Science, Eindhoven University of Technology, October 2011. (see this page)
  2. Finite Equational Bases for CCS with Restriction – Master’s Thesis
    Master’s thesis. Department of Mathematics & Computer Science, Eindhoven University of Technology, Eindhoven, June 2007. (pdf) (handout)

Reports

  1. Exploring the Core of MathLang – Internship Report
    School of Mathematical & Computer Sciences, Heriot-Watt University, Edinburgh, February 2006. (pdf)

Misc papers

The following items are unpublished papers written during my studies.

  1. Space-efficient Algorithms for Data Streams and Histograms
    Department of Mathematics & Computer Science, Eindhoven University of Technology, Eindhoven, February 2007. (pdf)
  2. John Vincent Atanasoff: Inventor of the Digital Computer (with Bas Kloet)
    Department of Mathematics & Computer Science, Eindhoven University of Technology, Eindhoven, October 2006. (pdf)
  3. Information Security Course Case Study: Royal Dodge Airlines RFID Programme (with Christian Luijten and Bram Senders)
    Department of Mathematics & Computer Science, Eindhoven University of Technology, Eindhoven, November 2004. (pdf)
    License: all rights reserved.
  4. Software Project Management: Methodologies & Techniques (with Rico Huijbers, Funs Lemmens, Bram Senders, Sjoerd Simons, Bert Spaan and Koen Vossen)
    Department of Mathematics & Computer Science, Eindhoven University of Technology, Eindhoven, September 2004. (pdf)
    License: all rights reserved.