Überblick der Themenbereiche

Liste der aus Abschlussarbeiten hervorgegangenen, wissenschaftlichen Publikationen.

B / Event-B / Sicherheitskritische Systeme

Logische Programmierung

Künstliche Intelligenz und Machine Learning

Compilerbau

Misc.