"Manuel Gulde"@cs .