"Teodoro Picado Michalski"@cs .