- Reprezentace subdirektních produktů monoidů grafy2009 | Matematicko-fyzikální fakulta
- Infinitary propositional logics and subdirect representation2017 | Filozofická fakulta
- Subdirect Representation in Abstract Algebraic Logic2017 | Filozofická fakulta
- Extension Properties and Subdirect Representation in Abstract Algebraic Logic2018 | Filozofická fakulta
- Polokruh 1-prezervujících endomorfizmů polosvazu2009 | Matematicko-fyzikální fakulta