Department of Computer Science, University of Pisa, Italy