"Simone Raineri"@cs .