Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 133



91
TÍTULO: Preface
AUTORES: Vasconcelos, VT ; Yoshida, N;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 241, NÚMERO: C
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
92
TÍTULO: Preface
AUTORES: Vasco T Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 241
INDEXADO EM: CrossRef
NO MEU: ORCID
93
94
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
95
TÍTULO: Session-Based Compilation Framework for Multicore Programming  Full Text
AUTORES: Nobuko Yoshida; Vasco Vasconcelos ; Herve Paulino ; Kohei Honda;
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
NO MEU: ORCID | DBLP
96
TÍTULO: Type Inference for Deadlock Detection in a Multithreaded Polymorphic Typed Assembly Language
AUTORES: Vasco Thudichum Vasconcelos ; Francisco Martins ; Tiago Cogumbreiro;
PUBLICAÇÃO: 2009, FONTE: Proceedings Second International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2009, York, UK, 22nd March 2009., VOLUME: 17
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: DBLP
97
TÍTULO: Type-Directed Compilation for Multicore Programming
AUTORES: Honda, K; Vasconcelos, VT ; Yoshida, N;
PUBLICAÇÃO: 2009, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 241, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
98
TÍTULO: Behavioural theory at work: Program transformations in a service-centired calculus
AUTORES: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2008, FONTE: 10th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems in FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, VOLUME: 5051
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
99
100
TÍTULO: Disciplining orchestration and conversation in service-oriented computing
AUTORES: Ivan Lanese; Vasco T Vasconcelos ; Francisco Martins ; Anotnio Ravara ;
PUBLICAÇÃO: 2007, FONTE: 5th IEEE International Conference on Software Engineering and Formal Methods in SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
Página 10 de 14. Total de resultados: 133.

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

Links Úteis

Ajuda

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