Stefano Sinisi

Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins

Toni Mancini, Enrico Tronci, Brigitte Leeners, 2020, Fundam. Informaticae.

In Silico Clinical Trials through AI and Statistical Model Checking

Toni Mancini, Annalisa Massini, Enrico Tronci, 2019, OVERLAY@AI*IA.

Computing Personalised Treatments through In Silico Clinical Trials

Toni Mancini, Annalisa Massini, Enrico Tronci, 2018, RCRA@FLoC.

AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials

Toni Mancini, Enrico Tronci, Brigitte Leeners, 2020, OVERLAY.

Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking

Toni Mancini, Annalisa Massini, Enrico Tronci, 2019, RCRA/RiCeRcA@AI*IA.

Patient-specific models from inter-patient biological models and clinical records

Toni Mancini, Annalisa Massini, Enrico Tronci, 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).

Reconciling interoperability with efficient Verification and Validation within open source simulation environments pdf

Toni Mancini, Enrico Tronci, Stefano Sinisi, 2021, Simul. Model. Pract. Theory.

Complete populations of virtual patients for in silico clinical trials

Toni Mancini, Enrico Tronci, Brigitte Leeners, 2020, Bioinform..