|
|
Course Material
Unfortunately, most of websites below are no longer reachable.
That is why most of the course material can be found on
this webpages.
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).
- Karl Ischebeck:
Extraktion von Funktionen aus C-Quellcode,
Bachelor thesis, 2022
-
Elisabeth Schwertfellner:
Animierte Ausführung einfacher imperativer Programme zum didaktischen Verständnis,
Bachelor thesis, 2022.
-
Awa Chouatat:
Vergleich von Freshness- und Fixpoint-Constraints in Nominaler Unifikation,
Bachelor thesis, 2022.
- David Schmider:
Modellierung von Personentransport in vernetzten Systemen,
Bachelor thesis, 2022.
- Benjamin Saibold:
Ein spielerisches, didaktisches Werkzeug zu endlichen Automaten und regulären Sprachen,
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
-
|