- Notes on Point-Free Topology2021 | Matematicko-fyzikální fakulta
- Separation in Point-Free Topology2021 | Matematicko-fyzikální fakulta
- Frames2003 | Matematicko-fyzikální fakulta
- Some properties of conjunctivity (subfitness) in generalized settings2023 | Matematicko-fyzikální fakulta
- Categorical Geometry and Integration Without Points2014 | Matematicko-fyzikální fakulta
- More on Subfitness and Fitness2015 | Matematicko-fyzikální fakulta