selected publications Dokument Schlussbericht zum Verbundprojekt "Integrierte energiesparende Multi-Prozessorplattform für autonomes elektrisches Fahren - EMPHASE" : Teilprojekt "Erweiterung von Werkzeugen zur statischen Analyse von Software gemäß den Anforderungen des Projekts" : Laufzeit des Vorhabens: 01.01.2017-31.03.2020 2020 Integer linear programming vs. graph-based methods in code generation 2005 Patent Verfahren und Anordnung zur Stabilisierung des Schaumbildes von Bier