"Michel Demierre"@cs .