"Arnon Sofer"@cs .