|
Author |
Title |
Year |
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 |
|
|
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 |
|
|
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 |
|
|
|
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 |
|
|
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 |
|