"Manfred Oettl Reyes"@cs .