Laufende Studienarbeiten

Studienarbeiten

• Themenvorschläge für Studien- und Abschlussarbeiten
• Abgeschlossene Arbeiten
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Laufende Studienarbeiten

Toggle side column

Laufende Studienarbeiten

Masterarbeiten

• Implementierung und Evaluierung von Graph-Partitionierungsalgorithmen für eine DORA-Architektur
• Betreuer: Wolfgang Lehner, Dirk Habich, Alexander Krause
• Bereits vergeben als Thema einer Masterarbeit seit 23 November 2015