Nuno César dos Santos Grosso
AuthID: R-000-DMH
1
TITLE: Solutions for the commercialization challenges of Horizon Europe and earth observation consortia: co-creation, innovation, decision-making, tech-transfer, and sustainability actions Full Text
AUTHORS: Lages, Luis Filipe; Catarino, Nuno; Gomes, Emanuel; Toh, Peter; Reis Marques, Carlos; Mohr, Mario; Borde, Sebastian Max; Asgari, Omid; Figueiredo, Ronnie; Grosso, Nuno; Perez, David; Ponte, Ana; Teixeira, Silvia Lopes; Van Der Schalie, Robin; Fantin, Daniele; Van Brusselen, Jo; Taravat, Alireza; Schmidt, Gerd;
PUBLISHED: 2023, SOURCE: ELECTRONIC COMMERCE RESEARCH
AUTHORS: Lages, Luis Filipe; Catarino, Nuno; Gomes, Emanuel; Toh, Peter; Reis Marques, Carlos; Mohr, Mario; Borde, Sebastian Max; Asgari, Omid; Figueiredo, Ronnie; Grosso, Nuno; Perez, David; Ponte, Ana; Teixeira, Silvia Lopes; Van Der Schalie, Robin; Fantin, Daniele; Van Brusselen, Jo; Taravat, Alireza; Schmidt, Gerd;
PUBLISHED: 2023, SOURCE: ELECTRONIC COMMERCE RESEARCH
INDEXED IN: Scopus WOS
2
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
3
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
4
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