Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



101
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 | CIÊNCIAVITAE
102
103
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
104
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 | CIÊNCIAVITAE
105
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
106
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 | CIÊNCIAVITAE
107
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 | CIÊNCIAVITAE
108
109
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 | CIÊNCIAVITAE
110
TÍTULO: Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
AUTORES: Yoshida, N; Vasconcelos, VT ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 171, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 11 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