- Some general aspects of exactness and strong exactness of meets2022 | Faculty of Mathematics and Physics
- JOINS OF CLOSED SUBLOCALES2019 | Faculty of Mathematics and Physics
- Extending semilattices to frames using sites and coverages2014 | Faculty of Mathematics and Physics
- Exact and strongly exact filters2020 | Faculty of Mathematics and Physics
- Axiom $T_D$ and the Simmons sublocale theorem2019 | Faculty of Mathematics and Physics
- The Other Closure and Complete Sublocales2018 | Faculty of Mathematics and Physics