Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 129



1
TÍTULO: Kind inference for the FREEST programming language
AUTORES: Almeida, Bernardo; Mordido, Andreia; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2026, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 148
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
2
TÍTULO: Subtyping context-free session types  Full Text
AUTORES: Silva, Gil; Mordido, Andreia ; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2026, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1069
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
3
TÍTULO: Borrowing from Session Types
AUTORES: Saffrich, Hannes; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2025, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, NÚMERO: OOPSLA2
INDEXADO EM: WOS DBLP CrossRef
4
TÍTULO: Polymorphic higher-order context-free session types
AUTORES: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2024, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5
6
7
TÍTULO: Kind Inference for the FreeST Programming Language
AUTORES: Almeida, Bernardo; Mordido, Andreia ; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2023, FONTE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 148, NÚMERO: 378
INDEXADO EM: Scopus WOS DBLP CrossRef
8
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
INDEXADO EM: Scopus WOS DBLP
9
TÍTULO: Parameterized Algebraic Protocols
AUTORES: Andreia Mordido; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 7, NÚMERO: PLDI
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
10
TÍTULO: Protocol-Based Smart Contract Generation
AUTORES: Afonso Falcão; Andreia Mordido; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Financial Cryptography and Data Security. FC 2022 International Workshops
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
Página 1 de 13. Total de resultados: 129.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service