"Emanuele Naspetti"@cs .