- On Strong Inclusions and Asymmetric Proximities in Frames2012 | Faculty of Mathematics and Physics
- Another proof of Banaschewski's surjection theorem2019 | Faculty of Mathematics and Physics
- Cover quasi-uniformities in frames2011 | Faculty of Mathematics and Physics
- Entourages, Density, Cauchy Maps, and Completion2018 | Faculty of Mathematics and Physics