List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume (down) Pages
Melatti, Igor; Palmer, Robert; Sawaya, Geoffrey; Yang, Yu; Kirby, Robert Mike; Gopalakrishnan, Ganesh Parallel and distributed model checking in Eddy 2009 Int. J. Softw. Tools Technol. Transf. Springer-Verlag 1433-2779 10.1007/s10009-008-0094-x 11 13-25
Leeners, B.; Kruger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Röblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Hengartner, M.P. Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles 2017 Frontiers in Behavioral Neuroscience 1662-5153 10.3389/fnbeh.2017.00120 11 120
Tortora, L.; Meynen, G.; Bijlsma, J.; Tronci, E.; Ferracuti, S. Neuroprediction and A.I. in Forensic Psychiatry and Criminal Justice: A Neurolaw Perspective 2020 Frontiers in Psychology 1664-1078 10.3389/fpsyg.2020.00220 11 220
Pappagallo, A.; Massini, A.; Tronci, E. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review 2020 Information 10.3390/info11120588 11
Leeners, B.; Krueger, T.H.C.; Geraedts, K.; Tronci, E.; Mancini, T.; Egli, M.; Roeblitz, S.; Saleh, L.; Spanaus, K.; Schippert, C.; Zhang, Y.; Ille, F. Associations Between Natural Physiological and Supraphysiological Estradiol Levels and Stress Perception 2019 Frontiers in Psychology 1664-1078 10.3389/fpsyg.2019.01296 10 1296
Tronci, Enrico Introductory Paper 2006 Sttt 10.1007/s10009-005-0212-y 8 355-358
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Finite horizon analysis of Markov Chains with the Mur$\varphi$ verifier 2006 Int. J. Softw. Tools Technol. Transf. Springer-Verlag 1433-2779 10.1007/s10009-005-0216-7 8 397-409
Hayes, B. P. ; Melatti, I.; Mancini, T.; Prodanovic, M.; Tronci, E. Residential Demand Management using Individualised Demand Aware Price Policies 2017 IEEE Transactions On Smart Grid 10.1109/TSG.2016.2596790 8 1284-1294
Della Penna, Giuseppe; Intrigila, Benedetto; Melatti, Igor; Tronci, Enrico; Venturini Zilli, Marisa Exploiting Transition Locality in Automatic Verification of Finite State Concurrent Systems 2004 Sttt 10.1007/s10009-004-0149-6 6 320-341
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Linear Constraints and Guarded Predicates as a Modeling Language for Discrete Time Hybrid Systems 2013 International Journal on Advances in Software IARIA 1942-2628 vol. 6, nr 1&2 155-169