Concepedia

Enrico Tronci

ET

Statistics

Publications

38

Citations

855

H-Index

19

Active since

2001

Affiliations

Sapienza University of Rome(Current)

University of L'Aquila

IMDEA Energy Institute

University Hospital of Zurich

Lucerne University of Applied Sciences and Arts

Enrico Tronci is an author at Sapienza University of Rome specializing in engineering, computer science, and formal verification.

ORCID

Top concepts

Publications per year

2001–2022

38

Publications

38

Residential Demand Management Using Individualized Demand Aware Price Policies

Barry Hayes, Igor Melatti, Toni Mancini et al. · IEEE Transactions on Smart Grid · 2016 · 62 citations · Full text

Exploiting transition locality in automatic verification of finite-state concurrent systems

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti et al. · International Journal on Software Tools for Technology Transfer · 2004 · 47 citations

, , +11

Complete populations of virtual patients for<i>in silico</i>clinical trials

Stefano Sinisi, Vadim Alimguzhin, Toni Mancini et al. · Bioinformatics · 2020 · 46 citations · Full text

Lack of Associations between Female Hormone Levels and Visuospatial Working Memory, Divided Attention and Cognitive Bias across Two Consecutive Menstrual Cycles

Brigitte Leeners, Tillmann H. C. Krüger, Kirsten Geraedts et al. · Frontiers in Behavioral Neuroscience · 2017 · 45 citations · Full text

Negative affect is unrelated to fluctuations in hormone levels across the menstrual cycle: Evidence from a multisite observational study across two successive cycles

Michael P. Hengartner, Tillmann H. C. Krüger, Kirsten Geraedts et al. · Journal of Psychosomatic Research · 2017 · 32 citations

, , +10

1–5 of 38