Abschlussarbeiten
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