Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

• Technische Berichte
• Diplomarbeiten (Archiv)
• Studienarbeiten (Archiv)

• Nr. 02:  Kufleitner, Manfred; Lauser, Alexander: Cantor Topologies for Finite Words, Technischer Bericht Nr. 2011/02.
• Nr. 03:  Kufleitner, Manfred; Lauser, Alexander: Around Dot-depth One, Technischer Bericht Nr. 2011/03.

• Decker, Normann: Temporal Logic for Properties with Relative Frequency, Diplomarbeit Nr. 3125, 2011.
• Kausch, Jonathan: Normalformenberechnung in Graph-Gruppen und Coxeter-Gruppen, Diplomarbeit Nr. 3238, 2011.
• Müller, Mike: Über Wortgleichungen, Diplomarbeit Nr. 31, 2011.
• Pflüger, Hermann: Untersuchung von Eindeutigen Büchi Automaten, Diplomarbeit Nr. 3182, 2011.
• Riegger, Philipp M.: Eine Variante der Burrows-Wheeler Transformation mit Permutationen, Diplomarbeit Nr. 3117, 2011.
• Sommer, Ralf: Automatisierte Formalisierung von Anforderungen an eingebettete Systeme im Automobilbau, Diplomarbeit Nr. 43, 2011.
• Walter, Tobias: Über die Billaudsche Vermutung, Diplomarbeit Nr. 3141, 2011.
• Weiß, Armin: Eine kombinatorische Charakterisierung kontextfreier Gruppen, Diplomarbeit Nr. 32, 2011.

• Bahrdt, Daniel: Effiziente Textsuche in OpenStreetMap-Daten auf mobilen Geräten, Studienarbeit Nr. 2335, 2011.
• Kausch, Jonathan: Einfache Logikfragmente mit Nachfolgerrelation über unendlichen Wörtern, Studienarbeit Nr. 2297, 2011.
• Seybold, Martin P.: Logik erster Stufe ohne Quantorenalternierung über endlichen Wörtern, Studienarbeit Nr. 2298, 2011.
• Walter, Tobias: Deterministische Intervall-Logik mit Faktor-Modalitäten, Studienarbeit Nr. 2295, 2011.