Raposo, Alberto, Dept. Informatics / PUC-Rio, Brazil