Pubblicazioni

MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks

2020 - FUNDAMENTA INFORMATICAE
CHEN, QIAN MATTEO; FINZI, Alberto; MANCINI, Toni; MELATTI, IGOR; TRONCI, Enrico

Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins

2020 - FUNDAMENTA INFORMATICAE
SINISI, STEFANO; ALIMGUZHIN, VADIM; MANCINI, Toni; TRONCI, Enrico; MARI, FEDERICO; Leeners, Brigitte

Pattern-based Rewriting through Abstraction

2016 - FUNDAMENTA INFORMATICAE
Bottoni, Paolo Gaspare; Guerra, Esther; De Lara, Juan

SyLVaaS: System level formal verification as a service

2016 - FUNDAMENTA INFORMATICAE
Mancini, Toni; Mari, Federico; Massini, Annalisa; Melatti, Igor; Tronci, Enrico

Now or never: negotiating efficiently with unknown or untrusted counterparts

2016 - FUNDAMENTA INFORMATICAE
Mancini, Toni

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