- The Dedekind MacNeille site completion of a meet semilattice2016 | Matematicko-fyzikální fakulta
- Extending semilattices to frames using sites and coverages2014 | Matematicko-fyzikální fakulta
- Lindelof tightness and the Dedekind-MacNeille completion of a regular sigma-frame2017 | Matematicko-fyzikální fakulta