Technical Reports, Doctoral Theses, Student Theses of the Institute

• Technical Reports
• Diploma Theses (archive)
• Student Theses (archive)

• No. 02:  Kufleitner, Manfred; Lauser, Alexander: Cantor Topologies for Finite Words, Technical Report No. 2011/02.
• No. 03:  Kufleitner, Manfred; Lauser, Alexander: Around Dot-depth One, Technical Report No. 2011/03.

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

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