Abgeschlossene Diplom- und Masterarbeiten

• Nick Wagner
  Computing multi-distributions from probabilistic call-by-need functional programs, 2023

• Simon Rudel
  Automatische Überprüfung von Übersetzungen von synchroner in asynchrone Kommunikation bei blockierenden Speicheroperationen, 2020

• Aleksey Koschowoj
  Extending the numerical Python library SciPy with grammar-based compression of matrices and operations, 2019

• Shangwen Bai
  Verwendung verschiedener GUI-Bibliotheken zur graphischen Modellierung und Implementierung in Haskell, 2018

• Yunus Kutz
  A Complete Unification Algorithm for Nominal Unification with Atom Variables, 2017

• Christos Terzis:
  Suche nach schnellsten Wegen in einem Verkehrsverbund mit verschiedenen Verkehrsmitteln unter Verwendung der A*-Methode, 2016
• Miso Starcevic:
  Kompression von Matrizen als Multi-Terminal Decision Diagrams, 2016
• Tommaso Castrovillari:
  Konzeption und Implementierung eines Werkzeugs zur automatischen Überprüfung von Programmoptimierungen in funktionalen Programmiersprachen, 2016
• Sascha Wardel:
  Entwurf und Implementierung einer Simulation eines Strategiespiels unter Verwendung von intelligenten Suchmethoden und Agenten, 2016
• Nils Dallmeyer:
  Design and implementation of a test suite for exploring space improvements in a call-by-need functional language with polymorphic types, 2016
  Die Implementierung ist hier verfügbar.
• Harald Winkler:
  Automatisches Lösen von Rätseln mit modernen SMT-Solvern, 2016
  Die Implementierung ist hier verfügbar.

• Philipp Eidam:
  Automatische Laufzeitoptimierung von funktionalen Programmen in einer Kernsprache von Haskell, 2015
  Der Haskell-Quellcode ist hier verfügbar.
• Süleyman Omari:
  Implementierung von Algorithmen zum schnellen Lösen von Quantifizierten Booleschen Formeln in Java, 2015
• Aybike Demirsan:
  Automatisches Lösen von Logikrätseln unter Verwendung von SAT-Solvern mit einer intelligenten Benutzungsschnittstelle, 2015

• Frank Abromeit:
  Implementierung eines Algorithmus in einer funktionalen Programmiersprache zum String-Matching von komprimierten Patterns mit Zeichen-Variablen in komprimierten Strings, 2013
• Bianca Mihaela Borsan:
  Implementierung eines Pattern-Matching-Algorithmus von SLP-komprimierten Texten nach der Lifshits-Methode, 2013
• Gordon Leppin:
  Implementierung einer abstrakten Maschine zu einem nebenläufigen Programmkalkül mit Futures und Exceptions in Haskell, 2013
• Thorsten Reichegger:
  Webbasiertes intelligentes Planungssystem zur individuellen Studienplanung und Sicherstellung der Studierbarkeit, 2013
• Dietmar Gnida:
  Fallstudien zur GPGPU-Programmierung in Haskell unter Verwendung der Accelerate Bibliothek, 2013
• Alexandru Sarbu:
  Konzeption und Implementierung eines Vollständigkeitstests von Diagrammmengen zum Korrektheitsnachweis von Programmtransformationen in funktionalen Programmiersprachen, 2013
• Ewelina Schittko:
  Verhaltensgleichheit und korrekte Transformationen in einer Pi-Kalkülvariante mit Stop-Prozess, 2013

• Thomas Ilgner:
  Implementierung einer Variante des Davis-Putnam (Un-)Erfüllbarkeitsalgorithmus für Aussagen, die um endliche Mengen-Prädikate erweitert sind. , 2012
  Die Haskell-Implementierung ist hier zu finden.
• Hana Schäfer:
  Implementierung von Algorithmen für das Wortproblem auf Grundtermen bezüglich endlicher Mengen von Grundtermgleichungen für STG-komprimierte Grundtermen, 2012

• Liliya Trushkina:
  Design und Modellierung einer Ontologie zwecks Optimierung der Verwaltung von Personalressourcen, 2011
• Marc Adler:
  Entwurf, Implementierung und Bewertung von Methoden zur Realisierung eines personalisierten Internet-Radioangebotes mit Live-Moderationen, 2011
• William B. Blacoe:
  Design and Implementation of an HPSG Model Checker using Polyadic Dynamic Logics, 2011
• Burhan Hayber und Fabian Müller:
  Implementierung, Bewertung und Anwendung von maschinellen Lernverfahren zum automatischen Extrahieren von Instanzen einer Ontologie zum Aufbau einer A-Box, 2011
• Behrouz Nazari:
  Grammatikbasierte Stringkompression und -matchingverfahren und Anwendungen auf DNA-Sequenzen, 2011
  Implementierung

• Matthias Pfaff:
  Ein neuer Ansatz zu einer kontextuellen Semantik im Pi-Kalkül: Untersuchung, Analyse und Vergleich, 2010
• Aneta Siedlecka:
  Einsatz von Beschreibungslogiken zur Modellierung und Überprüfung der fachlichen Anforderungen an ein Datenmanagementsystem, 2010

• Lütfi Tugrul:
  Grundlagen und Anwendungen von Wissensrepräsentationsformalismen in der medizinischen Ontologiedatenbank SNOMED CT: Eine Recherche , 2009
• Olga Wenge:
  Functional implementation of an interpreter for a concurrent lambda calculus with futures, reference cells, and buffers , 2009
  
(Implementierung: owenge.tar.gz)
• Sebastian Behr:
  Grammatikalische Prüfung von deutschen Texten und Fehleranalyse auf Basis von Attributgrammatiken , 2009
  
(Implementierung: sb.tar.gz)
• Igor Geier:
  Implementierung eines parametrisch polymorphen Typherleitungssystems für eine funktionale Kernsprache mit rekursivem let und Nichtdeterminismus , 2009
• Nejat Altug Anis und Muhammed Rasim Sayar:
  Implementierung von Algorithmen zur Grammatik-basierten Kompression von Second-Order Termen auf der Basis von Singleton Tree Grammars, 2009
  (Implementierung: PLAUNIF2009.zip)
• Said Sadegh Nezhadian:
  Implementierung von Varianten des Davis-Putnam-Logemann-Loveland Verfahrens in Haskell, 2009
• Conrad Rau:
  Automatische Prüfung und Berechnung von Überlappungen zum Vollständigkeitsnachweis von Diagrammen in Programmiersprachen höherer Ordnung, 2009

• Hermine Reichau:
  Untersuchung alternativer nicht-deterministischer Lambda-Kalküle zur Implementierung der Montague-Semantik, 2006
• Dereje Tewolde Habtemariam:
  Simulation von Prüfungsordnungen und Studiengängen mit Hilfe von Constraint-logischer Programmierung
  Die zugehörige Implementierung in ECLiPSe.

• Jörn Gersdorf:
  Untersuchungen zu einigen Problemklassen des Context-Matching und Implementierung ausgewählter Algorithmen in der funktionalen Programmiersprache Haskell, 2004
  Die zugehörige Implementierung in Haskell: ContextMatching.tar.gz
• Christopher Stamm:
  Implementierung eines generischen Interpreters für Termersetzungssysteme höherer Ordnung auf Basis einer strukturellen operationalen Semantik, 2004

• David Sabel:
  Realisierung der Ein-/Ausgabe in einem Compiler für Haskell bei Verwendung einer nichtdeterministischen Semantik, 2003
  Dazu wurde der Haskell-Compiler GHC modifiziert: HasFuse

• Alexander Sporn:
  Entwurf einer agentengestützten Benutzungsschnittstelle für einen digitalen Empfänger für Satellitenfernsehen, 2002

• Michael Huber:
  JONAH: Ein System zur Validierung von Reduktionsdiagrammen in nichtdeterministischen Lambda-Kalkülen mit Let-Ausdrücken, Letrec-Ausdrücken und Konstruktoren, (komprimiert), 2000
• Thomas Harfeld:
  Verifikation und Fehlersuche mit Hilfe von Assertions für die nicht-strikte funktionale Programmiersprache Haskell, (komprimiert), 2000
  Dazu wurde der Haskell-Interpreter Hugs modifiziert: Hugs mit Zusicherungen.

• Dirk Rehberger:
  Erweiterung der Kontextanalyse für nicht-strikte funktionale Programmiersprachen um Funktionskontexte, (komprimiert), 1999
• Matthias Mann:
  Gleichheitsanalyse von Ausdrücken in nicht-strikten funktionalen Programmiersprachen unter Verwendung der Kontextanalyse, (komprimiert), 1999
  Das dazugehörige Programm (127K) kann man auch über ein WWW-Interface benutzen.

• Dieter Schmidt:
  Entwurf und Implementierung eines Crosscompilers von FunLog++ mach Java, 1998
• Karmela Galic:
  Implementierung von Arithmetik, Ordnungsrelation und Unifikation für semibekannte Werte im Pro.M.D.-System unter besonderer Berücksichtigung stochastischer Variablen in Momentdarstellung, 1998
• Michael Steppe:
  Information, Wissen, Repräsentation - Eine Untersuchung einiger Grundbegriffe in der Informatik, 1998
• Sabine Schneider:
  Vergleich verschiedener Constraint-Satisfaction-Problem-Lösungsverfahren unter Verwendung der Beispielprobleme: Chinese Postman, Mapcoloring und Erfüllbarkeit, 1998

• Per Anders Beckmann:
  Ein interaktives System zur Verwaltung von funktionalen Programmen, unter Benutzung einer durch HTML erzeugten Benutzeroberfläche, 1997
• Claudia Höhl:
  Funktionale Implementierung eines Unfikationsalgorithmus für Stratified Second-Order Terme, 1997
• Norbert Klose:
  n-Pack Transformation im Rahmen eines Front-Ends für Haskell, 1997
• Ralph Nitsch:
  Implementierung eines Deduktionssystems für eine nichtmonotone Logik basierend auf einem Resolutionsverfahren für Constraint-Klauseln, 1997.

• Hubert Kick:
  Terminierungsanalyse für den Sprachkern einer nicht-strikten Programmiersprache unter Verwendung eines Tableaukalküls für abstrakte Reduktion, 1996
• Stefan Höhne:
  Wortstellung in deutschen Infinitiven:
  Konzeption eines Parsers auf der Basis von typisierten Merkmalsstrukturen und HPSG und Implementierung in einer constraint-basierten logischen Programmiersprache, 1996
• Bernd Rest:
  Optimierende Transformationen zur Übersetzung einer funktionalen Kernsprache in STG-Code, 1996
• Markus Schmidt:
  Entwicklung und Implementierung eines Typinferenzsystems mit Dimensionstypen für funktionale Sprachen, 1996

• Christina Dietz:
  Konzeption eines Expertensystems zur Entscheidungsunterstützung des Arztes bei der individuellen Nachsorge von Tumorpatienten, 1995
• Thorsten Buchinger:
  Abstrakte Maschinen zur Auswertung funktionaler Sprachen: Vergleich, Analyse, Optimierung, 1995
• Frank Kiesel:
  Implementierung eines Übersetzers zur Erzeugung von effizientem C-Code aus funktionalem STG-Code, 1995

• Oliver Hein:
  Implementierung und Optimierung evolutionärer Programme mit Anwendung auf Tourenplanung mit Zeitfenstern, 1994
• Frank Burow:
  Ein objektorientierter Ansatz für die Behandlung von Wissensbasen in der Expertensystemschale Pro.M.D., 1994
• Marko Schütz:
  Striktheits-Analyse mittels abstrakter Reduktion für den Sprachkern einer nicht-strikten funktionalen Programmiersprache, 1994
  Programm zur Diplomarbeit von Marko Schütz (Haskell 1.2)
• Pok-Son Kim:
  Optimierung und Simplifikation von Anfragen an eine KL-ONE-Wissensbasis, 1994
  Programm zur Diplomarbeit von Pok-Son Kim (Gofer-Programm)
• Michael Grabarczyk:
  Implementierung eines kontrollmengengesteuerten Default Schlussfolgerungsmechanismus mit bedingten Klauseln, 1994

• Jens Melzer:
  Analyse der Abhängigkeitsstruktur von Variablen in Pro.M.D.-Wissensbasen zur Fehlererkennung und Codegenerierung, 1993
• Marcus Moos:
  Übersetzung von Pro.M.D.-Wissensbasen in funktionale Sprachen, 1993
• Matthias Hau:
  Implementation und Optimierung genetischer Algorithmen zur Lösung von Job Shop Scheduling-Problemen, 1993

• Stefan Walther:
  Ein Konzept zur Verarbeitung eines Gewissheitsmasses in einem regelbasierten Diagnosesystem, 1992

uni ffm © 1997, 2004