"Pascal Mazzotti"@cs .