 |
|
- Austinat, Holger: Verteilte Algorithmen zur Koordinatorwahl in Netzwerken, Diploma Thesis No. 1727, 1999.
- Bächtle, Patrick: Varianten des NTRU-Kryptosystems, Diploma Thesis No. 3286, 2012.
- Baumann, Thomas: Quantorenalternierung und reguläre Sprachen, Diploma Thesis No. 2775, 2008.
- Binder, Wa: Entwicklung optimaler Algorithmen zur Berechnung von Kontext-Mischungen, Diploma Thesis No. 22, 2009.
- Boffo, Sandra: Entscheidbarkeits- und Abschlusseigenschaften von Automatenhalbgruppen, Diploma Thesis No. 21, 2017.
- Decker, Normann: Temporal Logic for Properties with Relative Frequency, Diploma Thesis No. 3125, 2011.
- Gaiser, Andreas: Erreichbarkeitsanalyse funktionaler Programme mit Grundtermersetzungssystemen, Diploma Thesis No. 2718, 2008.
- Gao, Sheng: Der Angriff auf Merkle-Hellman Kryptosystem, Diploma Thesis No. 3520, 2014.
- Giricz, Thomas: Semantische Methoden zur Kompression von Text, Diploma Thesis No. 1, 2009.
- Giricz, Thomas: Semantische Methoden zur Kompression von Text, Diploma Thesis No. 2, 2009.
- Gross, Jürgen: Eine Implementierung von Lubys Algorithmus für die Cray T3E, Diploma Thesis No. 1790, 1999.
- Hoffmann, Benjamin: Kryptographische Protokolle für Online-Auktionen, Diploma Thesis No. 21, 2006.
- Holz, Mike: Effiziente Heuristiken zur Berechnung kürzester Wege in Graphen mit negativen Kantengewichten, Diploma Thesis No. 12, 2009.
- Horsch, Martin Thomas: Spiele und temporallogische Fragmente über Spuren, Diploma Thesis No. 2391, 2006.
- Jahn, Franz G.: Minimierung von Automaten mit einer beschränkten Anzahl von Fehlern, Diploma Thesis No. 3337, 2012.
- Kausch, Jonathan: Normalformenberechnung in Graph-Gruppen und Coxeter-Gruppen, Diploma Thesis No. 3238, 2011.
- Klein, Kim-Manuel: Das Verhalten von Traversierenden Baumautomaten mit Marken, Diploma Thesis No. 3017, 2010.
- Kufleitner, Manfred: Wortgleichungen in hyperbolischen Gruppen, Diploma Thesis No. 1922, 2001.
- Lange, Sven: In-Situ-Sortierverfahren, Diploma Thesis No. 1552, 1997.
- Lauser, Alexander: Fragmente einer Intervall-Logik, Diploma Thesis No. 2823, 2009.
- Lewandowski, Stefan: Anwendungen für Separatortheoreme auf planaren Graphen, Diploma Thesis No. 1508, 1997.
- Löser, Moritz: Äquivalenzklassen-basiertes Testen, Diploma Thesis No. 26, 2008.
- Lüdenbach, Matthias: Implementierung und Vergleich FFT-basierter Multiplikationsalgorithmen, Diploma Thesis No. 2, 2006.
- Müller, Martin: Der polynomielle Abschluß von Sprachklassen über Spuren, Diploma Thesis No. 2328, 2005.
- Nardelli, Nicolas Xavier: Entwicklung eines Testkonzepts für parametrisierbare Simulationsmodelle mechanischer, hydraulischer und regelungstechnischer Systeme., Diploma Thesis No. 1856, 2000.
- Nonner, Tim: Teilwortprobleme auf komprimierten Wörtern, Diploma Thesis No. 8, 2005.
- 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.
- Seybold, Martin P.: Die Holonomie-Zerlegung von Automaten, Diploma Thesis No. 3332, 2012.
- Staiger, Stefan: Ring-Isomorphie-Probleme und das Faktorisieren großer Zahlen, Diploma Thesis No. 2330, 2005.
- Thoma, Daniel: Predicate-Abstraction und Abstraction-Refinement für drei-wertiges Modelchecking, Diploma Thesis No. 2799, 2008.
- Wächter, Jan: Das Wortproblem für Omega-Terme über Zweivariablenlogik, Diploma Thesis No. 3610, 2014.
- Walter, Tobias: Über die Billaudsche Vermutung, Diploma Thesis No. 3141, 2011.
- Weiß, Armin: Eine kombinatorische Charakterisierung kontextfreier Gruppen, Diploma Thesis No. 32, 2011.
|
|
Webmaster
)
| © University of Stuttgart |
Legal notice