Martin-Luther-Universität Halle-Wittenberg

Logo des Lehrstuhls Software-Engineering und Progammiersprachen

Weiteres

Login für Redakteure

Abgeschlossene Master-Arbeiten am Lehrstuhl Prof. Dr. Zimmermann

Abgeschlossene Arbeiten: Master Informatik

Knispel, Felix: Untersuchungen von Baumersetzungsstrategien zur Überführung von arithmetischen Ausdrücken in ein Polynom (2016)

Clare, Stefan: Automatische Layoutgenerierung von Pumpensystemen (2015)

Matthias Bady: Spezifikation, Modellierung und Simulation von Materialflüssen in der Virtuellen Inbetriebnahme. (2015)

Michael Heilmann: Datenflussanalysen über Service-Orientierten Systemen (2014)

Sven Mertke: Konzeption und Integration eines Erreichbarkeitsprüfers für Prozessersetzungssysteme (2014)

Benjamin Saul: Untersuchungen zu asynchronen Iterationen(2013); ausgezeichnet mit dem Best-Paper-Award der Informatiktage 2014

Jim Dakoury: Typprüfung für dynamische Sprachen am Beispiel von PHP5 (2012)

Abgeschlossene Arbeiten: Master Bioinformatik

Abgeschlossene Arbeiten: Master Wirtschaftsinformatik

Tobias Pache: Übersetzungen von ILP-Resultaten in
Anwendungsbereiche am Beispiel der Pumpendomäne (2014)

Christoph Panser: Verifikation von Compliance-Anforderungen in Service-Orientierten Architekturen mit Methoden der Protokollprüfung (2012)

Zum Seitenanfang