"Fran\u00E7oise Kramer"@cs .