- Lyndon words2021 | Faculty of Mathematics and Physics
- Universal Lyndon Words2014 | Faculty of Mathematics and Physics
- Lyndon Words Formalized in Isabelle/HOL2021 | Faculty of Mathematics and Physics
- Beyond the Runs Theorem2015 | Faculty of Mathematics and Physics
- Fully bordered words2017 | Faculty of Mathematics and Physics
- Prefix frequency of lost positions2017 | Faculty of Mathematics and Physics
- The Tlatelolco massacre and the governments of the United States of America and the United Kingdom2022 | Faculty of Arts
- Relations of the United States of America and Federal Republic of Germany in the Years 1963–19662010 | Faculty of Arts
- Formalization of Basic Combinatorics on Words2021 | Faculty of Mathematics and Physics
- Johnson, Erhard and Vietnam : On the negotiations between Americans and Germans about the support of the Vietnam War in the years 1963-19662015 | Faculty of Arts
- Combinatorics on Words Basics2021 | Faculty of Mathematics and Physics
- United States, Federal Republic of Germany and failure of MLF2008 | Faculty of Arts