Maintenance: On Thursday, June 28 2018, 18:00-18:15, maintenance work on the ZORA servers is scheduled. ZORA will not be available during this period. Thank you for your patience.
Ehrig, R; Dierkes, T; Schäfer, S; Röblitz, S; Tronci, E; Salvo, I; Alimguzhin, V; Mari, F; Melatti, I; Massini, A; Kruger, T H C; Egli, M; Ille, F; Leeners, B (2016). An integrative approach for model driven computation of treatments in reproductive medicine. ZIB-Report:1-22.
Tronci, E; Mancini, T; Salvo, I; Sinsi, S; Mari, F; Melatti, I; Massini, A; Davì, F; Dierkes, T; Ehrig, R; Röblitz, S; Leeners, B; Krüger, T H C; Egli, M; Ille, F (2014). Patient-specific models from inter-patient biological models and clinical records. In: Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design, Lausanne, 2014 - 2014, 207-214.