Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 129



21
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
22
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
23
TÍTULO: Deciding the Bisimilarity of Context-Free Session Types
AUTORES: Bernardo Almeida; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: TACAS (2), VOLUME: 12079 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
24
TÍTULO: Duality of Session Types: The Final Cut
AUTORES: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: PLACES@ETAPS, VOLUME: 314
INDEXADO EM: Scopus DBLP CrossRef: 18
25
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
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 CrossRef: 12
NO MEU: ORCID | CIÊNCIAVITAE
27
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), VOLUME: 12075
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
28
TÍTULO: Mixed Sessions: the Other Side of the Tape
AUTORES: Filipe Casal ; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: PLACES@ETAPS, VOLUME: 314
INDEXADO EM: Scopus DBLP CrossRef: 1
29
TÍTULO: Statically Checking REST API Consumers
AUTORES: Burnay, N; Lopes, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2020, FONTE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12310
INDEXADO EM: Scopus WOS CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
30
TÍTULO: Statically Checking REST API Consumers
AUTORES: Nuno Burnay; Antónia Lopes; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2020, FONTE: SEFM
INDEXADO EM: DBLP
Página 3 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