"Gilles Simon"@cs .