- Formal validation and verification of a medical software critical component2015 | Matematicko-fyzikální fakulta
- The Medicolegal Certification of Medical Fitness for Work: Necessity of Standardization of the Certificate2013 | 1. lékařská fakulta
- Posuzování zdravotní způsobilosti k práci: potřeba standardizace posudku2013 | 1. lékařská fakulta
- Integrating Formal Methods into Medical Software Development: the ASM approach2018 | Matematicko-fyzikální fakulta
- Needs assessment and preparatory work for addiction science programs at universities: experiences of universities in South Africa2023 | 1. lékařská fakulta