Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
11
TÃTULO: Protocol-Based Smart Contract Generation
AUTORES: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: 26th International Conference on Financial Cryptography and Data Security, FC 2022 in Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers, VOLUME: 13412
AUTORES: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: 26th International Conference on Financial Cryptography and Data Security, FC 2022 in Financial Cryptography and Data Security. FC 2022 International Workshops - CoDecFin, DeFi, Voting, WTSC, Grenada, May 6, 2022, Revised Selected Papers, VOLUME: 13412
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: DBLP
DBLP12
TÃTULO: Deductive verification of MPI protocols
AUTORES: Vasco T Vasconcelos; Francisco Martins ; Eduardo R B Marques; Nobuko Yoshida; Nicholas Ng;
PUBLICAÇÃO: 2017, FONTE: Behavioural Types: from Theory to Tools English
AUTORES: Vasco T Vasconcelos; Francisco Martins ; Eduardo R B Marques; Nobuko Yoshida; Nicholas Ng;
PUBLICAÇÃO: 2017, FONTE: Behavioural Types: from Theory to Tools English
INDEXADO EM: Scopus
Scopus