- Definovatelnost v uspořádání podstruktur, II: Konečné uspořádané množiny2010 | Matematicko-fyzikální fakulta
- Definovatelnost v podstrukturových uspořádáních, I: konečné polosvazy2009 | Matematicko-fyzikální fakulta
- Definovatelnost v podstrukturových uspořádáních, VI: konečné svazy2009 | Matematicko-fyzikální fakulta
- Definovatelnost v podstrukturových uspořádáních, III: konečné distributivní svazy2009 | Matematicko-fyzikální fakulta
- Definovatelnost počátečních podmínek biologického systému.1999 | Fakulta tělesné výchovy a sportu
- Kvazivariety s nedefinovatlnými relativními principiálními subkongruencemi2009 | Matematicko-fyzikální fakulta