Nuno César dos Santos Grosso
AuthID: R-000-DMH
1
TÃTULO: Continental Portuguese Territory Flood Social Susceptibility Index Full Text
AUTORES: Grosso, N; Dias, L; Costa, HP; Santos, FD; Garrett, P ;
PUBLICAÇÃO: 2015, FONTE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 15, NÚMERO: 8
AUTORES: Grosso, N; Dias, L; Costa, HP; Santos, FD; Garrett, P ;
PUBLICAÇÃO: 2015, FONTE: NATURAL HAZARDS AND EARTH SYSTEM SCIENCES, VOLUME: 15, NÚMERO: 8
2
TÃTULO: Protocol-Based Verification of Message-Passing Parallel Programs Full Text
AUTORES: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 10
AUTORES: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 10
3
TÃTULO: Deductive Verification of Parallel Programs Using Why3 Full Text
AUTORES: Cesar Santos; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2015, FONTE: 8th Interaction and Concurrency Experience, ICE 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, NÚMERO: 189
AUTORES: Cesar Santos; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2015, FONTE: 8th Interaction and Concurrency Experience, ICE 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, NÚMERO: 189
