On the Correctness of Operating System Kernels. - Mauro Gargano; Mark A. Hillebrand; Dirk Leinenbach; Wolfgang J. Paul (TPHOLs, 2005)

The AstroBID: Preserving and Sharing the Italian Astronomical Heritage. - Mauro Gargano; Antonella Gasperini; Emilia Olostro Cirella; Riccardo Smareglia; Valeria Zanini (IRCDL, 2015)