Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
1
TITLE: Borrowing from Session Types
AUTHORS: Saffrich, Hannes; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLISHED: 2025, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, ISSUE: OOPSLA2
AUTHORS: Saffrich, Hannes; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLISHED: 2025, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, ISSUE: OOPSLA2
2
TITLE: Artifact for the Paper "Borrowing From Session Types"
AUTHORS: Hannes Saffrich; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2025
AUTHORS: Hannes Saffrich; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2025
INDEXED IN: 
DBLP
DBLP IN MY: DBLP
DBLP3
TITLE: System Fωμ with Context-free Session Types
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 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
AUTHORS: Pocas, Diogo; Costa, Diana; Mordido, Andreia; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: 
WOS
WOS4
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