- Funkční generativní popis a formální teorie překladů (zvaná přednáška)2007 | Matematicko-fyzikální fakulta
- Teorie her jako formální teorie racionálního rozhodování2008 | Filozofická fakulta
- Teorie her jako formální teorie racionálního rozhodování2008 | Fakulta tělesné v ýchovy a sportu
- Právní formalismus2016 | Právnická fakulta
- Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms2021 | Matematicko-fyzikální fakulta
- The more-individuals hypothesis revisited: the role of community abundance in species richness regulation and the productivity-diversity relationshipPublikace bez příslušnosti k fakultě
- The more-individuals hypothesis revisited: the role of community abundance in species richness regulation and the productivity-diversity relationship2018 | Přírodovědecká fakulta