"Sethem Neddermeyerem"@cs .