Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 133



11
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
12
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
13
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
14
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
15
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
16
TÍTULO: Polymorphic Context-free Session Types
AUTORES: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2106.06658
INDEXADO EM: DBLP
NO MEU: DBLP
17
TÍTULO: Protocol-based Smart Contract Generation
AUTORES: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2108.02672
INDEXADO EM: DBLP
NO MEU: DBLP
18
TÍTULO: Deciding the Bisimilarity of Context-Free Session Types
AUTORES: Bernardo Almeida; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 in Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, VOLUME: 12079
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID | DBLP
19
TÍTULO: Duality of Session Types: The Final Cut
AUTORES: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
20
TÍTULO: Label-Dependent Session Types
AUTORES: Thiemann, P; Vasconcelos, VT ;
PUBLICAÇÃO: 2020, FONTE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, NÚMERO: POPL
INDEXADO EM: Scopus WOS
Página 2 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