- Set Functors and Filters2015 | Matematicko-fyzikální fakulta
- Vyjádření množinových funktorů: koalgebraická prespektiva2010 | Matematicko-fyzikální fakulta
- Accessible set functors are universal2019 | Matematicko-fyzikální fakulta
- Fixed Points of Set Functors: How Many Iterations are Needed?2016 | Matematicko-fyzikální fakulta
- Adjointness Aspects of the Down-Set Functor2001 | Matematicko-fyzikální fakulta
- On the greatest fixed point of a set functor1995 | Publikace bez příslušnosti k fakultě
- On Monotone Modalities and Adjointness2011 | Filozofická fakulta
- Universality of Categories of Coalgebras2011 | Matematicko-fyzikální fakulta
- Initial algebras and terminal coalgebras in many-sorted sets2011 | Matematicko-fyzikální fakulta
- Relatively terminal coalgebras2012 | Matematicko-fyzikální fakulta
- Proof systems for Moss' coalgebraic logic2014 | Filozofická fakulta