List View
 |   | 
Author Title Year Publication Publisher ISSN (down) ISBN DOI Volume Pages
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
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
Mari, Federico; Melatti, Igor; Tronci, Enrico; Finzi, Alberto A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET 2013 Mobile Information Systems IOS Press 1574-017x (Print) 1875-905X (Online) 10.3233/MIS-130162 3 261-280
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E. Reconciling interoperability with efficient Verification and Validation within open source simulation environments 2021 Simulation Modelling Practice and Theory 1569-190x 10.1016/j.simpat.2021.102277 102277
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
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
Maggioli, F.; Mancini, T.; Tronci, E. SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems 2019 Bioinformatics 1367-4803 10.1093/bioinformatics/btz860 36 2165â2172
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Leeners, B. Complete populations of virtual patients for in silico clinical trials 2021 Bioinformatics 1367-4803 10.1093/bioinformatics/btaa1026 1-8
Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico Model Based Synthesis of Control Software from System Level Formal Specifications 2014 ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY ACM 1049-331X 10.1145/2559934 23 Article 6
Bucciarelli, Antonio; Piperno, Adolfo; Salvo, Ivano Intersection types and λ-definability 2003 Mathematical Structures in Computer Science Cambridge University Press 0960-1295 10.1017/S0960129502003833 13 15-53