| Neuroprediction and ai in forensic psychiatry and criminal justice: A neurolaw perspective L Tortora, G Meynen, J Bijlsma, E Tronci, S Ferracuti Frontiers in psychology 11, 220, 2020 | 86 | 2020 |
| Residential demand management using individualized demand aware price policies B Hayes, I Melatti, T Mancini, M Prodanovic, E Tronci IEEE Transactions on Smart Grid 8 (3), 1284-1294, 2016 | 84 | 2016 |
| Bounded Probabilistic Model Checking with the Murφ Verifier G Della Penna, B Intrigila, I Melatti, E Tronci, MV Zilli International Conference on Formal Methods in Computer-Aided Design, 214-229, 2004 | 75 | 2004 |
| Electric power system anomaly detection using neural networks M Martinelli, E Tronci, G Dipoppa, C Balducelli International conference on knowledge-based and intelligent information and …, 2004 | 71 | 2004 |
| System level formal verification via model checking driven simulation T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 69 | 2013 |
| Lack of associations between female hormone levels and visuospatial working memory, divided attention and cognitive bias across two consecutive menstrual cycles B Leeners, THC Kruger, K Geraedts, E Tronci, T Mancini, F Ille, M Egli, ... Frontiers in behavioral neuroscience 11, 120, 2017 | 67 | 2017 |
| Exploiting transition locality in automatic verification of finite-state concurrent systems G Della Penna, B Intrigila, I Melatti, E Tronci, M Venturini Zilli International Journal on Software Tools for Technology Transfer 6, 320-341, 2004 | 62 | 2004 |
| SyLVaaS: System level formal verification as a service T Mancini, F Mari, A Massini, I Melatti, E Tronci Fundamenta Informaticae 149 (1-2), 101-132, 2016 | 56 | 2016 |
| Validation and verification issues in a timeline-based planning system A Cesta, A Finzi, S Fratini, A Orlandini, E Tronci The Knowledge Engineering Review 25 (3), 299-318, 2010 | 54 | 2010 |
| Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles MP Hengartner, THC Kruger, K Geraedts, E Tronci, T Mancini, F Ille, ... Journal of psychosomatic research 99, 21-27, 2017 | 48 | 2017 |
| Computing biological model parameters by parallel statistical model checking T Mancini, E Tronci, I Salvo, F Mari, A Massini, I Melatti International Conference on Bioinformatics and Biomedical Engineering, 542-554, 2015 | 46 | 2015 |
| Finite horizon analysis of Markov Chains with the Murϕ verifier GD Penna, B Intrigila, I Melatti, E Tronci, MV Zilli International Journal on Software Tools for Technology Transfer 8, 397-409, 2006 | 45* | 2006 |
| 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 | 42 | 2020 |
| Demand-aware price policy synthesis and verification services for smart grids T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ... 2014 IEEE International Conference on Smart Grid Communications …, 2014 | 40 | 2014 |
| Analyzing flexible timeline-based plans A Cesta, A Finzi, S Fratini, A Orlandini, E Tronci ECAI 2010, 471-476, 2010 | 40 | 2010 |
| System level formal verification via distributed multi-core hardware in the loop simulation T Mancini, F Mari, A Massini, I Melatti, E Tronci 2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014 | 39 | 2014 |
| Fluid petri nets and hybrid model-checking: A comparative case study M Gribaudo, A Horváth, A Bobbio, E Tronci, E Ciancamerla, M Minichino Reliability Engineering & System Safety 81 (3), 239-257, 2003 | 39 | 2003 |
| Anytime system level verification via random exhaustive hardware in the loop simulation T Mancini, F Mari, A Massini, I Melatti, E Tronci 2014 17th Euromicro Conference on Digital System Design, 236-245, 2014 | 37 | 2014 |
| Automatic synthesis of controllers from formal specifications E Tronci Proceedings Second International Conference on Formal Engineering Methods …, 1998 | 37 | 1998 |
| 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, ... Intelligenza Artificiale, 1-16, 2018 | 36 | 2018 |
Igor MelattiDepartment of Computer Science, Sapienza University of RomeVerified email at di.uniroma1.it
