T. Sisel: "Numeric Methods for Configuration Management"; Supervisor, Reviewer: G. Salzer, M. Schmidt-Schauss; Institut für Computersprachen, 2013; oral examination: 2013-11-19.