David Sabel


Computer Scientist


Home Research Publications Talks Teaching Software

Courses

Summer 2022
Winter 2021/22
Summer 2021
Winter 2020/21
Summer 2020
Winter 2019/20
Summer 2019
Winter 2018/19
Summer 2018
Summer 2017
Summer 2016
Winter 2015/16
Summer 2015
Winter 2014/15
Summer 2014
Winter 2013/14
Summer 2013
Winter 2012/13
Summer 2012
Winter 2011/12
Summer 2011
Winter 2010/11
Summer 2010
Winter 2009/10

Theses

Supervised Theses
Below is a list of theses that I supervised officially. I was involved in the supervision in several other thesis which were written at the Chair for Artificial Intelligence and Software Technology which can be found on this webpage (bachelor theses) and this webpage (master theses).
  • David Schmider:
    Modellierung von Personentransport in vernetzten Systemen,
    Bachelor thesis, 2022.
  • Maximilian Krumpeck:
    Algorithms on Tree Languages - Foundations and Implementation of Selected Algorithms,
    Bachelor thesis, 2022.
  • Zhu Yang:
    The Implementation of the Pi-Calculus using Concurrent Haskell,
    Bachelor thesis, 2022.
  • Simon Hehnen:
    Grammatik-komprimierte Darstellung von Matrizen durch Join- und Fork-Operatoren,
    Bachelor thesis, 2022.
  • Luise Römhild:
    Eine spielerische, webbasierte Lernumgebung für das Minimieren von endlichen Automaten,
    Bachelor thesis, 2022.
  • Burak Sale:
    Varianten der nominalen Unifikation,
    Bachelor thesis, 2022.
  • Oliver Schrader:
    The Probabilistic Lambda ­Calculus: Theoretical Foundations and Implementation of an Interpreter
    Bachelor thesis, 2022.
  • Philippe Wehr:
    Grundlagen des Quantum-­Lambda­-Kalküls
    Bachelor thesis, 2022.
  • Leonard Braun:
    Varianten von Turingmaschinen
    Bachelor thesis, 2022.
  • Lukas Bartl:
    Grundlagen und Anwendungen von Liquid Haskell
    Bachelor thesis, 2022.
  • Yang Mao:
    Improving Happy by Type Checking of Parser Specifications
    Master thesis, 2021.
  • Luca Maio:
    The Probabilistic Lambda Calculus with Call-by-Need-Evaluation
    Bachelor thesis, 2021.
  • Jakob Ritter:
    Implementierung und Vergleich funktionaler Datenstrukturen für Zufallsurnen
    Bachelor thesis, 2021.
  • Tobias Lindebar:
    Eine Webanwendung zur interaktiven Demonstration des CYK-Algorithmus
    Bachelor thesis, 2021.
  • Xaver Hellauer:
    Overview and Applications for the Programming Language and Verification System Idris
    Bachelor thesis, 2021.
  • Denys Klypkin:
    Überblick ¨ber die Kategorientheorie und deren Anwendungen in der funktionalen Programmiersprache Haskell
    Bachelor thesis, 2021.
  • Philipp Zander:
    Kontrollierte Ausnahmen für Haskell
    Bachelor thesis, 2021.
  • Georg Schindler:
    Ein didaktisches Werkzeug zur Minimierung von deterministischen endlichen Automaten
    Bachelor thesis, 2021.
  • Michael Fink:
    Das Graph-Isomorphie-Problem und die GI-Vollständigkeit ausgewählter Probleme zu kontextfreien Grammatiken und Ersetzungssystemen.
    Bachelor thesis, 2021.
  • Thomas Jänich:
    Refuting the Correctness of Small Translations from Message-Passing into Shared-Memory Models
    Master thesis, 2021.
  • Staël Wilfried Tchinda Kuete:
    Refuting Observational Correctness of Imperative Programming Language Translations.
    Bachelor thesis, 2020.
  • Jens Hartmann:
    Funktionale Implementierung effizienter Unifikation von Termen erster Ordnung.
    Bachelor thesis, 2020.
  • Taro Yoshioka:
    On the Unification of Multiset-Equations of Variable-to-Variable Bindings
    Bachelor thesis, 2020.
  • Inga Baumgartner:
    Entwurf und Implementierung eines Unifikationsverfahrens für Gleichungen zwischen Multimengen von Bindungen
    Bachelor thesis, 2019.
  • Peter Lermann:
    Automatisches Widerlegen der Beobachtungskorrektheit von Programmiersprachenübersetzungen
    Master thesis, 2019.
  • Qais Amin:
    Übersicht über das K-Framework und Illustration seiner Funktionsweise anhand einer imperativen Programmiersprache
    Bachelor thesis, 2018.
  • Kristina Tretiak:
    Funktionale Implementierung von Lösungsverfahren für Non-Capture und Freshness Constraints in Higher-Order Sprachen
    Master thesis, 2018.
  • David Schäfer:
    Visualisierung von Überlappungsdiagrammen für den Korrektheitsnachweis von Programmtransformationen
    Bachelor thesis, 2017.
  • Dhivyan Thulasikanthan:
    Grundlagen des Term Graph Rewriting und Anwendungen in funktionalen Programmiersprachen
    Bachelor thesis, 2017.
  • Patrick Pech:
    Nominal Unification und ihre Anwendung zum syntaktischen Schließen in erweiterten Lambda-Kalkülen
    Master thesis, 2016.
  • Jeong-Eun Choi:
    Funktionale Implementierung und experimentelle Analyse effizienter Heuristiken für das DPLL-Verfahren zum Erfüllbarkeitstest für aussagenlogische Klauselmengen
    Bachelor thesis, 2016.
  • Alper Cezik:
    Eine Programmbibliothek für Haskell zum Lösen linearer Ungleichungen durch Anbindung von SMT-Solvern
    Bachelor thesis, 2016.
  • Christian Winter:
    Entwicklung eines webbasierten Lernsystems zum Erfüllbarkeitstest aussagenlogischer Formeln mittels der DPLL-Prozedur
    Bachelor thesis, 2016.
  • Felix Weiglhofer:
    Entwurf und Implementierung einer nebenläufigen Wörterbuchdatenstruktur in Concurrent Haskell
    Bachelor thesis, 2016.
  • Deniz Akemlek:
    Entwurf und Implementierung von Algorithmen zur effizienten Konversion von Lempel-Ziv-Strings in Straight-Line-Programme in der funktionalen Programmiersprache Haskell
    Bachelor thesis, 2016.
  • Mayumi Fuji:
    Implementierung einer Simulation von Schienenverkehr zur Analyse von Verspätungen in der funktionalen Programmiersprache Haskell
    Bachelor thesis, 2016
  • Raihana Samadi:
    Implementierung von Rewriting-Systemen auf Kreisen in der funktionalen Programmiersprache Haskell
    Bachelor thesis, 2016
  • Robin Kreuzig:
    Entwurf und Implementierung eines Online-Lernsystems zur Listenprogrammierung mit List Comprehensions unter Verwendung eines Webframeworks für Haskell
    Bachelor thesis, 2015
  • Marc Pohl:
    Entwurf und Implementierung von Algorithmen zur Grammatik-basierten Kompression von Matrizen
    Bachelor thesis, 2015
  • Omar El Goss:
    Implementierung von Algorithmen zur erweiterten Alpha-Äquivalenz für Programmiersprachen mit rekursiven Bindungen
    Bachelor thesis, 2015
  • Jan van den Brand:
    Eine neue dynamisch-getypte und imperative Programmiersprache mit verzögerter Auswertung
    Bachelor thesis, 2015
  • Patrick Pech:
    Entwurf und Implementierung von Inferenzverfahren für eine zweidimensionale Intervalllogik in der funktionalen Programmiersprache Haskell
    Bachelor thesis, 2014
  • Süleyman Omari:
    Entwurf und Implementierung einer Kodierung der Allenschen Zeitlogik als Aussagenlogisches Erfüllbarkeitsproblem
    Bachelor thesis, 2014
Templates
©  David Sabel, Imprint, Privacy Policy