Bauer, Sabine (2019): Decidability of linear tree constraints for resource analysis of object-oriented programs. Dissertation, LMU München: Faculty of Mathematics, Computer Science and Statistics
Bauer, Sabine (2009): Coevolutionary dynamics and geographic mosaics in the Social Parasite Harpagoxenus sublaevis and its two Host Species. Dissertation, LMU München: Faculty of Biology