toggle visibility Search & Display Options

Select All    Deselect All
List View
 |   | 
   print
  Author Title Year (up) Publication Publisher ISSN ISBN DOI Volume Pages Links
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 details   pdf doi
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 details   pdf doi
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 details   pdf doi
Pappagallo, A.; Massini, A.; Tronci, E. Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review 2020 Information 10.3390/info11120588 11 details   pdf doi
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 details   pdf doi
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 details   pdf doi
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 details   pdf doi
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 details   pdf doi
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 details   pdf doi
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 details   pdf doi
Select All    Deselect All
List View
 |   | 
   print

Save Citations:
Export Records: