Vasco Thudichum Vasconcelos
AuthID: R-001-YYD
1
TÃTULO: Polymorphic higher-order context-free session types Full Text
AUTORES: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
AUTORES: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
INDEXADO EM: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP NO MEU: DBLP
DBLP2
TÃTULO: Linear Contextual Metaprogramming and Session Types Full Text
AUTORES: Pedro Ângelo; Atsushi Igarashi; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05475
AUTORES: Pedro Ângelo; Atsushi Igarashi; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05475
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP3
TÃTULO: Behavioural Types for Heterogeneous Systems (Position Paper) Full Text
AUTORES: Simon Fowler; Philipp Haller; Roland Kuhn; Sam Lindley; Alceste Scalas; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05479
AUTORES: Simon Fowler; Philipp Haller; Roland Kuhn; Sam Lindley; Alceste Scalas; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: 15th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2024 in CoRR, VOLUME: abs/2404.05479
INDEXADO EM: Scopus DBLP
Scopus DBLP NO MEU: DBLP
DBLP4
TÃTULO: Simple grammar bisimilarity, with an application to session type equivalence
AUTORES: Diogo Poças; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.04063
AUTORES: Diogo Poças; Vasco T Vasconcelos;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2407.04063
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP5
TÃTULO: Parameterized Algebraic Protocols
AUTORES: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: PLDI
AUTORES: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T.;
PUBLICAÇÃO: 2023, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, NÚMERO: PLDI
INDEXADO EM: WOS DBLP
WOS DBLP NO MEU: DBLP
DBLP6
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
WOS7
TÃTULO: AlgST
AUTORES: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLICAÇÃO: 2023
AUTORES: Janek Spaderna; Peter Thiemann; Andreia Mordido; Vasco Thudichum Vasconcelos;
PUBLICAÇÃO: 2023
INDEXADO EM: DBLP
DBLP NO MEU: DBLP
DBLP8
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
DBLP9
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
DBLP10
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