Enrico Tronci

Pubblicazioni

Titolo Pubblicato in Anno
Sexual attraction to visual sexual stimuli in association with steroid hormones across menstrual cycles and fertility treatment PSYCHONEUROENDOCRINOLOGY 2023
The androgen system across the menstrual cycle: Hormonal, (epi-)genetic and psychometric alterations PHYSIOLOGY & BEHAVIOR 2023
Complete populations of virtual patients for in silico clinical trials BIOINFORMATICS 2021
Reconciling interoperability with efficient Verification and Validation within open source simulation environments SIMULATION MODELLING PRACTICE AND THEORY 2021
Visualisation of Control Software for Cyber-Physical Systems INFORMATION 2021
On checking equivalence of simulation scripts THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 2021
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management APPLIED ARTIFICIAL INTELLIGENCE 2021
Mathematical Modeling and Simulation Provides Evidence for New Strategies of Ovarian Stimulation FRONTIERS IN ENDOCRINOLOGY 2021
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2021
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS 2021
Cognitive function in association with high estradiol levels resulting from fertility treatment HORMONES AND BEHAVIOR 2021
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking CEUR workshop proceedings 2020
In silico clinical trials through AI and statistical model checking Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, Logic, Automata, and Synthesis, OVERLAY 2019 2020
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks FUNDAMENTA INFORMATICAE 2020
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins FUNDAMENTA INFORMATICAE 2020
Neuroprediction and A.I. in Forensic Psychiatry and Criminal Justice: A Neurolaw Perspective FRONTIERS IN PSYCHOLOGY 2020
Monte carlo based statistical model checking of cyber-physical systems: A review INFORMATION 2020
AI-guided synthesis of personalised pharmacological treatments via in silico clinical trials CEUR workshop proceedings 2020
Associations between natural physiological and supraphysiological estradiol levels and stress perception FRONTIERS IN PSYCHOLOGY 2019
SBML2Modelica: Integrating biochemical models within open-standard simulation ecosystems BIOINFORMATICS 2019

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma