Bachelor theses at the chair i7


The following list contains the bachelor's theses that have been submitted at the chair of computer science 7.


Submission Examiner Subject
Zeno Maximilian Bitter SS 19 Löding Learning Nested-Word Automata
Markus Baumann SS 19 Grohe Interactive Proof Systems for Counting Subgraphs
Roman Karwacik WS 18/19 Grohe Tree Edit Distance
Andrew Cornell WS 18/19 Löding Comparing top-down and bottom-up algorithms for pruning nondeterministic finite automata
Stefan Rehbold WS 18/19 Löding Learning Deterministic Nominal Automata
Philipp Selz WS 18/19 Grohe Space Complexity of Regular Languages in the Sliding Window Data Stream Model
Christian Blumenthal WS 18/19 Grohe A neural Algorithm for Similarity Search
Athena Riazsadri WS 18/19 Grohe Spectral Graph Similarity and Domination
Bianka Bakullari WS 18/19 Grohe The quantifier depth for distinguishing structures in first-order logic
Patrick Querl WS 18/19 Löding Active learning applied to passive learning of finite automata
Magnus Groß WS 18/19 Löding Canonical Automata for regular languages
Michael Scholkemper WS 18/19 Grohe Optimization-Based Hierarchical Clustering
Dominic Quirl WS 18/19 Löding Nondeterministic Automata with Deterministic Acceptance strategies
Tobias Schleifstein SS 18


Symmetric-Weighted Model Counting for 2-Variable Logic
Florian Frantzen SS 18 Grohe Algorithms for the Maxim Common Subtree Isomorphism Problem
Björn Plewinski SS 18 Grohe Distance-Aware Colour Refinement
Daniel Schleiz SS 18 Grohe Parameterized Approximability of Dominating Set
Stefanie Winkler SS 18 Grohe Similarity of Small Graphs
Florian Maximilian Behrens SS 18 Grohe Graph Autoencoder
Emre Yamen SS 18 Grohe End-to-End Graph Learning
Joshua von den Hoff SS 18 Löding Minimization of partially specified automata
Konstantin Kotenko SS 18 Löding The complexity of the slenderness problems for context-free and regular languages
Alex Lorenz SS 18 Löding Derivatives of Regular Expressions for the Construction of Finite Automata
Tom Biskup WS 17/18 Löding Lernverfahren für sequentielle Transducer
Joshua Fürste WS 17/18 Grohe Lower Bounds for Parallel Query Processing
Michael Mutert WS 17/18 Löding Ein Vergleich von Algorithmen für Spiele auf Pushdown-Automaten und kontextfreien Grammatiken
Jan Martin Tönshoff WS 17/18 Grohe Weisfeiler-Leman Kernels for Deep Neural Nets
Laurids Vollmann WS 17/18 Grohe Algorithmic aspects of Pfaffian Orientations
Dimitri Rusin WS 17/18 Grohe FO-Model-Checking auf einigen dichten Graphklassen mittels FO-Interpretationen
Mario Jörres WS 17/18 Grohe Anfragebearbeitung mit konstanter Verzögerung
Daniel Schmitz WS 17/18 Löding Methods for the Translation of Regular Expressions into Finite Automata
Yannick Epstein WS 17/18 Grohe Hashing Techniques for Computing Frequency Moments
Reintgen, Lorena WS 17/18 Schweitzer Preprocessing Algorithms for he Graph Isomorphism Problem
Mietze Tang SS 17 Löding The Connection between Visibly Pushdown and Operator Precedence Languages
Tran, Duc Thanh SS 17 Löding Complexity of Cardinality Problems for Automata on Infinite Words
Phillip Tse SS 17 Löding Komplexität der Determinierung von Automaten durch das Ausdünnen der Transitionsrelation
Maximilian Ohn WS 16/17 Löding Eigenschaften von limit-deterministischen Büchi-Automaten
Marc Meskes WS 16/17 Grohe On Hypertree Decompositions and Related Concepts
Sebastian Schaub WS 16/17 Grohe Filter für Datenströme
Florian Kasper WS 16/17 Grohe Ein Fragment der Logik zweiter Stufe für kontextfreie Sprachen
Erik Van Loo WS 16/17 Löding Das gemeinsame Fragment von CTL und LTL
Leon Bohn WS 16/17 Löding Determinisierung endlicher Automaten durch das Ausdünnen der Transitionsrelation
Lasse Nitz WS 16/17 Löding Hyper-Minimierung endlicher Automaten auf endlichen und unendlichen Wörtern
Vinzent Skawran WS 16/17 Grohe Lower Bounds for Partition Refinement Algorithms
Scharf, Kaspar WS 16/17 Schweitzer Isomorphism for planar graph classes via pebble games
Mock, Daniel WS 16/17 Schweitzer Algorithms computing the fixing number of planar graphs
Feith, Oliver WS 16/17 Schweitzer Decompositon Techniques for the Graph Isomorphism Problem
Sonja Zimmermann SS 16 Löding Minimierung eingabegesteuerter Kellerautomaten
Christopher Hugenroth SS 16 Löding Entscheidungsprobleme für gewichtete Automaten als Modell von Online-Algorithmen
Dmytro Bredschneider SS 16 Grohe Combinatorial Dimension Reduction for Linear Programs
Lars Beckers SS 16 Löding Sensing Complexity for Automata on Infinite words
Sven Schiller SS 16 Grohe Efficient Computation of 2-Vertex Strongly Connected Components and Related Problems
Torsten Rogoll SS 16 Löding Verband-Automaten auf unendlichen Wörtern
Hilke Buss WS 15/16 Löding Synchronisationssprachen zur Darstellung automatendefinerbarer Relationen
Thu Hang Khuat WS 15/16 Grohe Orientierung von Protein-Netzwerken mittels kürzester Pfade
Yordon Manolov WS 15/16 Löding Uniformisierung von rationalen Relationen
Leandro Eichenberger WS 15/16 Löding Complexity of regularity problems for visibly pushdown automata
Thomas Lange SS 15 Grohe Applications of algorithmic meta theorems to phylogenetics
Najibollah Azizi WS 14/15 Grohe Interactive Information Compexity
Ömer Sali SS 14 Grohe Computational Complexity of Evaluating Tree Automata
Richard Wilke SS 14 Grohe Logics with Multiteam Semantics
Oliver Scheel WS 13/14 Grohe Scheduling with Availability Times and Setup Costs
Maya Frickenschmidt WS 13/14 Grohe Definable Treelike Decompositions and Graph Properties in MSO