Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
11
TITLE: Protocol-Based Smart Contract Generation
AUTHORS: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: 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
AUTHORS: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: 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
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP12
TITLE: Deductive verification of MPI protocols
AUTHORS: Vasco T Vasconcelos; Francisco Martins ; Eduardo R B Marques; Nobuko Yoshida; Nicholas Ng;
PUBLISHED: 2017, SOURCE: Behavioural Types: from Theory to Tools English
AUTHORS: Vasco T Vasconcelos; Francisco Martins ; Eduardo R B Marques; Nobuko Yoshida; Nicholas Ng;
PUBLISHED: 2017, SOURCE: Behavioural Types: from Theory to Tools English
INDEXED IN: Scopus
Scopus