"Pascal Stenzel"@cs .