Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
1
TÃTULO: Borrowing from Session Types
AUTORES: Saffrich, Hannes; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, NÚMERO: OOPSLA2
AUTORES: Saffrich, Hannes; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, NÚMERO: OOPSLA2
2
TÃTULO: Artifact for the Paper "Borrowing From Session Types"
AUTORES: Hannes Saffrich; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2025
AUTORES: Hannes Saffrich; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2025
INDEXADO EM: 
DBLP
DBLP NO MEU: DBLP
DBLP3
TÃTULO: System Fωμ with Context-free Session Types
AUTORES: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
AUTORES: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: 32nd European Symposium on Programming (ESOP) Held as Part of the 26th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2023, VOLUME: 13990
INDEXADO EM: 
WOS
WOS4
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