"Guillermo Rosas"@cs .