| 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 | 47 | 2020 |
| 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 | 33 | 2020 |
| Linearizing discrete-time hybrid systems V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci IEEE Transactions on Automatic Control 62 (10), 5357-5364, 2017 | 28 | 2017 |
| 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 | 24 | 2021 |
| Automatic control software synthesis for quantized discrete time hybrid systems V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci 2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 6120-6125, 2012 | 18 | 2012 |
| On model based synthesis of embedded control software V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci Proceedings of the tenth ACM international conference on Embedded software …, 2012 | 15 | 2012 |
| On-the-fly control software synthesis V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci International SPIN Workshop on Model Checking of Software, 61-80, 2013 | 12 | 2013 |
| A glimpse of smarthg project test-bed and communication infrastructure V Alimguzhin, F Mari, I Melatti, E Tronci, E Ebeid, SA Mikkelsen, ... 2015 Euromicro Conference on Digital System Design, 225-232, 2015 | 11 | 2015 |
| A map-reduce parallel approach to automatic synthesis of control software V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci International SPIN Workshop on Model Checking of Software, 43-60, 2013 | 9 | 2013 |
| An integrative approach for model driven computation of treatments in reproductive medicine R Ehrig, T Dierkes, S Schäfer, S Röblitz, E Tronci, T Mancini, I Salvo, ... BIOMAT 2015: International Symposium on Mathematical and Computational …, 2016 | 2 | 2016 |
| 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 |
| Electricity Network Constraint Management using Individualised Demand Aware Price Policies. I Melatti, V Alimguzhin, F Mari, M Prodanovic, BP Hayes OVERLAY, 71-76, 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 |
| Control Software Synthesis for Cyber-Physical Systems with QKS. V Alimguzhin, F Mari, I Melatti OVERLAY@ AI* IA, 95-100, 2019 | | 2019 |
| 2017 Index IEEE Transactions on Automatic Control Vol. 62 OM Aamo, J Abad Torres, A Abdessameud, K Abidi, S Abrashov, ... IEEE Transactions on Automatic Control 62 (12), 6665, 2017 | | 2017 |
| A parallel approach to control software synthesis V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci ITIDS+ RRS'2014, 114-117, 2014 | | 2014 |
| Model based design of control software for nonlinear discrete time hybrid systems VP Alimguzhin, FP Mari, IA Melatti, IA Salvo, EA Tronci Вестник Уфимского государственного авиационного технического университета 17 …, 2013 | | 2013 |
| 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 RomeVerifierad e-postadress på di.uniroma1.it
