- Countable Almost Rigid Heyting Algebras2006 | Faculty of Mathematics and Physics
- Dualities and Dual Pairs in Heyting Algebras2010 | Faculty of Mathematics and Physics
- On relative universality and Q-universality of finetely generated varieties of Heyting algebras2011 | Faculty of Mathematics and Physics
- Endomorphisms of Complete Heyting Algebras1997 | Faculty of Mathematics and Physics
- Equimorphy in varieties of double Heyting algebras1998 | Faculty of Mathematics and Physics
- Finitely generated relatively universal varieties of Heyting algebras1996 | Faculty of Mathematics and Physics
- Configurations in coproducts of Priestley spaces +12005 | Faculty of Mathematics and Physics
- The Dedekind MacNeille site completion of a meet semilattice2016 | Faculty of Mathematics and Physics