Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
11
TÃTULO: Polymorphic lambda calculus with context-free session types
AUTORES: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Inf. Comput., VOLUME: 289, NÚMERO: Part
AUTORES: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Inf. Comput., VOLUME: 289, NÚMERO: Part
INDEXADO EM: 
Scopus 
DBLP
Scopus DBLP NO MEU: DBLP
DBLP12
TÃTULO: Protocol-Based Smart Contract Generation
AUTORES: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: 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
AUTORES: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: 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
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP13
TÃTULO: Mixed sessions
AUTORES: Filipe Casal; Andreia Mordido; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Theoretical Computer Science, VOLUME: 897
AUTORES: Filipe Casal; Andreia Mordido; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Theoretical Computer Science, VOLUME: 897
14
TÃTULO: The Different Shades of Infinite Session Types
AUTORES: Simon J Gay; Diogo Poças; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
AUTORES: Simon J Gay; Diogo Poças; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
15
TÃTULO: Polymorphic lambda calculus with context-free session types
AUTORES: Bernardo Almeida; Andreia Mordido; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Information and Computation, VOLUME: 289
AUTORES: Bernardo Almeida; Andreia Mordido; Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2022, FONTE: Information and Computation, VOLUME: 289
16
TÃTULO: Label-dependent session types
AUTORES: Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 4, NÚMERO: POPL
AUTORES: Peter Thiemann; Vasco T Vasconcelos;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 4, NÚMERO: POPL
17
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
Scopus18
TÃTULO: Protocol-based verification of message-passing parallel programs
AUTORES: López, HA; Marques, ERB; Martins, F; Ng, N; Santos, C; Vasconcelos, VT; Yoshida, N;
PUBLICAÇÃO: 2015, FONTE: 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
AUTORES: López, HA; Marques, ERB; Martins, F; Ng, N; Santos, C; Vasconcelos, VT; Yoshida, N;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID19
TÃTULO: The progress of session types
AUTORES: Vasco Thudichum Vasconcelos;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8704 LNCS
AUTORES: Vasco Thudichum Vasconcelos;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8704 LNCS
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID20
TÃTULO: Secure information flow as typed process behaviour
AUTORES: Honda, K; Vasconcelos, V; Yoshida, N;
PUBLICAÇÃO: 2000, FONTE: 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
AUTORES: Honda, K; Vasconcelos, V; Yoshida, N;
PUBLICAÇÃO: 2000, FONTE: 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
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID