- Dense linear orders without ends point2015 | Filozofická fakulta
- Fuzzy macneillovské a dedekindovské zúplnění ostrých lineárních hustých uspořádání2005 | Filozofická fakulta
- Složitost problémů splnitelnosti časových omezení2008 | Matematicko-fyzikální fakulta
- Výpočetní složitost v teorii grafů2007 | Matematicko-fyzikální fakulta
- Složitost splnitelnosti problémů časových omezení2010 | Matematicko-fyzikální fakulta