"Manuel Rui Alves Monteiro"@cs .