"Raphael Koch"@cs .