"Amiram Levin"@cs .