| Complete populations of virtual patients for in silico clinical trials S Sinisi, V Alimguzhin, T Mancini, E Tronci, B Leeners Bioinformatics 36 (22-23), 5465-5472, 2020 | 40 | 2020 |
| Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, E Tronci, R Ehrig, ... | 36 | 2018 |
| Patient-specific models from inter-patient biological models and clinical records E Tronci, T Mancini, I Salvo, S Sinisi, F Mari, I Melatti, A Massini, F Davi, ... 2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014 | 36 | 2014 |
| Optimal personalised treatment computation through in silico clinical trials on patient digital twins S Sinisi, V Alimguzhin, T Mancini, E Tronci, F Mari, B Leeners Fundamenta Informaticae 174 (3-4), 283-310, 2020 | 29 | 2020 |
| Reconciling interoperability with efficient verification and validation within open source simulation environments S Sinisi, V Alimguzhin, T Mancini, E Tronci Simulation Modelling Practice and Theory 109, 102277, 2021 | 20 | 2021 |
| Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking A Calabrese, T Mancini, A Massini, S Sinisi, E Tronci CEUR WORKSHOP PROCEEDINGS 2538, 2020 | 6 | 2020 |
| METASAT: Modular Model-Based Design and Testing for Applications in Satellites L Kosmidis, AJ Calderón, AÁ Suárez, S Sinisi, E Göhler, PG Molinero, ... International Conference on Embedded Computer Systems, 347-362, 2023 | 5 | 2023 |
| Scenario-Based Methods for Machine Learning Assurance SIJA M. Hirschle, D. Kirov, R. Aievola, S. Sinisi 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023 | 1 | 2023 |
| Agile Model-Based Integration Framework for Advanced Software Validation and Verification G Stazi, S Sinisi, V Di Valerio, C Liu, D Uttberg, L Yapi, L Lazzara, ... AIAA SCITECH 2023 Forum, 2223, 2023 | 1 | 2023 |
| The METASAT Model-Based Engineering Workflow and Digital Twin Concept AJ Calderón, I Yarza, S Sinisi, L Lazzara, V Di Valerio, G Stazi, ... 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2024 | | 2024 |
| Artificial intelligence and model checking methods for in silico clinical trials S Sinisi Università degli Studi di Roma" La Sapienza", 2020 | | 2020 |
| AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials. S Sinisi, V Alimguzhin, T Mancini, E Tronci, F Mari, B Leeners OVERLAY, 59-64, 2020 | | 2020 |
| In silico clinical trials through AI and statistical model checking V Alimguzhin, T Mancini, A Massini, S Sinisi, E Tronci CEUR WORKSHOP PROCEEDINGS 2509, 17-22, 2020 | | 2020 |
| Complete populations of virtual patients for in silico clinical trials Supplementary material S Sinisi, V Alimguzhin, T Mancini, E Tronci, B Leeners | | |
Enrico TronciSapienza University of Rome在 di.uniroma1.it 的电子邮件经过验证
