"Matthias Jung"@cs .