@inproceedings{EhrigDierkesSchaeferetal., author = {Ehrig, Rainald and Dierkes, Thomas and Sch{\"a}fer, Stefan and R{\"o}blitz, Susanna and Tronci, Enrico and Mancini, Toni and Salvo, Ivano and Alimguzhin, Vadim and Mari, Federico and Melatti, Igor and Massini, Annalisa and Kr{\"u}ger, Tillmann H. C. and Egli, Marcel and Ille, Fabian and Leeners, Brigitte}, title = {An integrative approach for model driven computation of treatments in reproductive medicine}, series = {BIOMAT - Proceedings of the 15th International Symposium on Mathematical and Computational Biology, Rorkee, India}, booktitle = {BIOMAT - Proceedings of the 15th International Symposium on Mathematical and Computational Biology, Rorkee, India}, language = {en} } @inproceedings{ManciniSalvoMarietal., author = {Mancini, Toni and Salvo, Ivano and Mari, Federico and Melatti, Igor and Massini, Annalisa and Sinisi, Stefano and Tronci, Enrico and Davi, Francesco and Dierkes, Thomas and Ehrig, Rainald and R{\"o}blitz, Susanna and Leeners, Brigitte and Kr{\"u}ger, Tillmann H. C. and Egli, Marcel and Ille, Fabian}, title = {Patient-Specific Models from Inter-Patient Biological Models and Clinical Records}, series = {Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014)}, booktitle = {Proceedings of the 14th Conference on Formal Methods in Computer-Aided Design (FMCAD 2014)}, pages = {207 -- 214}, language = {en} }