- Dynamical analysis of a first order theory of bulk viscosity2018 | Matematicko-fyzikální fakulta
- Frames and Locales (Topology without points)2011 | Matematicko-fyzikální fakulta
- Chains, antichains, and complements in infinite partition lattices2018 | Matematicko-fyzikální fakulta
- Dostupné výpočty z krátkých důkazů2010 | Matematicko-fyzikální fakulta
- Více o konfiguracích v Priestleyovských prostorech, a několik nových problémů2007 | Matematicko-fyzikální fakulta
- Teorie fuzzy tříd jakožto základy fuzzy matematiky2005 | Filozofická fakulta
- Invariant measures via inverse limits of finite structures2016 | Matematicko-fyzikální fakulta
- Circuit lower bounds in bounded arithmetics2015 | Matematicko-fyzikální fakulta
- Incremental Verification by SMT-based Summary Repair2020 | Matematicko-fyzikální fakulta
- On the computational complexity of finding hard tautologies2014 | Matematicko-fyzikální fakulta
