"Martin Rodriguez"@cs .