Where did the author who published the paper on Symbolic Reasoning with Weighted and Normalized Decision Diagrams earn a diploma in mathematics?
University of Mannheim
Christel Baier alternative name is Baier Clemens. Jerónimo Castrillón et al.: A Hardware/Software Stack for Heterogeneous Systems. (2018) authored by Christel Baier. Tobias Hilbrich et al.: Distributed wait state tracking for runtime MPI deadlock detection. (2013) authored by Christel Baier. Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC Christel Baier et al.: Towards Automated Variant Selection for Heterogeneous Tiled Architectures. (2019) authored by Christel Baier. Daniel Gburek et al.: Composition of Stochastic Transition Systems Based on Spans and Couplings. (2008) authored by Christel Baier. Muhammad Usama Sardar et al.: Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. (2009) authored Christel Baier i10Index 147. Joachim Klein and Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. (2019) authored by Christel Baier. Clemens Dubslaff et al.: Iterative Variable Reordering: Taming Huge System Families. (2019) authored by Christel Baier. Christel Baier is Person. Christel Baier is member of TU Dresden. Christel Baier et al.: Quantitative analysis of distributed randomized protocols. (2005) authored by Christel Baier. Christel Baier and Holger Hermanns: CONCUR 2006 - Concurrency Theory, 17th International Conference, Bonn, Germany, August 27-30, 2006, Proceedings (2006) edited by Christel Baier.
[INST]
Utilize the provided context information, to generate answers to the following question: 
- Generate the answer to the question based on the provided context.
- Avoid including any explanations or apologies in your responses.
- Only respond to questions that ask for the answer to the target question without any additional information.
- Strictly provide the answer without any additional text.
Question: Where did the author who published the paper on Symbolic Reasoning with Weighted and Normalized Decision Diagrams earn a diploma in mathematics?
Context: Christel Baier alternative name is Baier Clemens. Jerónimo Castrillón et al.: A Hardware/Software Stack for Heterogeneous Systems. (2018) authored by Christel Baier. Tobias Hilbrich et al.: Distributed wait state tracking for runtime MPI deadlock detection. (2013) authored by Christel Baier. Proceedings of the International Workshop on Synthesis and Analysis of Component Connectors: in conjunction with the 6th ESEC Christel Baier et al.: Towards Automated Variant Selection for Heterogeneous Tiled Architectures. (2019) authored by Christel Baier. Daniel Gburek et al.: Composition of Stochastic Transition Systems Based on Spans and Couplings. (2008) authored by Christel Baier. Muhammad Usama Sardar et al.: Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems. (2009) authored Christel Baier i10Index 147. Joachim Klein and Christel Baier: On-the-Fly Stuttering in the Construction of Deterministic omega -Automata. (2019) authored by Christel Baier. Clemens Dubslaff et al.: Iterative Variable Reordering: Taming Huge System Families. (2019) authored by Christel Baier. Christel Baier is Person. Christel Baier is member of TU Dresden. Christel Baier et al.: Quantitative analysis of distributed randomized protocols. (2005) authored by Christel Baier. Christel Baier and Holger Hermanns: CONCUR 2006 - Concurrency Theory, 17th International Conference, Bonn, Germany, August 27-30, 2006, Proceedings (2006) edited by Christel Baier.
[/INST] Answer:
