Technical Reports, Doctoral Theses, Student Theses of the Institute

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

• No. 01:  Lohrey, Markus: Model-Checking Hierarchical Structures, Technical Report No. 2005/01.
• No. 02:  Lohrey, Markus; Ondrusch, Nicole: Inverse monoids: decidability and complexity of algebraic questions, Technical Report No. 2005/02.
• No. 04:  Göller, Stefan; Lohrey, Markus: Fixpoint logics on hierarchical structures, Technical Report No. 2005/04.
• No. 06:  Bouajjani, Ahmed; Esparza, Javier; Schwoon, Stefan; Strejcek, Jan: Reachability analysis of multithreaded software with asynchronous communication, Technical Report No. 2005/06.
• No. 07:  Lohrey, Markus; Kuske, Dietrich: First-order and counting theories of omega-automatic structures, Technical Report No. 2005/07.

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

• Heidenreich, Sebastian: Widerstandsermittlung für die Verkehrsprognoserechnung im ÖPNV, Diploma Thesis No. 2368, 2005.
• Kiefer, Stefan: Abstraction Refinement for Pushdown Systems, Diploma Thesis No. 2284, 2005.
• Müller, Martin: Der polynomielle Abschluß von Sprachklassen über Spuren, Diploma Thesis No. 2328, 2005.
• Nonner, Tim: Teilwortprobleme auf komprimierten Wörtern, Diploma Thesis No. 8, 2005.
• Staiger, Stefan: Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen, Diploma Thesis No. 2330, 2005.
• Wu, Yun: Entwicklung eines Algorithmus zur Auswahl relevanter Objekte zur Kollisionswarnung für die Spurprädiktion, Diploma Thesis No. 17, 2005.
• Xu, Xiaocong: Analyse der Crossover-Operatoren mit mehreren Eltern in genetischen Algorithmen, Diploma Thesis No. 18, 2005.

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