Qualitative and quantitative formal model-based safety analysis : push the safety button

Magdeburg, Univ., Fak. für Informatik, Diss., 2011

"Morphologic, genetic, and biochemical characterisation of novel Heliobacter isolates from laboratory mice and tigers"

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2012

System-analytic safety evaluation of the hydrogen cycle for energetic utilization

Hydrogen, energy, safety, risk, production, transport, storage, filling station, fuelcell

Robust learning in safety-related domains : machine learning methods for solving safety-related application problems

Magdeburg, Univ., Fak. für Informatik, Diss., 2009

Optimal design for dose finding studies on safety and efficacy

Magdeburg, Univ., Fak. für Mathematik, Diss., 2009

Growth of semi-polar GaN on high index silicon (11h) substrates by metal organic vapor phase epitaxy

Magdeburg, Univ., Fak. für Naturwiss., Diss., 2014