En ese caso lo único que tienes que hacer es separar el caso de que la nota sea igual y la nota sea superior. Similar al código que tienes puesto manejas el caso de que sea igual, puesto que debes añadir sus datos al string, en caso de que no sean iguales sobreescribes el string. Ejemplo:
Código C++:
Ver original// código previo
else {
if (nota == mayor) {
res+="Nombre: "+nombre+" Cedula: "+cedula+"\n";
}
else if (nota > mayor) {
mayor = nota;
res = "Nombre: "+nombre+" Cedula: "+cedula+"\n";
}
// ....