"Helmuth Hoeflehner"@cs .