"Isabelle Antena"@cs .