"Verrone"@cs .