"Marcel Hacker"@cs .