Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
1
TITLE: System Fμ ømega with Context-free Session Types
AUTHORS: Diogo Poças; Diana Costa; Andreia Mordido ; Vasco T Vasconcelos;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
AUTHORS: Diogo Poças; Diana Costa; Andreia Mordido ; Vasco T Vasconcelos;
PUBLISHED: 2023, SOURCE: 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023 in Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, VOLUME: 13990
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP IN MY: DBLP
DBLP2
TITLE: Parameterized Algebraic Protocols
AUTHORS: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: PLDI
AUTHORS: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: PLDI
INDEXED IN: 
WOS DBLP
WOS DBLP IN MY: DBLP
DBLP3
TITLE: Polymorphic lambda calculus with context-free session types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Inf. Comput., VOLUME: 289, ISSUE: Part
AUTHORS: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Inf. Comput., VOLUME: 289, ISSUE: Part
INDEXED IN: Scopus DBLP
Scopus DBLP IN MY: DBLP
DBLP4
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
DBLP