- The T4 Microkernel - Microkernel For Distributed Operating SystemPublikace bez příslušnosti k fakultě
- The T4 microkernelPublikace bez příslušnosti k fakultě
- HelenOS 0.4.2Publikace bez příslušnosti k fakultě
- HelenOS 0.4.3Publikace bez příslušnosti k fakultě
- HelenOS 0.5.0Publikace bez příslušnosti k fakultě
- HelenOS 0.6.0Publikace bez příslušnosti k fakultě
- výzkumný operační systém HelenOS +2Publikace bez příslušnosti k fakultě
- Cesta k formálně verifikovanému obecnému operačnímu systému2010 | Matematicko-fyzikální fakulta