"Pascal Sommer"@cs .