"Stephan Winkler"@cs .