- Lyndon Words Formalized in Isabelle/HOL2021 | Matematicko-fyzikální fakulta
- Binary intersection formalized2021 | Matematicko-fyzikální fakulta
- Binary Generalized PCP for Two Periodic Morphisms is Decidable in Polynomial Time2023 | Matematicko-fyzikální fakulta
- Binary Codes that Do Not Preserve Primitivity2022 | Matematicko-fyzikální fakulta
- Binary Codes that do not Preserve Primitivity2023 | Matematicko-fyzikální fakulta
- Formalization of Basic Combinatorics on Words2021 | Matematicko-fyzikální fakulta
- Binary codes that do not preserve primitivity2023 | Matematicko-fyzikální fakulta