- Spočetné skoro strnulé Heytingovy algebry2006 | Matematicko-fyzikální fakulta
- Duality a duální dvojice v Heytingových algebrách2010 | Matematicko-fyzikální fakulta
- On relative universality and Q-universality of finetely generated varieties of Heyting algebras2011 | Matematicko-fyzikální fakulta
- Endomorphisms of Complete Heyting Algebras1997 | Matematicko-fyzikální fakulta
- Equimorphy in varieties of double Heyting algebras1998 | Matematicko-fyzikální fakulta
- Finitely generated relatively universal varieties of Heyting algebras1996 | Matematicko-fyzikální fakulta
- Configurations in coproducts of Priestley spaces2005 | Matematicko-fyzikální fakulta
- Konfigurace v koproduktech Priestleyovských prostorů2005 | Matematicko-fyzikální fakulta
- The Dedekind MacNeille site completion of a meet semilattice2016 | Matematicko-fyzikální fakulta