"Van\u00E1 Alves"@cs .