Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



1
2
3
TÍTULO: Kind Inference for the FreeST Programming Language  Full Text
AUTORES: Almeida, B; Mordido, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2023, FONTE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2023 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 378
INDEXADO EM: Scopus Unpaywall
4
TÍTULO: Kind Inference for the FreeST Programming Language  Full Text
AUTORES: Almeida, Bernardo; Mordido, Andreia ; Vasconcelos, Vasco T. ;
PUBLICAÇÃO: 2023, FONTE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 378, NÚMERO: 378
INDEXADO EM: WOS DBLP CrossRef
NO MEU: DBLP
5
TÍTULO: Parameterized Algebraic Protocols
AUTORES: Andreia Mordido; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: Proceedings of the ACM on Programming Languages, VOLUME: 7, NÚMERO: PLDI
INDEXADO EM: CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
6
TÍTULO: Parameterized Algebraic Protocols
AUTORES: Andreia Mordido ; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.03764
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
7
TÍTULO: Protocol-Based Smart Contract Generation
AUTORES: Afonso Falcão; Andreia Mordido; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: Lecture Notes in Computer Science - Financial Cryptography and Data Security. FC 2022 International Workshops
INDEXADO EM: CrossRef: 1
NO MEU: ORCID | CIÊNCIAVITAE
8
TÍTULO: Subtyping Context-Free Session Types
AUTORES: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: 34th International Conference on Concurrency Theory, CONCUR 2023, September 18-23, 2023, Antwerp, Belgium, VOLUME: 279
INDEXADO EM: DBLP
NO MEU: DBLP
9
TÍTULO: Subtyping Context-Free Session Types
AUTORES: Gil Silva; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2307.05661
INDEXADO EM: DBLP
NO MEU: DBLP
10
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
Página 1 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