Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

• Technische Berichte
• Diplomarbeiten (Archiv)
• Masterarbeiten
• Bachelorarbeiten

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

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

• Fleischer, Lukas: Minimierung und effiziente Algorithmen für erkennende Homomorphismen über omega-regulären Sprachen, Masterarbeit Nr. 48, 2015.
• Schnelle, Niklas: Unified Routing and Map Rendering, Masterarbeit Nr. 28, 2015.
• Scholz, Martin: Exploring maps using Leap Motion, Masterarbeit Nr. 43, 2015.

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