Bauer, Sebastian (2014): Entwicklung einer Kontimuumselektrostatik Methode für Molekulardynamik Simulationen. Dissertation, LMU München: Fakultät für Physik
Bauer, Sebastian (2012): Modal specification theories for component-based design. Dissertation, LMU München: Fakultät für Mathematik, Informatik und Statistik