"Christian Wagner"@cs .