"Enrico Benassi"@cs .