"Isabelle Dedieu"@cs .