 |
|
- Abdelaziz, Amir: Separierbarkeit über endlichen Wörtern bei einer Quantorenalternierung, Diploma Thesis No. 2, 2015.
- Bächtle, Patrick: Varianten des NTRU-Kryptosystems, Diploma Thesis No. 3286, 2012.
- Bauknecht, Uwe: Zweidimensionale Packungsprobleme mit industriellen Anwendungen, Diploma Thesis No. 25, 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.
- Bischoff, Bastian: Wortbegrenzung unter Involution, Diploma Thesis No. 3095, 2010.
- Boffo, Sandra: Entscheidbarkeits- und Abschlusseigenschaften von Automatenhalbgruppen, Diploma Thesis No. 21, 2017.
- Bühler, Stefan: Onboard-Routenplanung auf dem Smartphone, Diploma Thesis No. 16, 2013.
- Bufe, Marc: Nachbarschaftsbegriffe und ihre Operatoren bei der evolutionären Lösung von Unterordnungsproblemen, Diploma Thesis No. 15, 2007.
- Debatin, Michael: SAT solving modulo nichtlinearer Theorien, Diploma Thesis No. 2, 2010.
- Decker, Normann: Temporal Logic for Properties with Relative Frequency, Diploma Thesis No. 3125, 2011.
- Erkilic, Arif: Experimenteller Vergleich verschiedener Dijkstra-Varianten im Rahmen der k-kürzeste-Wege-Suche, Diploma Thesis No. 2825, 2009.
- Fesser, Martin: Entwicklung von Spielstrategien mittels evolutionärer Algorithmen am Beispiel von Kalaha, Diploma Thesis No. 2184, 2004.
- Futter, Hannes: Neue Ansätze zur Verbesserung von Schwarmalgorithmen und Evolutionsstrategien, Diploma Thesis No. 2606, 2007.
- 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.
- Gocke, Norman: Optimale Partitionierung von markierten Graphen mit Hilfe genetischer Algortihmen, Diploma Thesis No. 2055, 2003.
- Güpner, Juan Roldan: Komplexitätsanalyse der C-Funktion, Diploma Thesis No. 1195, 1995.
- Häcker, Claudius: Automatische Korrektheitsprüfung von Formeln und Programmen, Diploma Thesis No. 2065, 2003.
- Häcker, Claudius: Evaluation und Visualisierung Kürzester-Wege-Algorithmen auf Zufallsgraphen, Diploma Thesis No. 2187, 2004.
- Hantschel, Ralf: Über das Wachstum von Boyer-Moore-Automaten, Diploma Thesis No. 2557, 2007.
- Hartmann, Frederik: Routenplanung mit Nebenbedingungen, Diploma Thesis No. 4, 2014.
- Heidenreich, Sebastian: Widerstandsermittlung für die Verkehrsprognoserechnung im ÖPNV, Diploma Thesis No. 2368, 2005.
- Hermes, Lars: Heuristiken zur Reihenfolgeoptimierung in industriellen Fertigungsprozessen, Diploma Thesis No. 1797, 2000.
- Hildinger, Markus: Abdeckung von Verschnittresten unter Konnektivitätsbedingungen, Diploma Thesis No. 3706, 2015.
- Hoffmann, Benjamin: Kryptographische Protokolle für Online-Auktionen, Diploma Thesis No. 21, 2006.
- Hoffmann, Jürgen: Entwicklung eines Programmsystems zur Wegsuche in Verkehrsnetzen des öffentlichen und Individualverkehrs unter besonderer Berücksichtigung des P+R-Verkehrs, Diploma Thesis No. 1094, 1994.
- 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.
- Jakovljevic, Miroslav: Experimentelle Untersuchung zur Eignung von k-kürzeste-Wege-Algorithmen bei der Suche nach echten Alternativrouten, Diploma Thesis No. 2826, 2009.
- Jung, Till-Moritz: Darstellungs- und Lösungsmethoden für die optimale Steuerung technischer Prozesse am Beispiel der Motorregelungen, Diploma Thesis No. 2506, 2006.
- Kaistra, Martin: Query-Optimierung für OSCAR, Diploma Thesis No. 22, 2017.
- Kara, Ferdi: Kürzeste Wege im Wikipedia-Linkgraph, Diploma Thesis No. 3410, 2013.
- Kausch, Jonathan: Normalformenberechnung in Graph-Gruppen und Coxeter-Gruppen, Diploma Thesis No. 3238, 2011.
- Kiefer, Stefan: Abstraction Refinement for Pushdown Systems, Diploma Thesis No. 2284, 2005.
- Klarmann, Jürgen: Evaluation de Performances d'Architectures Informatiques, Diploma Thesis No. 14, 1994.
- Klein, Kim-Manuel: Das Verhalten von Traversierenden Baumautomaten mit Marken, Diploma Thesis No. 3017, 2010.
- Koch, Matthias: Strukturerkennung und Übersetzung zwischen COBOL und C, Diploma Thesis No. 1363, 1996.
- Komarek, Peter: Strategien für die Elternselektion in evolutionären Algorithmen, Diploma Thesis No. 2560, 2007.
- Krumpe, Filip: Offline Speicherung und Darstellung von Geodaten auf Mobilgeräten, Diploma Thesis No. 3624, 2014.
- Lang, Markus: Entwicklung evolutionärer Algorithmen zur Verbesserung von Strategien - am Beispiel des Wettstreits "Krieg der Sterne", Diploma Thesis No. 1851, 2000.
- Lauser, Alexander: Fragmente einer Intervall-Logik, Diploma Thesis No. 2823, 2009.
- Löser, Moritz: Äquivalenzklassen-basiertes Testen, Diploma Thesis No. 26, 2008.
- Lubecki, Arkadius: Parameterbestimmung für genetische Algorithmen mit multiparent Crossover, Diploma Thesis No. 2421, 2006.
- Ludwig, Michael: Der Algorithmus von Howgrave-Graham und Joux zur Lösung von Rucksackproblemen, Diploma Thesis No. 26, 2012.
- Lüdenbach, Matthias: Implementierung und Vergleich FFT-basierter Multiplikationsalgorithmen, Diploma Thesis No. 2, 2006.
- Mack, Marcus: Untersuchung von effizienten Algorithmen zur Bestimmung der k-kürzesten Wege innerhalb von ÖPNV-Verkehrsnetzen, Diploma Thesis No. 1374, 1996.
- Mendel, Thomas: Radar-based Object Type Classification, Diploma Thesis No. 8, 2013.
- Menne, Christian Frank: Personaleinsatzplanung im Bereich modernster Fertigung, Diploma Thesis No. 30, 2009.
- Mößner, Bernhard: Hierarchien sternfreier Spursprachen und Logikhierarchien, Diploma Thesis No. 15, 1995.
- Müller, Martin: Der polynomielle Abschluß von Sprachklassen über Spuren, Diploma Thesis No. 2328, 2005.
- Müller, Mike: Über Wortgleichungen, Diploma Thesis No. 31, 2011.
- 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.
- Ruopp, Manuel: Contraction Hierarchies für komplexe Kostenmaße, Diploma Thesis No. 3232, 2012.
- Sadikovic, Jasna: Optimiale Eigenbewegungsschätzung anhand adaptiver Sensordatenfusion optischer und kinematischer Sensoren, Diploma Thesis No. 2496, 2006.
- Schmidt, Thomas R.: Verteilte evolutionäre Verfahren, Diploma Thesis No. 14, 1997.
- Schwarz, Axel: Verkehrssimulation, Diploma Thesis No. 15, 1997.
- Seybold, Martin P.: Die Holonomie-Zerlegung von Automaten, Diploma Thesis No. 3332, 2012.
- Siantidis, Zissis: Entwurf und Implementierung eines Lernsystems für gestreute Speicherung, Diploma Thesis No. 2154, 2004.
- Sieweck, Philipp: SAT Solving mit GPU Unterstützung, Diploma Thesis No. 3289, 2012.
- Simec, Dean: Messung und Analyse der Permutationen von hoher Unrodnung, Diploma Thesis No. 2578, 2007.
- Sommer, Ralf: Automatisierte Formalisierung von Anforderungen an eingebettete Systeme im Automobilbau, Diploma Thesis No. 43, 2011.
- 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.
- Thomaß, Bertram: SAT solving modulo nichtlinearer Theorien, Diploma Thesis No. 3094, 2010.
- Tsotniashvili, Timur: Übersetzung von imperativen Programmen mit Zeigermanipulation in Graphtransformations-Regeln, Diploma Thesis No. 26, 2006.
- 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.
- Wörner, Joachim: Optimierung der Rückhollogistik beim Recycling von Elektronik-Schrott, Diploma Thesis No. 1646, 1998.
- 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.
- Zaychenko, Petro: Die Rekonstruktion nichtlinearer dynamischer Systeme mithilfe genetischer Programmierung., Diploma Thesis No. 2567, 2007.
|
|
Webmaster
)
| © University of Stuttgart |
Legal notice