50 years Univerity of Lübeck

Dr. Max Bannach



Winter Term 2022/2023

Summer Term 2022

Winter Term 2021/2022

Summer Term 2021

Winter Term 2020/2021

Summer Term 2020

Winter Term 2019/2020

Summer Term 2019

Winter Term 2018/2019

Summer Term 2018

Winter Term 2017/2018

Summer Term 2017

Winter Term 2016/2017

Summer Term 2016

Winter Term 2015/2016

Summer Term 2015

Supervised Theses

Thesis Title State
Design and Implementation of Edge Routing Algorithms in TikZ finished
Algorithmic Automata Drawing finished
Algorithmic drawing of planar graphs with TikZ finished
Semantic Web Technology in the Study of Proteins finished
Possibilities and Limitations of Parallel Kernel Computation finished
Implementation and Analysis of Parallel Vertex-Cover Kernelizations finished
Constructing Solutions For Unary Subset Sum and Similar Problems in TC0 finished
Dynamic Computation of Vertex-Cover Kernels finished
Description of Parameterized Problems in First-Order Logic with Arithmetic Operators finished
Towards the fixed-parameter-tractability of model-checking for a bounded, universal fragment of first-order logic finished
Accelerate Dynamic Programs on Tree Decompositions with Binary Decision Diagrams finished
Development of a Treewidth Guided MaxSAT-Solver finished
Parallel Data Reduction for the Odd Cycle Transversal Problem finished
Algorithms on Graphs of Low Twinwidth in progress
Treewidth-aware Reductions in progress
Analysis of a Parallel Semisort Algorithm in progress
Flow-based Treewidth Heuristics open
Implementing an Exact Treewidth Algorithm open
Implementing a MaxSAT-Preprocessor open
Design of a Backdoor-based SAT-Solver open
Treewidth-guided MaxSAT Heuristics open