"times"@cs .