- Automorphisms of the truth-table degrees are fixed on a cone2009 | Faculty of Mathematics and Physics
- Word problems solvable by the truth table (examples of the work of students' in the 1st year of bachelor study at the Faculty of Education of Charles University in Prague)2011 | Faculty of Education
- Succinctness of Switch-List Representations of Boolean Functions2018 | Faculty of Mathematics and Physics
- Switch lists in the landscape of knowledge representations languages2022 | Faculty of Mathematics and Physics
- Switch-List Representations in a Knowledge Compilation Map2020 | Faculty of Mathematics and Physics
- Compiling SL representations of Boolean functions into OBDDs2020 | Faculty of Mathematics and Physics
- Properties of Switch-List Representations of Boolean Functions2020 | Faculty of Mathematics and Physics
- Small Circuits and Dual Weak PHP in the Universal Theory of p-time Algorithms2021 | Faculty of Mathematics and Physics
- DEMUTH'S PATH TO RANDOMNESS2015 | Faculty of Mathematics and Physics
- A Direct Equivalence-Testing Algorithm for SLRs2022 | Faculty of Mathematics and Physics
- Modern Dystopias and Theories of Totalitarianism2015 | Faculty of Mathematics and Physics, Faculty of Social Sciences
- Conspiracies Between Learning Algorithms, Circuit Lower Bounds, and Pseudorandomness2017 | Faculty of Mathematics and Physics