Pubblicazioni

The size of BDDs and other data structures in temporal logics model checking

2016 - IEEE TRANSACTIONS ON COMPUTERS
Ferrara, Andrea; Liberatore, Paolo; Schaerf, Marco

Efficient notification ordering for geo-distributed pub/sub systems

2015 - IEEE TRANSACTIONS ON COMPUTERS
Baldoni, Roberto; Bonomi, Silvia; Platania, Marco; Querzoni, Leonardo

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