"Michael Walter"@cs .