"Adriano Bonaiuti"@cs .