Enrico Tronci

Enrico Tronci

Università degli Studi di Roma La Sapienza - Rome / Italy
Engineering & Technology / Computer Science
AD Scientific Index ID: 1830634
Sapienza University of Rome
person_outline Enrico Tronci's MOST POPULAR ARTICLES
1-) Neuroprediction and ai in forensic psychiatry and criminal justice: A neurolaw perspectiveL Tortora, G Meynen, J Bijlsma, E Tronci, S FerracutiFrontiers in psychology 11, 220, 2020832020
2-) Residential demand management using individualized demand aware price policiesB Hayes, I Melatti, T Mancini, M Prodanovic, E TronciIEEE Transactions on Smart Grid 8 (3), 1284-1294, 2016822016
3-) Bounded Probabilistic Model Checking with the Murφ VerifierG Della Penna, B Intrigila, I Melatti, E Tronci, MV ZilliInternational Conference on Formal Methods in Computer-Aided Design, 214-229, 2004752004
4-) Electric power system anomaly detection using neural networksM Martinelli, E Tronci, G Dipoppa, C BalducelliInternational conference on knowledge-based and intelligent information and …, 2004712004
5-) System level formal verification via model checking driven simulationT Mancini, F Mari, A Massini, I Melatti, F Merli, E TronciComputer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013692013