Lisa Hutschenreiter

In October 2015 I received a master's degree in Mathematics from Technische Universität Dresden. During the masters programme I spent a year as an Erasmus exchange student at Heriot-Watt University in Edinburgh, Scotland.

From November 2015 until September 2017 I was a PhD student in the DFG research training group Quantitative Logics and Automata (QuantLA) under the supervision of Prof. Dr. Christel Baier.

Currently, I am a PhD student in the Computer Vision and Learning Lab (formerly known as the Visual Learning Lab Heidelberg) at the Ruprecht-Karls-Universität Heidelberg.

Contact Details

complete email address by appending '@iwr.uni-heidelberg.de'

Research

Publications

Stefan Haller, Lorenz Feineis, Lisa Hutschenreiter, Florian Bernard, Carsten Rother, Dagmar Kainmüller, Paul Swoboda, Bogdan Savchynskyy A Comparative Study of Graph Matching Algorithms in Computer Vision In: Proceedings of the European Conference on Computer Vision (ECCV 2022), Lecture Notes in Computer Science, Springer, 2022 The final publication is available at Springer via DOI: 10.1007/978-3-031-20050-2_37. ArXiv preprint available at arXiv:2207.00291.

Lisa Hutschenreiter, Stefan Haller, Lorenz Feineis, Carsten Rother, Dagmar Kainmüller, Bogdan Savchynskyy Fusion Moves for Graph Matching In: Proceedings of the IEEE/CVF International Conference on Computer Vision, 2021 (ICCV 2021) ★ accepted to ICCV 2021 as oral ★ pdf (with supplement) slides poster github page The final published version of this paper is available at IEEE XPlore via DOI: 10.1109/ICCV48922.2021.00621. ArXiv preprint available at arXiv:2101.12085.

Stefan Haller, Mangal Prakash, Lisa Hutschenreiter, Tobias Pietzsch, Carsten Rother, Florian Jug, Paul Swoboda, Bogdan Savchynskyy A Primal-Dual Solver for Large-Scale Tracking-by-Assignment In: Proceedings of the 23rd International Conference on Artificial Intelligence and Statistics (AISTATS 2020), Proceedings of Machine Learning Research, 2020 pdf (with supplement) github page The final published version of this paper is available via PMLR. ArXiv preprint available at arXiv:2004.06375.

Christel Baier, Christian Hensel, Lisa Hutschenreiter, Sebastian Junges, Joost-Pieter Katoen, Joachim Klein Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination In: Information and Computation, Elsevier, 2020 pdf (preprint version) additional material The final publication is available at Elsevier via DOI: 10.1016/j.ic.2019.104504.

Lisa Hutschenreiter, Christel Baier, Joachim Klein Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination In: Proceedings of the 8th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2017), Electronic Proceedings in Theoretical Computer Science, 2017 pdf (extended version) additional material ArXived at DOI: 10.4204/EPTCS.256.2.

Lisa Hutschenreiter, Rafael Peñaloza An Automata View to Goal-directed Methods In: Proceedings of the 11th International Conference on Language and Automata Theory and Applications (LATA 2017), Lecture Notes in Computer Science, Springer, 2017 pdf (preprint version) The final publication is available at Springer via DOI: 10.1007/978-3-319-53733-7_7.

Talks

Fusion Moves for Graph Matching Combinatorial Image Analysis Workshop, Dresden, October 2021

Fusion Moves for Graph Matching ICCV 2021, virtual, October 2021

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination GandALF 2017, Rome, Italy, September 2017 pdf (short)

Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination QuantLA Workshop, Oberbärenburg, September 2017

An Automata View to Goal-directed Methods LATA 2017, Umeå, Sweden, March 2017 pdf (short)

PCTL Model Checking on Parameterized DTMCs QuantLA Workshop, Krippen, September 2016

Permutation Pattern Avoidance Classes and their Model Companions QuantLA Research Seminar, Leipzig, January 2016

The Model Companions of Permutation Pattern Avoidance Classes Master's thesis colloquium. International Seminar (Institute of Algebra), Dresden, October 2015

Theses

The Model Companions of Permutation Pattern Avoidance Classes Master's thesis, TU Dresden, October 2015 pdf (revision 11/2015)

Ein Einblick in die Reconstruction Conjecture Bachelor's thesis, TU Dresden, September 2012