Zur Startseite der Abteilung Theoretische Informatik

Supervised Student Work

[1] Benjamin Hoffmann. Faktorisierung großer Zahlen mit dem Quadratischen Sieb. Studienarbeit Nr. 2007, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2005. [ http ]
[2] Jörg Oberfell. Faktorisierung mit elliptischen Kurven. Studienarbeit Nr. 2008, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2005. [ http ]
[3] Matthias Lüdenbach. Primzahltest auf elliptischen Kurven. Studienarbeit Nr. 2009, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2005.
[4] Martin Müller. Der polynomielle Abschluß von Sprachklassen über Spuren. Diplomarbeit Nr. 2328, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2005. [ http ]
[5] Stefan Staiger. Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen. Diplomarbeit Nr. 2330, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2005. [ http ]
[6] Martin Horsch. Spiele und temporallogische Fragmente über Spuren. Diplomarbeit Nr. 2391, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2006. [ http ]
[7] Matthias Lüdenbach. Implementierung und Vergleich FFT-basierter Multiplikationsalgorithmen. Diplomarbeit Nr. 2416, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2006.
[8] Edgar Binder. Datenkompression mit Kontext-Mischung. Diplomarbeit Nr. 2670, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2008.
[9] Thomas Baumann. Quantorenalternierung und reguläre Sprachen. Diplomarbeit Nr. 2775, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2008. [ http ]
[10] Alexander Lauser. Fragmente einer Interall-Logik. Diplomarbeit Nr. 2823, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2009. [ http ]
[11] Alexander Fries. Bausteine für die Datenkompression durch Kontextmischung. Studienarbeit Nr. 2192, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2009.
[12] Thomas Giricz. Semantische Methoden zur Kompression von Text. Diplomarbeit Nr. 2824, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2009.
[13] Wa Binder. Entwicklung optimaler Algorithmen zur Berechnung von Kontext-Mischungen. Diplomarbeit Nr. 2922, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2009.
[14] Kim-Manuel Klein. Kombinatorische Beweise für Probabilistische Primzahltests. Studienarbeit Nr. 2225, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2009.
[15] Mike Müller. Methoden zur Kombination von Verfahren für die Datenkompression. Studienarbeit Nr. 2231, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2010.
[16] Bastian Bischoff. Algebraische hilfsmittel für die aneinanderreihung von nebenläufigen systemen. Studienarbeit Nr. 2257, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2010.
[17] Kim-Manuel Klein. Das verhalten von traversierenden baumautomaten mit marken. Diplomarbeit Nr. 3017, Fakultät für Informatik, Elektrotechnik und Informationstechnik, Universität Stuttgart, Stuttgart, Germany, 2010.