- Definovatelnost v uspořádání podstruktur, II: Konečné uspořádané množiny2010 | Matematicko-fyzikální fakulta
- Chytřejší podstruktura na Petřinách1999 | Filozofická fakulta
- Duhová Ramseyova teorie2005 | Matematicko-fyzikální fakulta
- NP přes zdvihy a stíny +12007 | Matematicko-fyzikální fakulta
- Zakázané zdvihy (NP a CSP pro kombinatoriky)2008 | Matematicko-fyzikální fakulta
- NP pro kombinatoriky2007 | Matematicko-fyzikální fakulta
- Charakterizace podtříd steinerovských systémů trojic a aplikace na hranové barvení kubických grafů2010 | Matematicko-fyzikální fakulta
- Homomorfismově homogenní relační struktury2006 | Matematicko-fyzikální fakulta