- LSDN - Manage complex (virtual) networks in cloud environment with Linux kernel facilities2018 | Matematicko-fyzikální fakulta
- Implementace LFS pro Linux s Garbage Collectorem2007 | Matematicko-fyzikální fakulta
- A New Contest Sandbox2012 | Matematicko-fyzikální fakulta
- A Non-Intrusive Read-Copy-Update for UTS2012 | Matematicko-fyzikální fakulta
- Zlepšení specifikace a verifikace vlastností v nástroji BLAST2009 | Matematicko-fyzikální fakulta
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs2020 | Matematicko-fyzikální fakulta
