Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 133



1
2
3
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: 378, NÚMERO: 378
INDEXADO EM: WOS DBLP CrossRef
NO MEU: DBLP
4
TÍTULO: Kind Inference for the FreeST Programming Language  Full Text
AUTORES: Almeida, B; Mordido, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2023, FONTE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2023 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 378
INDEXADO EM: Scopus Unpaywall
5
TÍTULO: Parameterized Algebraic Protocols
AUTORES: Andreia Mordido ; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.03764
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
6
TÍTULO: Subtyping Context-Free Session Types
AUTORES: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.05661
INDEXADO EM: DBLP
NO MEU: DBLP
7
TÍTULO: Subtyping Context-Free Session Types
AUTORES: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, VOLUME: 279
INDEXADO EM: DBLP
NO MEU: DBLP
8
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
9
TÍTULO: A Type Discipline for Message Passing Parallel Programs
AUTORES: Vasconcelos, Vasco T. ; Martins, Francisco; Lopez, Hugo Andres; Yoshida, Nobuko;
PUBLICAÇÃO: 2022, FONTE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
10
TÍTULO: Higher-order Context-free Session Types in System F  Full Text
AUTORES: Costa, Diana; Mordido, Andreia ; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2022, FONTE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 356, NÚMERO: 356
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
Página 1 de 14. Total de resultados: 133.

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

Links Úteis

Ajuda

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