An Automata View to Goal-Directed Methods. - Lisa Hutschenreiter; Rafael Peñaloza (LATA, 2017)

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination. - Lisa Hutschenreiter; Christel Baier; Joachim Klein 001 (GandALF, 2017)

A Primal-Dual Solver for Large-Scale Tracking-by-Assignment. - Stefan Haller; Mangal Prakash; Lisa Hutschenreiter; Tobias Pietzsch; Carsten Rother; Florian Jug; Paul Swoboda; Bogdan Savchynskyy (AISTATS, 2020)

Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination. - Christel Baier; Christian Hensel; Lisa Hutschenreiter; Sebastian Junges; Joost-Pieter Katoen; Joachim Klein 001 (Inf. Comput., 2020)

Fusion Moves for Graph Matching. - Lisa Hutschenreiter; Stefan Haller; Lorenz Feineis; Carsten Rother; Dagmar Kainmüller; Bogdan Savchynskyy (ICCV, 2021)

A Comparative Study of Graph Matching Algorithms in Computer Vision. - Stefan Haller; Lorenz Feineis; Lisa Hutschenreiter; Florian Bernard; Carsten Rother; Dagmar Kainmüller; Paul Swoboda; Bogdan Savchynskyy (ECCV (23), 2022)

Unlocking the Potential of Operations Research for Multi-Graph Matching. - Max Kahl; Sebastian Stricker; Lisa Hutschenreiter; Florian Bernard; Bogdan Savchynskyy (CoRR, 2024)

Towards Optimizing Large-Scale Multi-Graph Matching in Bioimaging. - Max Kahl; Sebastian Stricker; Lisa Hutschenreiter; Florian Bernard; Carsten Rother; Bogdan Savchynskyy (CVPR, 2025)

Fully Unsupervised Annotation of C. Elegans. - Christoph Karg; Sebastian Stricker; Lisa Hutschenreiter; Bogdan Savchynskyy; Dagmar Kainmueller (CoRR, 2025)