- The T4 Microkernel - Microkernel For Distributed Operating SystemPublication without faculty affiliation
- The T4 microkernelPublication without faculty affiliation
- HelenOS 0.4.2Publication without faculty affiliation
- HelenOS 0.4.3Publication without faculty affiliation
- HelenOS 0.5.0Publication without faculty affiliation
- HelenOS 0.6.0Publication without faculty affiliation
- HelenOS research operating system +2Publication without faculty affiliation
- A Road to a Formally Verified General-Purpose Operating System2010 | Faculty of Mathematics and Physics