Technical Reports, Doctoral Theses, Student Theses of the Department

• Technical Reports
• Master Theses
• Bachelor Theses

• No. 18:  Fleischer, Lukas: Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen, Technical Report No. 2015/18.

• Fleischer, Lukas: Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen, Master Thesis No. 48, 2015.

• Göggelmann, Manuel: Effiziente Algorithmen für das Separierbarkeitsproblem der alternierungsfreien Logik über unendlichen Wörtern, Bachelor Thesis No. 30, 2015.
• Knabben, Moritz: Automatische Platzierung von Beschriftung in Gebieten, Bachelor Thesis No. 35, 2015.
• Wiebe, Maria: Vereinfachung von polygonalen Ebenenunterteilungen unter Topologieeinschränkungen, Bachelor Thesis No. 49, 2015.