Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 127



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
NO MEU: ORCID
2
3
4
TÍTULO: Kind Inference for the FreeST Programming Language  Full Text
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
5
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
6
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
7
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
8
TÍTULO: Subtyping Context-Free Session Types
AUTORES: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CONCUR, VOLUME: 1069
INDEXADO EM: Scopus DBLP
9
TÍTULO: System Fμ ømega with Context-free Session Types
AUTORES: Diogo Poças; Diana Costa; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
10
TÍTULO: System Fμω with Context-free Session Types
AUTORES: Diana Costa; Andreia Mordido ; Diogo Poças; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2301.08659
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 13. Total de resultados: 127.

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