Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



11
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
12
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 | CIÊNCIAVITAE
13
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
14
TÍTULO: Mixed sessions
AUTORES: Filipe Casal; Andreia Mordido; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2022, FONTE: Theoretical Computer Science, VOLUME: 897
INDEXADO EM: CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
15
TÍTULO: Mixed sessions  Full Text
AUTORES: Casal, F; Mordido, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2022, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 897
INDEXADO EM: WOS DBLP
NO MEU: DBLP
16
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
INDEXADO EM: CrossRef: 9
NO MEU: ORCID | CIÊNCIAVITAE
17
TÍTULO: Polymorphic lambda calculus with context-free session types  Full Text
AUTORES: Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2022, FONTE: INFORMATION AND COMPUTATION, VOLUME: 289
INDEXADO EM: WOS
18
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
INDEXADO EM: CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
19
TÍTULO: The Different Shades of Infinite Session Types
AUTORES: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2201.08275
INDEXADO EM: DBLP
NO MEU: DBLP
20
TÍTULO: The Different Shades of Infinite Session Types
AUTORES: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2022, FONTE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
Página 2 de 15. Total de resultados: 143.

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