Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



21
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
22
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
23
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
24
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 | CIÊNCIAVITAE
25
TÍTULO: Duality of Session Types: The Final Cut PDF  Full Text
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 arXiv CrossRef: 17
NO MEU: DBLP | CIÊNCIAVITAE
26
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
27
TÍTULO: Label-dependent session types
AUTORES: Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: Proc. ACM Program. Lang., VOLUME: 4, NÚMERO: POPL
INDEXADO EM: DBLP
NO MEU: DBLP
28
TÍTULO: Mixed Sessions
AUTORES: Vasconcelos, VT ; Casal, F ; Almeida, B; Mordido, A ;
PUBLICAÇÃO: 2020, FONTE: 29th European Symposium on Programming (ESOP) held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, VOLUME: 12075
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
29
TÍTULO: Mixed Sessions: the Other Side of the Tape  Full Text
AUTORES: Filipe Casal ; Andreia Mordido ; 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 CrossRef
NO MEU: DBLP | CIÊNCIAVITAE
30
TÍTULO: SafeRESTScript: Statically Checking REST API Consumers
AUTORES: Nuno Burnay; Antónia Lopes; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2007.08048
INDEXADO EM: DBLP
NO MEU: DBLP
Página 3 de 15. Total de resultados: 143.

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

Links Úteis

Ajuda

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