Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 133



81
TÍTULO: Linear type theory for asynchronous session types
AUTORES: Gay, SJ; Vasconcelos, VT ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
82
TÍTULO: Modular Session Types for Distributed Object-Oriented Programming
AUTORES: Gay, SJ; Vasconcelos, VT ; Ravara, A; Gesbert, N; Caldeira, AZ;
PUBLICAÇÃO: 2010, FONTE: 37th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL'10 in POPL'10: PROCEEDINGS OF THE 37TH ANNUAL ACM SIGPLAN-SIGACT SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
83
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 | DBLP
84
TÍTULO: Runtime Verification for Generic Classes with ConGu 2
AUTORES: Pedro Crispim; Antónia Lopes; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2010, FONTE: Formal Methods: Foundations and Applications - 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selected Papers, VOLUME: 6527
INDEXADO EM: DBLP
NO MEU: DBLP
85
TÍTULO: Types for X10 Clocks  Full Text
AUTORES: Francisco Martins ; Vasco Thudichum Vasconcelos ; Tiago Cogumbreiro;
PUBLICAÇÃO: 2010, FONTE: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., VOLUME: 69
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
86
TÍTULO: Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming  Full Text
AUTORES: Isabel Nunes; Antonia Lopes ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2009, FONTE: 9th International Workshop on Runtime Verification in RUNTIME VERIFICATION, VOLUME: 5779
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
87
TÍTULO: Compiling the π-calculus into a Multithreaded Typed Assembly Language
AUTORES: Cogumbreiro, T; Martins, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 241, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
88
89
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
90
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
Página 9 de 14. Total de resultados: 133.

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