"Axel Stein"@cs .