"Denis Martin"@cs .