Technische Berichte, Dissertationen, Studentische Arbeiten der Abteilung

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

• Nr. 01:  Lohrey, Markus: Model-Checking Hierarchical Structures, Technischer Bericht Nr. 2005/01.
• Nr. 02:  Lohrey, Markus; Ondrusch, Nicole: Inverse monoids: decidability and complexity of algebraic questions, Technischer Bericht Nr. 2005/02.
• Nr. 04:  Göller, Stefan; Lohrey, Markus: Fixpoint logics on hierarchical structures, Technischer Bericht Nr. 2005/04.
• Nr. 07:  Lohrey, Markus; Kuske, Dietrich: First-order and counting theories of omega-automatic structures, Technischer Bericht Nr. 2005/07.

• Wich, Klaus: Ambiguity functions of context-free grammars and languages, Dissertation, 2005.

• Müller, Martin: Der polynomielle Abschluß von Sprachklassen über Spuren, Diplomarbeit Nr. 2328, 2005.
• Nonner, Tim: Teilwortprobleme auf komprimierten Wörtern, Diplomarbeit Nr. 8, 2005.
• Staiger, Stefan: Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen, Diplomarbeit Nr. 2330, 2005.

• Hoffmann, Benjamin: Faktorisierung grosser Zahlen mit dem Quadratischen Sieb, Studienarbeit Nr. 2007, 2005.
• Oberfell, Joerg: Faktorisierung mit elliptischen Kurven, Studienarbeit Nr. 2008, 2005.