- Frames and Locales (Topology without points)2011 | Faculty of Mathematics and Physics
- Notes on point-free real functions and sublocales2014 | Faculty of Mathematics and Physics
- Entourages, Covers and Localic Groups2013 | Faculty of Mathematics and Physics
- Some general aspects of exactness and strong exactness of meets2022 | Faculty of Mathematics and Physics
- Notes on Point-Free Topology2021 | Faculty of Mathematics and Physics
- The stability criterion for downward continuation of surface gravity data with various spatial resolutions over Ireland2021 | Faculty of Mathematics and Physics