"Simone Cantarini"@cs .