LehreStudien- & Abschlussarbeiten
Abgeschlossene Arbeiten

Abgeschlossene Arbeiten

Wenn Sie sich für eines der abgeschlossenen Themen interessieren, sprechen Sie uns an – auch Vertiefungen oder Varianten eines existierenden Themas eignen sich für eine Abschlussarbeit.

Ihre Abschlussarbeit

Wenn Sie Ihre Abschlussarbeit für diese Seite zur Verfügung stellen möchten bzw. dies nicht mehr möchten, wenden Sie sich bitte an unsere Mitarbeiter.

2019

2018

2017

2016

2015

2014

2013

2012

  • Entwicklung eines Fahrermodells durch Anwendung von Data-mining-Verfahren auf dynamische Fahrzeugdaten
    Masterarbeit.
  • Äquivalenz und Isomorphie von quantifizierten Constraint-Satisfaction-Problemen
    Masterarbeit.
  • Tiefe Färbung
    Bachelorarbeit.
  • Die Komplexität von Scrabble
    Bachelorarbeit.
  • Varianten des Post’schen Korrespondenzproblems
    Bachelorarbeit.
  • Nichtkanonische Erweiterungen von Bottom-Up Parsing Techniken
    Diplomarbeit.
  • Komplexität der Division
    Diplomarbeit.
  • Funktionale Programmierung und Berechenbarkeit
    Bachelorarbeit.
  • Ausdruckskraft von XML-Schemata
    Diplomarbeit.
  • Klassifikation von XML-Schemasprachen
    Diplomarbeit.
  • Fully Homomorphic Encryption
    Irena Schindler, Studienarbeit.
  • Tools für modale Logiken
    Sergey Kartamyshev, Bachelorarbeit.
  • Das Euklidische TSP
    Bachelorarbeit.
  • Computational Aspects of Dependence Logic
    Peter Lohmann, Dissertation.

2011

  • Visuelle Kryptographie
    Lennart Suhr, Studienarbeit.
  • On the Complexity of Modal Logic Variants and their Fragments
    Arne Meier, Dissertation.
  • Modal Team Logic
    Julian-Steffen Müller, Masterarbeit.
  • Effizientes Model-Checking für LTL
    Diplomarbeit.
  • Complexity of Auditing Boolean Attributes
    Diplomarbeit.
  • Komplexität von Dependence Logik
    Diplomarbeit.
  • Model Checking Tools
    Diplomarbeit.
  • Intuitionistische Logik
    Diplomarbeit.
  • LR(0) und LR(k) Grammatiken
    Studienarbeit.
  • Die Komplexität des Wortproblems für Visibly Pushdown Sprachen
    Studienarbeit.

2010

  • Komplexitätsresultate für hybride Logiken
    Diplomarbeit.
  • On the Complexity of Fragments of Nonmonotonic Logics
    Michael Thomas, Dissertation.
  • Die Sicherheit des RSA-Verfahrens
    Bachelorarbeit.
  • Aroras PTAS für TSP
    Studienarbeit.
  • XML und Automaten
    Diplomarbeit.
  • The Model Checker SPIN
    Diplomarbeit.
  • Komplexitätsresultate von Description Logics
    Diplomarbeit.
  • Lindenmayer-Systeme
    Diplomarbeit.
  • Graph Grammars
    Masterarbeit.
  • Complexity in Dependence Logic
    Johannes Ebbing, Diplomarbeit.
  • Algorithmen für Hornlogik
    Studienarbeit.
  • Formalsprachliche Aspekte von XML, Teil II: Parsing
    Studienarbeit.
  • Formalsprachliche Aspekte von XML, Teil I: Klassifikation, Abschlusseigenschaften, Entscheidbarkeit
    Studienarbeit.
  • Entscheidbarkeit logischer Theorien
    Diplomarbeit.
  • Implementierung von Fehlerschutzalgorithmen in der Multiplexübertragung für DRM-Modulatoren
    Masterarbeit.
  • A Tool for Post’s Lattice
    Bachelorarbeit.

2009

  • Hybride Logiken
    Studienarbeit.
  • Einfache Theorie der deterministischen Sprachen
    Studienarbeit.
  • Entscheidbarkeit von Interval Temporal Logics
    Studienarbeit.
  • Effizientes Model-Checking für CTL
    Diplomarbeit.
  • Cryptographic Applications of Algorithmic Number Theory
    Diplomarbeit.
  • Ein nachweislich schweres Problem
    Studienarbeit.
  • Effiziente Parsing-Algorithmen für kontextfreie Sprachen
    Diplomarbeit.
  • Edges as Nodes - a New Approach to Timetable Information
    Diplomarbeit.
  • Vollständigkeit in modalen Logiken
    Julian-Steffen Müller, Bachelorarbeit.
  • Die schwierigste kontextfreie Sprache
    Studienarbeit.
  • Minimierung von nichtdeterministischen endlichen Automaten
    Studienarbeit.
  • Entscheidbarkeit und Komplexität logischen Folgerns in autoepistemischen Logiken
    Studienarbeit.
  • Specification Logics for Nested Words
    Diplomarbeit.
  • Model Checking for Default Logic
    Studienarbeit.
  • Bounds for One-dimensional Cellular Automata
    Diplomarbeit.
  • Effizientes Model-Checking für CTL*
    Diplomarbeit.
  • Complexity of Enumeration
    Diplomarbeit.
  • Parametrisierte Komplexität und das Erfüllbarkeitsproblem
    Diplomarbeit.
  • Die symmetrische Polynomialzeit-Hierarchie
    Diplomarbeit.

2008

  • Ausgewählte Entscheidungsprobleme eines neuen Grammatiktyps für Anwendungen im Bereich von XML-Dokumenten
    Diplomarbeit.
  • Fragments of Temporal Logic and Formal Languages
    Peter Lohmann, Diplomarbeit.
  • Entscheidungsprobleme in der autoepistemischen Logik
    Studienarbeit.
  • Entscheidbarkeitsprobleme in der Default Logik
    Studienarbeit.
  • CTL* is 2-EXPTIME-hard for log-Reductions
    Studienarbeit.
  • Hilbert’s Tenth Problem
    Masterarbeit.
  • Frozen Development in Graph Coloring
    Masterarbeit.
  • Blattsprachen
    Diplomarbeit.
  • Klimas Tunneltechnik
    Studienarbeit.
  • Pairing Based Cryptography
    Diplomarbeit.
  • The Weak Base Method for Constraint Satisfaction
    Ilka Schnoor, Dissertation.
  • Effizienzanalyse von Public-Key-Verfahren
    Diplomarbeit.
  • Generating multicollisions for MD4 and MD5
    Studienarbeit.
  • Faktorisierungsalgorithmen
    Diplomarbeit.

2007

  • Complexity of Temporal Logics
    Arne Meier, Masterarbeit.
  • Cryptographic Hash Functions
    Diplomarbeit.
  • Kollisionen bei kryptographischen Hashfunktionen
    Diplomarbeit.
  • Digitale Signaturen mit Elliptischen Kurven
    Diplomarbeit.
  • Traveling Salesman Problem
    Bachelorarbeit.
  • Laufzeitanalyse des SAT-Algorithmus von Schuler und dessen Derandomisierung von Dantsin und Wolpert
    Studienarbeit.
  • Ein Überblick zum Einsatz von ECC über endliche Körper vom Grad 2n und pn
    Studienarbeit.
  • Algorithmen zu Exact-Cover-Problemen
    Studienarbeit.
  • PSPACE-completeness of LTL/CTL* model checking
    Peter Lohmann, Studienarbeit.
  • Algebraic and logical characterization of star-free languages
    Studienarbeit.
  • Visibly Pushdown Sprachen
    Studienarbeit.
  • Effizienz von Public-Key-Verschlüsselung
    Studienarbeit.
  • Ein Erfüllbarkeitstest für modale Formeln
    Studienarbeit.
  • Algebraic Techniques for Satisfiability Problems
    Henning Schnoor, Dissertation.
  • Complexity Results for Boolean Constraint Satisfaction Problems
    Michael Bauland, Dissertation.

2006

  • Untersuchung der Selbstreferenz logischer Systeme unter Benutzung modaler Logiken
    Bachelorarbeit.
  • Membership Problems for Boolean Clones
    Studienarbeit.
  • Erfüllbarkeit für quantifizierte Hornformeln
    Studienarbeit.
  • Ein Entscheidungsalgorithmus für die Logik S1S
    Diplomarbeit.
  • Blattsprachen und Blattfunktionen
    Matthias Galota, Dissertation.
  • Autoreducibility and Friends. About Measuring Redundancy in Sets
    Masterarbeit.
  • Inductive Counting
    Studienarbeit.
  • Logics for Context-Free Languages
    Michael Thomas, Masterarbeit.
  • Expressive Power and Closure Properties of Constraints
    Diplomarbeit.
  • Kompressionsalgorithmen
    Bachelorarbeit.
  • Ein Äquivalenztest für deterministische Kellerautomaten
    Diplomarbeit.

2005

  • Optimierte ECU-Konfiguration im Autosar-Umfeld
    Diplomarbeit.
  • SAT-Algorithmen
    Arne Meier, Bachelorarbeit.
  • Ein Werkzeug zur Untersuchung endlicher Relationen
    Studienarbeit.
  • Verallgemeinerte Pumping-Lemmata
    Bachelorarbeit.
  • Ein Werkzeug zur Untersuchung von Abschlusseigenschaften Boolescher Funktionen und Funktionen mit mehrwertiger Logik
    Studienarbeit.
  • Blattautomaten und T0L-Systeme
    Diplomarbeit.
  • Visualisierung von Konzepten und Algorithmen in der Theoretischen Informatik
    Diplomarbeit.
  • Enumeration Algorithms for Constraint Satisfaction Problems
    Ilka Johannsen, Diplomarbeit.
  • Der AKS-Primzahltest
    Diplomarbeit.

2004

2003

  • UML-Diagramme und ihre Übersetzung in die Objekt-Modellsprache MOL
    Diplomarbeit.
  • Implementierung von Algorithmen zur Positionierung von Basisstationen in Mobilfunk-Netzen
    Diplomarbeit.
  • Algorithmen zur Frequenzzuweisung in Mobilfunk-Netzen
    Diplomarbeit.
  • Ein Werkzeug zur Untersuchung von Abschlusseigenschaften Boolescher Funktionen
    Ilka Johannsen, Studienarbeit.
  • Kryptographie über elliptischen Kurven - Einführung und Beispielimplementierung
    Henning Schnoor, Studienarbeit.