"Pascal Portes"@cs .