Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 127



11
TÍTULO: A Type Discipline for Message Passing Parallel Programs  Full Text
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: 3
NO MEU: ORCID
12
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
13
TÍTULO: Mixed sessions  Full Text
AUTORES: Casal, F; Mordido, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2022, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 897
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
14
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
15
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
INDEXADO EM: Scopus DBLP
16
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
17
TÍTULO: Protocol-Based Smart Contract Generation
AUTORES: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2022, FONTE: Financial Cryptography Workshops, VOLUME: 13412 LNCS
INDEXADO EM: Scopus DBLP
18
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
19
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
20
TÍTULO: Natural and Historical Heritage of the Lisbon Botanical Gardens: An Integrative Approach with Tree Collections
AUTORES: Cunha, AR; Soares, AL ; Brilhante, M; Arsenio, P ; Vasconcelos, T ; Espirito Santo, D; Duarte, MC ; Romeiras, MM ;
PUBLICAÇÃO: 2021, FONTE: PLANTS-BASEL, VOLUME: 10, NÚMERO: 7
INDEXADO EM: Scopus WOS CrossRef: 1 Handle
Página 2 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