Tico-Tico debiutował w reprezentacji jeszcze w 1992 roku, gdy był piłkarzem GD Maputo. Jednak dopiero, kiedy był zawodnikiem Jomo Cosmos stał się wiodącą postacią swej reprezentacji i jako kapitan doprowadził ją do awansu na Puchar Narodów Afryki 1998 i Puchar Narodów Afryki 2010.