Lisa Hutschenreiter

Portrait

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'

Phone: +49 6221 54 14 835
Email: lisa.hutschenreiter
Office: 3rd Floor, Room B 107
Mathematikon B (Berliner Str. 43)
Postal Address: IWR, Uni Heidelberg
Im Neuenheimer Feld 205
69120 Heidelberg
Germany

Research

Publications

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: not yet available. 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.

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

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