Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
11
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
DBLP12
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
DBLP13
TITLE: Mixed sessions
AUTHORS: Filipe Casal; Andreia Mordido; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Theoretical Computer Science, VOLUME: 897
AUTHORS: Filipe Casal; Andreia Mordido; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Theoretical Computer Science, VOLUME: 897
14
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
15
TITLE: Polymorphic lambda calculus with context-free session types
AUTHORS: Bernardo Almeida; Andreia Mordido; Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Information and Computation, VOLUME: 289
AUTHORS: Bernardo Almeida; Andreia Mordido; Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2022, SOURCE: Information and Computation, VOLUME: 289
16
TITLE: Label-dependent session types
AUTHORS: Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2019, SOURCE: Proceedings of the ACM on Programming Languages, VOLUME: 4, ISSUE: POPL
AUTHORS: Peter Thiemann; Vasco T Vasconcelos;
PUBLISHED: 2019, SOURCE: Proceedings of the ACM on Programming Languages, VOLUME: 4, ISSUE: POPL
17
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
Scopus18
TITLE: Protocol-based verification of message-passing parallel programs
AUTHORS: López, HA; Marques, ERB; Martins, F; Ng, N; Santos, C; Vasconcelos, VT; Yoshida, N;
PUBLISHED: 2015, SOURCE: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015 in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, VOLUME: 25-30-Oct-2015
AUTHORS: López, HA; Marques, ERB; Martins, F; Ng, N; Santos, C; Vasconcelos, VT; Yoshida, N;
PUBLISHED: 2015, SOURCE: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015 in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, VOLUME: 25-30-Oct-2015
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID19
TITLE: The progress of session types
AUTHORS: Vasco Thudichum Vasconcelos;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8704 LNCS
AUTHORS: Vasco Thudichum Vasconcelos;
PUBLISHED: 2014, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8704 LNCS
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID20
TITLE: Secure information flow as typed process behaviour
AUTHORS: Honda, K; Vasconcelos, V; Yoshida, N;
PUBLISHED: 2000, SOURCE: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1782
AUTHORS: Honda, K; Vasconcelos, V; Yoshida, N;
PUBLISHED: 2000, SOURCE: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1782
INDEXED IN: Scopus
Scopus IN MY: ORCID
ORCID