Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 127



91
TÍTULO: Behavioural theory at work: Program transformations in a service-centired calculus
AUTORES: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A ; Vasconcelos, VT ;
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: 4
NO MEU: ORCID
92
TÍTULO: Compiling the pi-calculus into a Multithreaded Typed Assembly Language
AUTORES: Tiago Cogumbreiro; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2008, FONTE: PLACES@DisCoTec, VOLUME: 241, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
93
TÍTULO: Preface
AUTORES: Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2008, FONTE: PLACES@DisCoTec, VOLUME: 241, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID
94
TÍTULO: Type-Directed Compilation for Multicore Programming
AUTORES: Kohei Honda; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2008, FONTE: PLACES@DisCoTec, VOLUME: 241, NÚMERO: C
INDEXADO EM: Scopus DBLP CrossRef: 3
NO MEU: ORCID
95
96
TÍTULO: Disciplining orchestration and conversation in service-oriented computing
AUTORES: Lanese, I; Vasconcelos, VT ; Martins, F ; Ravara, A ;
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: 26
NO MEU: ORCID
97
TÍTULO: Checking the conformance of Java classes against algebraic specifications
AUTORES: Nunes, I; Lopes, A ; Vasconcelos, V ; Abreu, J; Reis, LS;
PUBLICAÇÃO: 2006, FONTE: 8th International Conference on Formal Engineering Methods (ICFEM 2006) in FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, VOLUME: 4260
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
NO MEU: ORCID
98
TÍTULO: Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication
AUTORES: Nobuko Yoshida; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2006, FONTE: SecReT@ICALP, VOLUME: 171, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 76
NO MEU: ORCID
99
TÍTULO: SCC: A Service Centered Calculus
AUTORES: Michele Boreale; Roberto Bruni; Luís Caires ; Rocco De Nicola; Ivan Lanese; Michele Loreti; Francisco Martins ; Ugo Montanari; António Ravara ; Davide Sangiorgi; Vasco Thudichum Vasconcelos ; Gianluigi Zavattaro;
PUBLICAÇÃO: 2006, FONTE: WS-FM, VOLUME: 4184 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 77
NO MEU: ORCID
100
TÍTULO: Type checking a multithreaded functional language with session types  Full Text
AUTORES: Vasconcelos, VT ; Gay, SJ; Ravara, A ;
PUBLICAÇÃO: 2006, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 368, NÚMERO: 1-2
INDEXADO EM: Scopus WOS DBLP CrossRef: 65
NO MEU: ORCID
Página 10 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