- On Strong Inclusions and Asymmetric Proximities in Frames2012 | Matematicko-fyzikální fakulta
- Another proof of Banaschewski's surjection theorem2019 | Matematicko-fyzikální fakulta
- Cover quasi-uniformities in frames2011 | Matematicko-fyzikální fakulta
- Entourages, Density, Cauchy Maps, and Completion2018 | Matematicko-fyzikální fakulta