Technische Berichte, Dissertationen, Studentische Arbeiten des Instituts

• 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. 06:  Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan: Reachability analysis of multithreaded software with asynchronous communication, Technischer Bericht Nr. 2005/06.
• 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.

• Heidenreich, Sebastian: Widerstandsermittlung für die Verkehrsprognoserechnung im ÖPNV, Diplomarbeit Nr. 2368, 2005.
• Kiefer, Stefan: Abstraction Refinement for Pushdown Systems, Diplomarbeit Nr. 2284, 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.
• Wu, Yun: Entwicklung eines Algorithmus zur Auswahl relevanter Objekte zur Kollisionswarnung für die Spurprädiktion, Diplomarbeit Nr. 17, 2005.
• Xu, Xiaocong: Analyse der Crossover-Operatoren mit mehreren Eltern in genetischen Algorithmen, Diplomarbeit Nr. 18, 2005.

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