Toni Mancini

About Toni Mancini

Toni Mancini, With an exceptional h-index of 27 and a recent h-index of 19 (since 2020), a distinguished researcher at Sapienza Università di Roma, specializes in the field of Artificial Intelligence, Formal Verification.

His recent articles reflect a diverse array of research interests and contributions to the field:

Special issue on embedded real-time applications

Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry

Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems

Sexual attraction to visual sexual stimuli in association with steroid hormones across menstrual cycles and fertility treatment

The androgen system across the menstrual cycle: Hormonal,(epi-) genetic and psychometric alterations

The impact of machine learning in predicting risk of violence: A systematic review

Food preferences throughout the menstrual cycle–A computer-assisted neuro-endocrino-psychological investigation

Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification

Toni Mancini Information

University

Position

Computer Science Department Italy

Citations(all)

1521

Citations(since 2020)

831

Cited By

1011

hIndex(all)

27

hIndex(since 2020)

19

i10Index(all)

47

i10Index(since 2020)

30

Email

University Profile Page

Google Scholar

Toni Mancini Skills & Research Interests

Artificial Intelligence

Formal Verification

Top articles of Toni Mancini

Special issue on embedded real-time applications

Real-Time Systems

2023/12

Toni Mancini
Toni Mancini

H-Index: 15

Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry

IEEE Transactions on Systems, Man, and Cybernetics: Systems

2023/11/17

Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems

IEEE Transactions on Software Engineering

2023/7/26

Sexual attraction to visual sexual stimuli in association with steroid hormones across menstrual cycles and fertility treatment

Psychoneuroendocrinology

2023/5/1

The androgen system across the menstrual cycle: Hormonal,(epi-) genetic and psychometric alterations

Physiology & Behavior

2023/2/1

The impact of machine learning in predicting risk of violence: A systematic review

2022/12/1

Toni Mancini
Toni Mancini

H-Index: 15

Stefano Ferracuti
Stefano Ferracuti

H-Index: 26

Food preferences throughout the menstrual cycle–A computer-assisted neuro-endocrino-psychological investigation

Physiology & Behavior

2022/10/15

Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification

IEEE Transactions on Software Engineering

2021/9/2

A two-layer near-optimal strategy for substation constraint management via home batteries

IEEE Transactions on Industrial Electronics

2021/8/13

MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks

arXiv e-prints

2021/6

Reconciling interoperability with efficient verification and validation within open source simulation environments

Simulation Modelling Practice and Theory

2021/5/1

Cognitive function in association with high estradiol levels resulting from fertility treatment

Hormones and behavior

2021/4/1

On checking equivalence of simulation scripts

Journal of Logical and Algebraic Methods in Programming

2021/4/1

Mathematical modeling and simulation provides evidence for new strategies of ovarian stimulation

Frontiers in endocrinology

2021/3/11

Artificial intelligence and model checking methods for in silico clinical trials

2020/12/14

Complete populations of virtual patients for in silico clinical trials

Bioinformatics

2020/12/1

AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.

2020/9/25

Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence.

2020/9/25

SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems

Bioinformatics

2020/4/1

Optimal personalised treatment computation through in silico clinical trials on patient digital twins

Fundamenta Informaticae

2020/1/1

See List of Professors in Toni Mancini University(Sapienza Università di Roma)

Co-Authors

academic-engine