"Mauro Rampini"@cs .