Enrico Tronci | Ricerc@Sapienza

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

Progetti di Ricerca

Capturing complex medical strategies for decision support via active learning, model checking and gamification

Gruppi di ricerca - Responsabile

MCLab: Model Checking Lab