"Johannes Nedbal"@cs .