Albrecht, Benjamin (2016): Computing hybridization networks using agreement forests. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Chiarabini, Luca (2009): Program Development by Proof Transformation. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Ginzinger, Simon Wolfgang (2008): Bioinformatics Methods for NMR Chemical Shift Data. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik
Fischer, Johannes (2007): Data Structures for Efficient String Algorithms. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik