Technical Reports, Doctoral Theses, Student Theses of the Institute

• Technical Reports
• Diploma Theses (archive)
• 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.

• Abdelaziz, Amir: Separierbarkeit über endlichen Wörtern bei einer Quantorenalternierung, Diploma Thesis No. 2, 2015.
• Hildinger, Markus: Abdeckung von Verschnittresten unter Konnektivitätsbedingungen, Diploma Thesis No. 3706, 2015.

• Fleischer, Lukas: Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen, Master Thesis No. 48, 2015.
• Schnelle, Niklas: Unified Routing and Map Rendering, Master Thesis No. 28, 2015.
• Scholz, Martin: Exploring maps using Leap Motion, Master Thesis No. 43, 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.
• Miller, Alexander: Optimale Vereinfachung von polygonalen Ebenenunterteilungen unter Topologieeinschränkungen, Bachelor Thesis No. 197, 2015.
• Wiebe, Maria: Vereinfachung von polygonalen Ebenenunterteilungen unter Topologieeinschränkungen, Bachelor Thesis No. 49, 2015.