"Pascal Thomas"@cs .