Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 127



81
TÍTULO: Modular Session Types for Distributed Object-Oriented Programming
AUTORES: Gay, SJ; Vasconcclos, VT ; Ravara, A ; Gesbert, N; Caldeira, AZ;
PUBLICAÇÃO: 2010, FONTE: 37th ACM-SIGPLAN-SIGACT Symposium on Principles of Programming Languages in ACM SIGPLAN NOTICES, VOLUME: 45, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
82
TÍTULO: Types for X10 Clocks  Full Text
AUTORES: Francisco Martins ; Vasco Thudichum Vasconcelos ; Tiago Cogumbreiro;
PUBLICAÇÃO: 2010, FONTE: PLACES, VOLUME: 69
INDEXADO EM: DBLP CrossRef: 1
83
TÍTULO: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming  Full Text
AUTORES: Nunes, I; Lopes, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2009, FONTE: 9th International Workshop on Runtime Verification in RUNTIME VERIFICATION, VOLUME: 5779
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
84
85
TÍTULO: Fundamentals of Session Types  Full Text
AUTORES: Vasconcelos, VT ;
PUBLICAÇÃO: 2009, FONTE: 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems in FORMAL METHODS FOR WEB SERVICES, VOLUME: 5569
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
86
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Field, J; Vasconcelos, VT ;
PUBLICAÇÃO: 2009, FONTE: 11th International Conference on Coordination Models and Languages, COORDINATION 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5521 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
87
88
TÍTULO: Session Types for Linear Multithreaded Functional Programming
AUTORES: Vasco T Vasconcelos ;
PUBLICAÇÃO: 2009, FONTE: 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP 09) in PPDP'09: PROCEEDINGS OF THE 11TH INTERNATIONAL ACM SIGPLAN SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
89
TÍTULO: Session-Based Compilation Framework for Multicore Programming  Full Text
AUTORES: Yoshida, N; Vasconcelos, V ; Paulino, H ; Honda, K;
PUBLICAÇÃO: 2009, FONTE: 7th International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 5751
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID
90
TÍTULO: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language  Full Text
AUTORES: Vasco Thudichum Vasconcelos ; Francisco Martins ; Tiago Cogumbreiro;
PUBLICAÇÃO: 2009, FONTE: PLACES, VOLUME: 17
INDEXADO EM: Scopus DBLP CrossRef: 15
Página 9 de 13. Total de resultados: 127.

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