| 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 | 88 | 2016 |
| Algorithms for computing backbones of propositional formulae M Janota, I Lynce, J Marques-Silva Ai Communications 28 (2), 161-177, 2015 | 86 | 2015 |
| 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, 271528, 2017 | 81 | 2017 |
| System level formal verification via model checking driven simulation T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci International Conference on Computer Aided Verification, 296-312, 2013 | 73 | 2013 |
| Finite satisfiability of UML class diagrams by Constraint Programming M Cadoli, D Calvanese, G De Giacomo, T Mancini CSP Techniques with Immediate Application (CSPIA) 2, 2-16, 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 | 60 | 2016 |
| 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 | 59 | 2020 |
| 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 | 53 | 2017 |
| Finite model reasoning on UML class diagrams via constraint programming M Cadoli, D Calvanese, G De Giacomo, T Mancini Congress of the Italian Association for Artificial Intelligence, 36-47, 2007 | 53 | 2007 |
| 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 | 47 | 2015 |
| Detecting and breaking symmetries by reasoning on problem specifications T Mancini, M Cadoli International Symposium on Abstraction, Reformulation, and Approximation …, 2005 | 47 | 2005 |
| 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 | 42 | 2014 |
| SAT as an effective solving technology for constraint problems M Cadoli, T Mancini, F Patrizi International Symposium on Methodologies for Intelligent Systems, 540-549, 2006 | 41 | 2006 |
| 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 | 40 | 2014 |
| 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 | 40 | 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 | 39 | 2020 |
| Evaluating ASP and commercial solvers on the CSPLib T Mancini, D Micaletto, F Patrizi, M Cadoli Constraints 13 (4), 407-436, 2008 | 39 | 2008 |
| The impact of machine learning in predicting risk of violence: A systematic review G Parmigiani, B Barchielli, S Casale, T Mancini, S Ferracuti Frontiers in psychiatry 13, 1015914, 2022 | 38 | 2022 |
| Combining relational algebra, SQL, constraint modelling, and local search M Cadoli, T Mancini Theory and Practice of Logic Programming 7 (1-2), 37-65, 2007 | 38 | 2007 |
| 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 | 37 | 2018 |
Enrico TronciSapienza University of RomeVerified email at di.uniroma1.it
