* Vyacheslav Zholudev: *[Enhancing XML Preservation and Workflows](https://opus.jacobs-university.de/frontdoor/index/index/docId/23)*, Jacobs University, VI 2012.
* Christoph Lange: *[Enabling Collaboration on Semiformal Mathematical Knowledge by
Semantic Web Integration](https://opus.jacobs-university.de/frontdoor/index/index/docId/434)*, Jacobs University, III 2011.
* Christine M\"uller: *[Adaptation of Mathematical Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/252)*, Jacobs University, V 2010.
* Normen M\"uller: *[Change Management on Semi-Structured Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/227)*, Jacobs University, VIII 2010.
* Christine Müller: *[Adaptation of Mathematical Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/252)*, Jacobs University, V 2010.
* Normen Müller: *[Change Management on Semi-Structured Documents](https://opus.jacobs-university.de/frontdoor/index/index/docId/227)*, Jacobs University, VIII 2010.
* Immanuel Normann: *[Automated Theory Interpretation](https://opus.jacobs-university.de/frontdoor/index/index/docId/336)*, Jacobs University, XII 2008.
* Florian Rabe: *[Representing Logics and Logic Translations](https://opus.jacobs-university.de/frontdoor/index/index/docId/344)*, Jacobs University, VI 2008.
* Karsten Konrad: *Model Generation for Natural Lanugage Interpretation and Analysis*, Universtät des Saarlandes, IV 2000.
* Christoph Benzm\"uller: *Equality and Extensionality in Higher-Order Theorem Proving*, Universtät des Saarlandes, V 1999.
* Christoph Benzmüller: *Equality and Extensionality in Higher-Order Theorem Proving*, Universtät des Saarlandes, V 1999.
* Susanna Kuschert: *Dynamic Meaning and Accomodation*, Universtät des Saarlandes, II 1999,
### M.Sc Theses
...
...
@@ -66,7 +66,7 @@ Jacobs University, 2013.
Generation*, CMU, 2004.
* Sarah Eisenhardt: *Model Generation for Negations in Natural
Language*, CMU, 2004.
* Andreas Franke: *\textsc{MBase}, A Mathematical Knowledge Base*, Universtät des Saarlandes, 2003.
* Andreas Franke: *MBase, A Mathematical Knowledge Base*, Universtät des Saarlandes, 2003.
* Stephan Walther: *Model Generation and Dynamic Semantics*, Universtät des Saarlandes, 2001.
* Aljoscha Burkard: *Resource-adaptive Model
Generation for Natural Language Understanding*, Universtät des Saarlandes, 2001.
