- Approximate maps, filter monad, and a representation of localic maps2010 | Faculty of Mathematics and Physics
- Localic maps constructed from open and closed parts2017 | Faculty of Mathematics and Physics
- Adjoint maps between implicative semilattices and continuity of localic maps2022 | Faculty of Mathematics and Physics
- Special map with delimitation of areas of proposed management for model localities (map on locality level) - lichens, bryophytesPublication without faculty affiliation
- Camera-Based Localization and Stabilization of a Flying Drone2015 | Faculty of Mathematics and Physics
- Usage of real-world robotics in Semantic Web2008 | Faculty of Mathematics and Physics
- On Equalizers in the Category of Locales2021 | Faculty of Mathematics and Physics
- Notes on Point-Free Topology2021 | Faculty of Mathematics and Physics