List View
 |   | 
   web
Author Title Year Publication Publisher ISSN ISBN DOI Volume Pages
Driouich, Y.; Parente, M.; Tronci, E. Model Checking Cyber-Physical Energy Systems 2018 Proceedings of 2017 International Renewable and Sustainable Energy Conference, IRSEC 2017 Institute of Electrical and Electronics Engineers Inc. 10.1109/IRSEC.2017.8477334
Mancini, T.; Tronci, E.; Scialanca, A.; Lanciotti, F.; Finzi, A.; Guarneri, R.; Di Pompeo, S. Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network 2018 25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) 10.29007/grw9
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Salvo, I.; Sinisi, S.; Tronci, E.; Ehrig, R.; Röblitz, S.; Leeners, B. Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction 2018 25th RCRA International Workshop on “Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion” (RCRA 2018) 10.29007/g864
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
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
Mancini, T.; Mari, F.; Massini, A.; Melatti, I.; Tronci, E. On Checking Equivalence of Simulation Scripts 2021 Journal of Logical and Algebraic Methods in Programming 2352-2208 10.1016/j.jlamp.2021.100640 100640
Leeners, B.; Krueger, T.; Geraedts, K.; Tronci, E.; Mancini, T.; Ille, F.; Egli, M.; Roeblitz, S.; Wunder, D.; Saleh, L.; Schippert, C.; Hengartner, M.P. Cognitive function in association with high estradiol levels resulting from fertility treatment 2021 Hormones and Behavior 0018-506x 10.1016/j.yhbeh.2021.104951 130 104951
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
Sinisi, S.; Alimguzhin, V.; Mancini, T.; Tronci, E.; Mari, F.; Leeners, B. Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins 2020 IOS Press 1875-8681 10.3233/FI-2020-1943 174 283-310
Chen, Q.M.; Finzi, A.; Mancini, T.; Melatti, I.; Tronci, E. MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks 2020 IOS Press 1875-8681 10.3233/FI-2020-1941 174 229-258