David Sabel


Computer Scientist


Home Research Publications Talks Teaching Software

Courses

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).
  • 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
(c) 2020 David Sabel, Imprint, Privacy Policy Last modified: $Author: sabel $, $Date: 2020/02/19 15:56:48 $