Toni Mancini

Full Professor, Department of Computer Science, Sapienza University of Rome

Joined

July 2019

Names

Toni Mancini

Emails

****@di.uniroma1.it (Confirmed)

Personal Links

Homepage

DBLP

ORCID

Career & Education History

Full Professor

Department of Computer Science, Sapienza University of Rome (uniroma1.it)

2024 – Present

Advisors, Relations & Conflicts

No relations added

Expertise

No areas of expertise listed

Publications

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
Toni Mancini, Leonardo Picchiami, Maxime Parmentier, Axel Legay, Enrico Tronci
- The Journal of Systems and Software, Elsevier
- Readers: Everyone
Simulation-Based Design of Industry-Size Control Systems with Formal Quality Guarantees
Toni Mancini, Marco Esposito, Leonardo Picchiami, Enrico Tronci, Alberto Leva
- IEEE Transactions on Industrial Informatics
- Readers: Everyone
Complete populations of virtual patients for in silico clinical trials
Toni Mancini
- OpenReview Archive Direct Upload
- Readers: Everyone
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification
Toni Mancini
- OpenReview Archive Direct Upload
- Readers: Everyone
Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
Toni Mancini
- OpenReview Archive Direct Upload
- Readers: Everyone
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry
Toni Mancini
- OpenReview Archive Direct Upload
- Readers: Everyone
Conditional Constraint Satisfaction: Logical Foundations and Complexity
Georg Gottlob, Gianluigi Greco, Toni Mancini
- 2007 (modified: 16 Jul 2019)
- IJCAI 2007
- Readers: Everyone
Complexity of Pure Equilibria in Bayesian Games
Georg Gottlob, Gianluigi Greco, Toni Mancini
- 2007 (modified: 16 Jul 2019)
- IJCAI 2007
- Readers: Everyone
CSP Properties for Quantified Constraints: Definitions and Complexity
Lucas Bordeaux, Marco Cadoli, Toni Mancini
- 2005 (modified: 16 Jul 2019)
- AAAI 2005
- Readers: Everyone
Scaling Up Reasoning about Actions Using Relational Database Technology
Giuseppe De Giacomo, Toni Mancini
- 2004 (modified: 16 Jul 2019)
- AAAI 2004
- Readers: Everyone

Toni Mancini

Names

Emails

Personal Links

Career & Education History

Advisors, Relations & Conflicts

Expertise

Publications

Co-Authors