2015
- de Muijnck-Hughes, J. (2015). Machine Checkable Design Patterns using Dependent Types and Domain Specific Goal-Oriented Modelling Languages (PhD Thesis).School of Computer Science, University of St Andrews, St Andrews.
2011
- de Muijnck-Hughes, J. (2011). Data Protection and the Cloud (Master Thesis).Institute for Computer; Information Science, Radboud Universiteit Nijmegen, Nijmegen.
2008
- de Muijnck-Hughes, J. (2008). Searching for Efficient Permutation Codes (Bachelor Thesis).School of Computer Science, University of St Andrews, St Andrews.