Falls Sie bei uns eine Abschlussarbeit schreiben möchten, bieten wir Ihnen die Möglichkeit ein individuelles Thema zu bearbeiten. Sprechen Sie uns einfach an!

Zudem haben wir einige Themenvorschläge ausgearbeitet, die wir Ihnen hier präsentieren möchten. Wenn Ihnen eines gefällt, melden Sie sich beim angegebenen Ansprechpartner.

Themenvorschläge:

• Runtime Verification
  Ansprechpartner: Danny Bøgsted Poulsen
  Keywords: LTL, Runtime Verification
  Richtet sich an: Bachelorstudierende
  Projekdetails: Download
• Storing Dynamically Sized States
  Ansprechpartner: Danny Bøgsted Poulsen
  Keywords:State Space Compression, Model Checking
  Richtet sich an: Master- und Bachelorstudierende
  Projekdetails: Download
• Algorithms for matching patterns with variables
  Ansprechpartner: Dr. Joel Day, Dr. Florin Manea
  Keywords:Pattern Matching, Algorithms, Data Structures
  Richtet sich an: Master- und Bachelorstudierende
  Projekdetails: Download
• The Complexity of Solving Word Equations
  Ansprechpartner: Dr. Joel Day, Dr. Florin Manea
  Keywords: Word Equations, Combinatorics on Words, Formal Languages, Complexity
  Richtet sich an: Master- und Bachelorstudierende
  Projekdetails: Download
• The Satisfiability of Word Equations: Decidable and Undecidable Theories
  Ansprechpartner: Dr. Joel Day, Dr. Florin Manea
  Keywords: Word Equations, Combinatorics on Words, Formal Languages, Decidability
  Richtet sich an: Master- und Bachelorstudierende
  Projekdetails: Download
• k-Spektren von (θ)-Palindromen
  Ansprechpartner: Pamela Fleischmann
  Keywords:Verteilte Faktoren, k-Spektren, Wortkombinatorik, (θ)-Palindrome
  Richtet sich an: Master- und Bachelorstudierende
  Projekdetails: Download
• k-Spektren über ternären Alphabeten
  Ansprechpartner: Pamela Fleischmann
  Keywords:Verteilte Faktoren, k-Spektren, Wortkombinatorik
  Richtet sich an: Master- und Bachelorstudierende
  Projekdetails: Download
• Präfixnormale Wörter
  Ansprechpartner: Pamela Fleischmann
  Keywords:Präfixnormale Wörter, Implementierung, Wortkombinatorik
  Richtet sich an: Bachelorstudierende
  Projekdetails: Download
• Solving parity games
  Ansprechpartner: Karoliina Lehtinen
  Keywords:Parity Games
  Richtet sich an: Master- und Bachelorstudierende
  Projekdetails: Download
• Lösen von Wortgleichungen mit diophantischen Systemen
  Ansprechpartner: Mitja Kulczynski
  Keywords:Wortgleichungen, Diophantische Gleichungssysteme, Algorithmenentwicklung
  Richtet sich an: Bachelorstudierende
  Projekdetails: Download
• Ranking of Data Race Candidates
  Ansprechpartner: Philipp Sieweck
  Keywords: Static Analysis, Concurrent Software, Data Races
  Richtet sich an: Master- und Bachelorstudierende
  Projekdetails: Download