- Relatively terminal coalgebras2012 | Matematicko-fyzikální fakulta
- O univerzálních kategoriích koalgeber2010 | Matematicko-fyzikální fakulta
- Universality of Categories of Coalgebras2011 | Matematicko-fyzikální fakulta
- HS=SH problém pro koalgebry2010 | Matematicko-fyzikální fakulta
- Důkazové systémy pro koalgebraickou modalitu2008 | Filozofická fakulta
- Proof systems for Moss' coalgebraic logic2014 | Filozofická fakulta
- MOSS' LOGIC FOR ORDERED COALGEBRAS2022 | Filozofická fakulta
- Initial algebras and terminal coalgebras in many-sorted sets2011 | Matematicko-fyzikální fakulta
- Vyjádření množinových funktorů: koalgebraická prespektiva2010 | Matematicko-fyzikální fakulta
- Fixed Points of Set Functors: How Many Iterations are Needed?2016 | Matematicko-fyzikální fakulta
- On Monotone Modalities and Adjointness2011 | Filozofická fakulta
- On the origin of higher braces and higher-order derivations2015 | Matematicko-fyzikální fakulta