Equivalence Problems for Circuits over Sets of Natural Numbers. - Christian Glaßer; Katrin Herr; Christian Reitwießner; Stephen D. Travers; Matthias Waldherr (Theory Comput. Syst., 2010)

Algorithms for highly symmetric linear and integer programs. - Richard Bödi; Katrin Herr; Michael Joswig (Math. Program., 2013)

Exploiting symmetry in integer convex optimization using core points. - Katrin Herr; Thomas Rehn; Achill Schürmann (Oper. Res. Lett., 2013)

On Lattice-Free Orbit Polytopes. - Katrin Herr; Thomas Rehn; Achill Schürmann (Discret. Comput. Geom., 2015)

Computing convex hulls and counting integer points with polymake. - Benjamin Assarf; Ewgenij Gawrilow; Katrin Herr; Michael Joswig; Benjamin Lorenz; Andreas Paffenholz; Thomas Rehn (Math. Program. Comput., 2017)