Mauro Gargano

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 0

Top Topics

Genetic Algorithm

Legal Information

Cultural Heritage

Top Venues

Publications

Mauro Gargano, Antonella Gasperini, Emilia Olostro Cirella, Riccardo Smareglia, Valeria Zanini
The AstroBID: Preserving and Sharing the Italian Astronomical Heritage. IRCDL (2015)
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul
On the Correctness of Operating System Kernels. TPHOLs (2005)