Mauro Gargano

According to our database, Mauro Gargano authored at least 2 papers between 2005 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

The AstroBID: Preserving and Sharing the Italian Astronomical Heritage.

Mauro Gargano, Antonella Gasperini, Emilia Olostro Cirella, Riccardo Smareglia, Valeria Zanini

Proceedings of the Digital Libraries on the Move, 2015

2005

On the Correctness of Operating System Kernels.

Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005