- Mapování software-hardware v návrhu robota +12008 | Matematicko-fyzikální fakulta
- Počítač2011 | Filozofická fakulta
- Adobe® Acrobat® a formát PDF v praxi.2012 | Publikace bez příslušnosti k fakultě
- Matrix - nová konstituce mezi hardwarem, softwarem a wetwarem2006 | Matematicko-fyzikální fakulta
- Incremental Upgrade Checking by Means of Interpolation-based Function Summaries2012 | Matematicko-fyzikální fakulta
- Automated Dynamic Formation of Component Ensembles2017 | Matematicko-fyzikální fakulta