Bachelor

Transformation of Parity Automata into Büchi-Automata

for Degree:

Contact Person:

Software Engineering

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Torben Scheffel

Modul:

CS2300SJ14,

CS2300,

CS2300-MIW

Förderung ökonomischer Fahrweise durch die Entwicklung einer App zur intelligenten Vorhersage von Verkehrszeichen

for Degree:

Seminar Concepts of Programming Languages (CoPL)

Lecturer:

Prof. Dr. Martin Leucker

Assistants:

Sebastian Hungerecker , Malte Schmitz

Modul:

CS 3702 BachSemInf,

CS 3703 BachSemMI,

CS 5480 SemSSE,

CS 5840 SemiEngl

Integration eines neuen Serialisierungs- und Übertragungsprotokolls in das ZeLiM-System

for Degree:

Contact Person:

Datenschutz im Straßenverkehr - Wie sensibel sind die gesammelten Daten? Eine Analyse im Kontext von Green Navigation

for Degree:

RESTful Webservice für Webapplikationen am Beispiel eines Hochschulsport-Buchungssystems

for Degree:

Contact Person:

Algebraische Strukturen: Beispiele und Anwendungen im Routing

for Degree:

Erweiterung von Freeze-LTL auf mehrfach attributierten Datenwörtern um 2 neue Quantoren

for Degree:

Refactoring und Erweiterung der Hard- und Software-Architektur des eRoller-Systems

for Degree:

Contact Person:

Pages