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.
complete email address by appending '@iwr.uni-heidelberg.de'
|Phone:||+49 6221 54 14 835|
INF 205 (Mathematikon A)
|Postal Address:|| IWR, Uni Heidelberg
Im Neuenheimer Feld 205
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 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 The final publication is available at Springer via DOI: 10.1007/978-3-319-53733-7_7.
Parametric Markov Chains: PCTL Complexity and Fraction-free Gaussian Elimination GandALF 2017, Rome, Italy, September 2017
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
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
The Model Companions of Permutation Pattern Avoidance Classes Master's thesis, TU Dresden, October 2015
Ein Einblick in die Reconstruction Conjecture Bachelor's thesis, TU Dresden, September 2012