Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 129



11
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
12
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
13
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: 3
14
TÍTULO: Higher-order Context-free Session Types in System F
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
15
TÍTULO: Mixed sessions
AUTORES: Casal, F; Mordido, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2022, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 897
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
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: 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
18
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
19
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
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
Página 2 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