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