| Doktor-, Diplom-, Studien-, Master-, Bachelor-Arbeiten
Sollten Sie Interesse an einer Diplom-, Studien-, Master- oder Bachelor-Arbeit am Fachgebiet Theoretische Informatik haben, wenden Sie sich bitte an einen der Mitarbeiter.
| Frederik Büchler | | Hybride Logiken, Studienarbeit, 2009 |
| Özlem Yüksel | | Einfache Theorie der deterministischen Sprachen, Studienarbeit, 2009 |
| Jan Krensing | | Cryptographic Applications of Algorithmic Number Theory, Diplomarbeit, 2009 |
| Dianjun Liu | | Ein nachweislich schweres Problem, Studienarbeit, 2009 |
Julian-Steffen Müller
| | Vollständigkeit in modalen Logiken, Bachelorarbeit , 2009 |
| Anna Schubach | | Die schwierigste kontextfreie Sprache, Studienarbeit, 2009 |
| Fatima Yassaad | | Specification Logics for Nested Words, Diplomarbeit, 2009 |
| Johannes Wolpers | | Model Checking for Default Logic, Studienarbeit, 2009 |
| Maria Soldatova | | Effizientes Model-Checking für CTL*, Diplomarbeit, 2009 |
| Johannes Schmidt | | Complexity of Enumeration, Diplomarbeit, 2009 |
| Jurij Schachmanov | | Parametrisierte Komplexität und das Erfüllbarkeitsproblem, Diplomarbeit, 2009 |
| Sebastian Böcker | | Ausgewählte Entscheidungsprobleme eines neuen Grammatiktyps für Anwendungen im Bereich von XML-Dokumenten, Diplomarbeit, 2008 |
| Fatima Yassaad | | CTL* is 2-EXPTIME-hard for ≤log-Reductions, Studienarbeit, 2008 |
| Xubin Chen | | Hilbert's Tenth Problem, Masterarbeit, 2008. |
| Sarah Tauscher | | Frozen Development in Graph Coloring, Masterarbeit, 2008. |
| Patrick Njofang | | Blattsprachen, Diplomarbeit, 2008. |
| Juri Schachmanov | | Klimas Tunneltechnik, Studienarbeit, 2008 |
| Mahin Olaie | | Pairing Based Cryptography, Diplomarbeit, 2008 |
| Victor Turov | | Effizienzanalyse von Public-Key-Verfahren, Diplomarbeit, 2008 |
| Mariya Skachkova | | Faktorisierungsalgorithmen, Diplomarbeit, 2008 |
| Arne Meier | | Complexity of Temporal Logics, Masterarbeit, 2007. |
| Christian Knopf | | Cryptographic Hash Functions, Diplomarbeit, 2007. |
| Florian Nöhring | | Traveling Salesman Problem, Bachelorarbeit, 2007. |
| Johannes Schmidt | | Algorithmen zu Exact-Cover-Problemen, Studienarbeit, 2007. |
| Bahtije Brahimi | | Visibly Pushdown Sprachen, Studienarbeit, 2007. |
| Victor Turov | | Effizienz von Public-Key-Verschlüsselung, Studienarbeit, 2007. |
| Frederic Brzoska | | Ein Erfüllbarkeitstest für modale Formeln, Studienarbeit, 2007. |
| Sebastian Böcker | | Membership Problems for Boolean Clones, Studienarbeit, 2006. |
| Irina Privalova | | Erfüllbarkeit für quantifizierte Hornformeln, Studienarbeit, 2006. |
| Marc Schultze | | Ein Entscheidungsalgorithmus für die Logik S1S, Diplomarbeit, 2006. |
| Matthias Galota | | Blattsprachen und Blattfunktionen, Dissertation, 2006. |
| Patrick Njofang | | Inductive Counting, Studienarbeit, 2006. |
| Michael Thomas | | Logics for Context-Free Languages, Masterarbeit, 2006. |
| Volker Stamm | | Expressive Power and Closure Properties of Constraints, Diplomarbeit, 2006. |
| Boris Tripolski | | Kompressionsalgorithmen, Bachelorarbeit, 2006. |
| Alexander Zlenko | | Ein Äquivalenztest für deterministische Kellerautomaten, Diplomarbeit, 2006. |
| Maja Ostrowski | | Optimierte ECU-Konfiguration im Autosar-Umfeld, Diplomarbeit, 2005. |
| Arne Meier | | SAT-Algorithmen, Bachelorarbeit, 2005 |
| Marc Schultze | | Ein Werkzeug zur Untersuchung endlicher Relationen, Studienarbeit, 2005. |
| Yuqing Gong | | Verallgemeinerte Pumping-Lemmata, Bachelorarbeit, 2005. |
| Volker Stamm | | Ein Werkzeug zur Untersuchung von Abschlusseigenschaften Boolescher Funktionen und Funktionen mit mehrwertiger Logik, Studienarbeit, 2005. |
| Jens Georg | | Blattautomaten und T0L-Systeme, Diplomarbeit, 2005. |
| Nico Amtsberg und Tim Lorenz | | Visualisierung von Konzepten und Algorithmen in der Theoretischen Informatik, Diplomarbeit, 2005. |
| Witali Janzen | | Der AKS-Primzahltest, Diplomarbeit, 2005. |
| Henning Schnoor | | The Complexity of Post's Classes, Diplomarbeit, 2004. |
| Christian Becker | | Die Berechnungsstärke von endlichen Blattautomaten, Diplomarbeit, 2004. |
| Sven Baselau | | Äquivalenz von UML-Diagrammen, Diplomarbeit, 2004. |
| Ilka Johannsen | | Ein Werkzeug zur Untersuchung von Abschlusseigenschaften Boolescher Funktionen, Studienarbeit, 2003. |
| Philipp Miehe | | Algorithmen zur Frequenzzuweisung in Mobilfunk-Netzen, Diplomarbeit, 2003. |
| Henning Schnoor | | Kryptographie über elliptischen Kurven - Einführung und Beispielimplementierung, Studienarbeit, 2003. |
| |
Top
