Learning and statistical model checking of system response times. - Bernhard K. Aichernig; Priska Bauerstätter; Elisabeth Jöbstl; Severin Kann; Robert Korosec; Willibald Krenn; Cristinel Mateis; Rupert Schlick; Richard Schumi (Softw. Qual. J., 2019)

Compartment Modeling of Overweight in Toddler Age: Modeling and Simulating a Diets Effect with COPASI. - Priska Bauerstätter (Simul. Notes Eur., 2022)