* 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)*,
