Quantified integer programming with polyhedral and decision-dependent uncertainty
Hartisch, Michael2020Development and certification of dependable mixed-criticality embedded systems
Larrucea Ortube, Asier2017Wechselwirkungskonzepte der Physik und ihre Propädeutik für die gymnasiale Oberstufe
Launer, Sebastian2020