11573/1473413 - 2021 -
Complete populations of virtual patients for in silico clinical trials Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Leeners, B - 01a Articolo in rivista
rivista: BIOINFORMATICS (-Oxford : Oxford University Press, 1998-) pp. 1-8 - issn: 1367-4803 - wos: WOS:000661074700027 (17) - scopus: 2-s2.0-85098709878 (31)
11573/1692370 - 2021 -
Complete populations of virtual patients for in silico clinical trials Sinisi, S; Alimguzhin, V; Mancini, T; Tronci, E; Leeners, B - 01a Articolo in rivista
rivista: BIOINFORMATICS ([Oxford] : Oxford University Press) pp. 5465-5472 - issn: 1367-4811 - wos: WOS:000661074700027 (17) - scopus: 2-s2.0-85098709878 (29)
11573/1503174 - 2021 -
Reconciling interoperability with efficient Verification and Validation within open source simulation environments Sinisi, Stefano; Alimguzhin, Vadim; Mancini, Toni; Tronci, Enrico - 01a Articolo in rivista
rivista: SIMULATION MODELLING PRACTICE AND THEORY (Elsevier BV:PO Box 211, 1000 AE Amsterdam Netherlands:011 31 20 4853757, 011 31 20 4853642, 011 31 20 4853641, EMAIL: nlinfo-f@elsevier.nl, INTERNET: http://www.elsevier.nl, Fax: 011 31 20 4853598) pp. 1-20 - issn: 1569-190X - wos: WOS:000638003500001 (6) - scopus: 2-s2.0-85101322793 (17)
11573/1390446 - 2020 -
In silico clinical trials through AI and statistical model checking Alimguzhin, V.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E. - 04b Atto di convegno in volume
congresso: 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 (Rende; Italy)
libro: Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 - ()
11573/1359936 - 2020 -
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking Calabrese, A.; Mancini, T.; Massini, A.; Sinisi, S.; Tronci, E. - 04b Atto di convegno in volume
congresso: 2019 Joint RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion and of the RCRA Incontri e Confronti Workshop, RCRA + RiCeRcA 2019 (Rende; Italy)
libro: CEUR Workshop Proceedings - ()
11573/1570832 - 2020 -
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B. - 04b Atto di convegno in volume
congresso: 2nd Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2020 (online)
libro: CEUR Workshop Proceedings - ()
11573/1390455 - 2020 -
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins Sinisi, Stefano; Alimguzhin, Vadim; Mancini, Toni; Tronci, Enrico; Mari, Federico; Leeners, Brigitte - 01a Articolo in rivista
rivista: FUNDAMENTA INFORMATICAE (IOS Press:Nieuwe Hemweg 6B, 1013 BG Amsterdam Netherlands:011 31 20 6883355, EMAIL: r.tosendjojo@iospress.nl, INTERNET: http://www.iospress.nl, Fax: 011 31 20 6203419) pp. 283-313 - issn: 0169-2968 - wos: WOS:000582723300005 (11) - scopus: 2-s2.0-85093362193 (25)
11573/1123936 - 2018 -
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, Stefano; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, And B. - 04b Atto di convegno in volume
congresso: 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 (Oxford, UK)
libro: Proceedings of the 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 - ()
11573/645261 - 2014 -
Patient-Specific Models from Inter-Patient Biological Models and Clinical Records Tronci, Enrico; Mancini, Toni; Salvo, Ivano; Sinisi, Stefano; Mari, Federico; Melatti, Igor; Massini, Annalisa; Davi', Francesco; T., Dierkes; R., Ehrig; S., Roeblitz; B., Leeners; T. H. C., Krüger; M., Egli; F., Ille - 04b Atto di convegno in volume
congresso: 14th Conference in Formal Methods in Computer-Aided Design ()
libro: Proceedings of the 14th Conference in Formal Methods in Computer-Aided Design - ()