"Michael Wagner"@cs .