- Unary Integer Linear Programming with Structural Restrictions2018 | Matematicko-fyzikální fakulta
- Algebraic structure - restricted arithmetics1998 | Pedagogická fakulta
- Digital roots, casting out nines, reducing functions and their generalization2002 | Pedagogická fakulta
- Emergence of mathematical knowledge structures. Introspection2003 | Pedagogická fakulta
- Solving Integer Linear Programs with a Small Number of Global Variables and Constraints2017 | Matematicko-fyzikální fakulta
- Parameterized Algorithms for MILPs with Small Treedepth2021 | Matematicko-fyzikální fakulta