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 | 83 | 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 | 81 | 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 | 68 | 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 | 62 | 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 | 55 | 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 | 46 | 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 | 40 | 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 | 37 | 2003 |
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 |
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 |