|
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
-
|