"Ricchetti"@cs .