"Ursula Hoffmann-Lange"@cs .