Aktuelle und abgeschlossene Arbeiten

Realisierung einer REST-konformen Schnittstelle zur Ansteuerung des humanoiden Roboters NAO (Bachelor-Arbeit, abgeschlossen, 2016)

Entwicklung eines Intervall-basierten Produktkonfigurators mit installierbaren Komponenten (Master-Arbeit, in Bearbeitung, 2016)

Autonome Kartenerstellung von Robotern auf der Grundlage von Mikroservices (Master-Arbeit, abgeschlossen, 2016) 

Integration eines C++-Solvers zur Constraint-imperativen Programmierung in Java (Bachelor-Arbeit, abgeschlossen, 2016)

Entwurf und Implementierung eines IoT-basierten Kommunikations- und Steuerungsframeworks für mobile Robotersysteme
(Masterarbeit, abgeschlossen, 2016)

Constraint-basiertes Planen und optimiertes Platzieren von Fernsehwerbung
(Bachelorarbeit, abgeschlossen, 2016)

Zerlegung und Lösung komplexer Dienstplanungsprobleme
(Masterarbeit, abgeschlossen, 2015) 

Model-driven Development of an Interpreter for Analysis of Messages in Networks with different Protocols
(Masterarbeit, abgeschlossen, 2014)

Entwicklung einer interaktiven, graphischen benutzeroberfläche für den constrain-basierten Konfigurator RANGECONFIG
(Bachelorarbeit, abgeschlossen, 2014)

Entwickling eines constraint-basierten Produktkonfigurators RANGECONFIG
(Bachelorarbeit, abgeschlossen, 2014)

TamaNAO - Imitation von Bedürfnissen und Emotionen auf dem humanoiden Roboter NAO
(Bachelorarbeit, abgeschlossen 2013)

Ein Compilerfrontend für eine constraint-basierte funktionale Sprache
(Bachelorarbeit, abgeschlossen, 2013)

Constaint-basierte Planung und Optimierung von Prüfungsterminen
(Bachelorarbeit, abgeschlossen, 2013)

Entwurf und Implementierung einer grafischen Benutzeroberfläche zur Planung von Prüfungsterminen (Bachelorarbeit, abgeschlossen, 2013)

Visualisierung von simulierten Bedürfnissen und Emotionen
(Bachelorarbeit, abgeschlossen, 2013)

Implementierung eines Interpreters für eine constraint-logische nebenläufige Sprache
(Bachelorarbeit, abgeschlossen, 2013)

Steuerung eines humanoiden Roboters mithilfe eines auf Bewegung reagierendes
Eingabegeräts (Bachelorarbeit, abgeschlossen, 2013)

Eine grafische, interaktive Benutzeroberfläche für den Constraint-
basierten Produktkonfigurator FdConfig (Bachelorarbeit, abgeschlossen, 2013)

Constraint-basierte Berechnung ausgeglichener und korrekter Rahmendienstpläne
in akzeptabler Berechnungszeit (Masterarbeit, abgeschlossen, 2013)

Implementierung eines verteilten Constraint-Speichers
(Bachelorarbeit, abgeschlossen, 2013)

Entwurf und Implementierung eines Interpreters für aCCFL
(Diplomarbeit, abgeschlossen, 2013)

Ein constraint-basiertes Prüfungsplanungssystem für die
BTU Cottbus (Bachelorarbeit, abgeschlossen, 2013)

Eine interaktive GUI für die constraint-basierte Stundenplanung
(Bachelorarbeit, abgeschlossen, 2012)

Ein automatisches Lager- und Transportsystem mit Lego
Mindstorms NXT (Bachelorarbeit, abgeschlossen, 2012)

Verteilte Nebenläufige Constraint-Programmierung
(Masterarbeit, abgeschlossen, 2012)

Dienstplanerstellung und -Optimierung mit Choco
(Bachelorarbeit, abgeschlossen, 2012)

Grafische, interaktive Produktkonfiguration mit
Finite-Domain-Constraints (Diplomarbeit, abgeschlossen, 2011)

Ein Interpreter für die funktional-reaktive Sprache Tempus
(Diplomarbeit, abgeschlossen, 2011)

Constraint-Programmierung mit Haskell -- Modellierung
exklusiver Ressourcenbelegung mit MCP (Bachlorarbeit, abgeschlossen,
2011, Publikation "Monadische Constraint-Programmierung")

Stundenplanung mit Choco
(Studienarbeit, abgeschlossen, 2011)