diff --git a/courses/theses.md b/courses/theses.md index c2dbe446bea9ec3386fba049593a969e8c2c6ef7..5e6187163a5d754dc26c26629cbecb956cf1d886 100644 --- a/courses/theses.md +++ b/courses/theses.md @@ -21,6 +21,7 @@ menu_order: 101 * Susanna Kuschert: *Dynamic Meaning and Accomodation*, Universtät des Saarlandes, II 1999, ### M.Sc Theses +* Jonas Betzendahl: *[Translating the IMPS theory library to MMT / OMDoc](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2018/jbetzendahl/thesis_imps2omdoc.pdf)*, Universität Bielefeld, 2018 * Theresa Pollinger: *[Knowledge Representation for Modeling and Simulation – Bridging the Gap Between Informal PDE Theory and Simulations Practice](https://gl.kwarc.info/supervision/MSc-archive/blob/master/2017/tpollinger/thesis.pdf)*, FAU Erlangen-Nürnberg, 2017