- Switch-List Representations in a Knowledge Compilation Map2020 | Matematicko-fyzikální fakulta
- Succinctness of Switch-List Representations of Boolean Functions2018 | Matematicko-fyzikální fakulta
- Backdoor Decomposable Monotone Circuits and Propagation Complete Encodings2021 | Matematicko-fyzikální fakulta
- A Direct Equivalence-Testing Algorithm for SLRs2022 | Matematicko-fyzikální fakulta
- The GEOBIBLINE Database and a Comparison with Geographical Databases Abroad2012 | Publikace bez příslušnosti k fakultě
- Properties of Switch-List Representations of Boolean Functions2020 | Matematicko-fyzikální fakulta