Abgeschlossene Promotionen

  Urheberrecht: Stefan Hense

Erfolgreich abgeschlossenen Promotionen im Rahmen des GRK UnRAVeL. 

 

Jahr	Name	Titel
2021	Dr. Martin Comis	Robust Primary Care Systems
2021	Dr. Anton Pirogov	Automata-Theoretic Techniques in Probabilistic Verification
2020	Dr. Laura Vargas Koch	Competitive variants of discrete and continuous flows over time
2020	Dr. Björn Tauer	The impact of coordination within transportation networks
2020	Dr. Norman Weik	Long-term capacity planning of railway infrastructure : a stochastic approach capturing infrastructure unavailability
2019	Dr. Stefan Schupp	State set representations and their usage in the reachability analysis of hybrid
2019	Dr. Benjamin Kaminski	Advanced weakest precondition calculi for probabilistic programs
2018	Dr. Stefan Wüller	Privacy-preserving electronic bartering