Albrecht, Benjamin (2016): Computing hybridization networks using agreement forests. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics
Chiarabini, Luca (2009): Program Development by Proof Transformation. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics
Ginzinger, Simon Wolfgang (2008): Bioinformatics Methods for NMR Chemical Shift Data. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics
Fischer, Johannes (2007): Data Structures for Efficient String Algorithms. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics