"Manfred Pranger"@cs .