Number of items: **4**.

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