Publikation (Autor/in) Integer linear programming vs. graph-based methods in code generation 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 Verfahren und Anordnung zur Stabilisierung des Schaumbildes von Bier Patent
ausgewählte Veröffentlichungen dokument Integer linear programming vs. graph-based methods in code generation 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