"Pascal Marti"@cs .