- Set Functors and Filters2015 | Faculty of Mathematics and Physics
- Presentation of Set Functors: A Coalgebraic Perspective2010 | Faculty of Mathematics and Physics
- Accessible set functors are universal2019 | Faculty of Mathematics and Physics
- Fixed Points of Set Functors: How Many Iterations are Needed?2016 | Faculty of Mathematics and Physics
- Adjointness Aspects of the Down-Set Functor2001 | Faculty of Mathematics and Physics
- On the greatest fixed point of a set functor1995 | Publication without faculty affiliation
- On Monotone Modalities and Adjointness2011 | Faculty of Arts
- Universality of Categories of Coalgebras2011 | Faculty of Mathematics and Physics
- Initial algebras and terminal coalgebras in many-sorted sets2011 | Faculty of Mathematics and Physics
- Relatively terminal coalgebras2012 | Faculty of Mathematics and Physics
- Proof systems for Moss' coalgebraic logic2014 | Faculty of Arts