- Notes on Point-Free Topology2021 | Faculty of Mathematics and Physics
- Separation in Point-Free Topology2021 | Faculty of Mathematics and Physics
- Frames2003 | Faculty of Mathematics and Physics
- Some properties of conjunctivity (subfitness) in generalized settings2023 | Faculty of Mathematics and Physics
- Categorical Geometry and Integration Without Points2014 | Faculty of Mathematics and Physics
- More on Subfitness and Fitness2015 | Faculty of Mathematics and Physics