- The graphs of join-semilattices and the shape of congruence lattices of particle lattices2017 | Faculty of Mathematics and Physics
- Structural Properties of the First-Order Transduction Quasiorder2022 | Faculty of Mathematics and Physics
- A nonstandard semantic framework for intuitionistic logic2016 | Faculty of Arts
- Some general aspects of exactness and strong exactness of meets2022 | Faculty of Mathematics and Physics