"Manfred Eicher"@cs .