Hochdimensionale Boolesche Probleme
- Effizienzsteigerung durch Verarbeitung von Ternärvektorlisten-Tupeln
- Dekompositionsstrategien
- Data Mining durch Dekomposition mehrwertiger Funktionen
- Theorie Boolescher Ringe - Special Normal Form (SNF)
- Exakte ESOP-Minimierung
- Neuronale Netze
Parallelverarbeitung/Softwaretechnologie
- Methoden zur Entwicklung nebenläufiger Algorithmen basierend auf der Unified Modelling Language (UML)
- Methoden zum Hardware/Software Codedesign für nebenläufige verteilte eingebettete Systeme ausgehend von einer UML-Modellierung
- Test von Softwaresystemen