"Michael Walchhofer"@cs .