"Attilio Ruffini"@cs .