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