"Alfons Haider"@cs .