Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 127



111
TÍTULO: Fine-grained multithreading with process calculi
AUTORES: Lopes, L ; Vasconcelos, VT ; Silva, F ;
PUBLICAÇÃO: 2001, FONTE: International Conference on Parallel Architectures and Compilation Techniques in IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 50, NÚMERO: 8
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
112
TÍTULO: A concurrent programming environment with support for distributed computations and code mobility
AUTORES: Lopes, L ; Figueira, A ; Silva, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2000, FONTE: 2nd Annual IEEE International Conference on Cluster Computing in CLUSTER 2000: IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PROCEEDINGS, VOLUME: 2000-January
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
113
TÍTULO: Fine grained multithreading with process calculi
AUTORES: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2000, FONTE: International Conference on Parallel Architectures and Compilation Techniques in 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
114
TÍTULO: Secure information flow as typed process behaviour
AUTORES: Honda, K; Vasconcelos, V ; Yoshida, N;
PUBLICAÇÃO: 2000, FONTE: Joint European Conference on Theory and Practice of Software (ETAPS 2000) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 1782
INDEXADO EM: Scopus WOS DBLP CrossRef: 43
NO MEU: ORCID
115
TÍTULO: Typing Non-uniform Concurrent Objects
AUTORES: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2000, FONTE: 11th International Conference on Concurrency Theory, CONCUR 2000 in CONCUR, VOLUME: 1877 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 16
NO MEU: ORCID
116
TÍTULO: A virtual machine for a process calculus
AUTORES: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 1999, FONTE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID
117
TÍTULO: Communication errors in the π-calculus are undecidable  Full Text
AUTORES: Vasconcelos, VT ; Ravara, A ;
PUBLICAÇÃO: 1999, FONTE: INFORMATION PROCESSING LETTERS, VOLUME: 71, NÚMERO: 5-6
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: ORCID
118
TÍTULO: Processes, functions, and datatypes  Full Text
AUTORES: Vasconcelos, VT ;
PUBLICAÇÃO: 1999, FONTE: THEORY AND PRACTICE OF OBJECT SYSTEMS, VOLUME: 5, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
119
TÍTULO: Distribution and Mobility with Lexical Scoping in Process Calculi
AUTORES: Vasco Thudichum Vasconcelos ; Luís M B Lopes ; Fernando M A Silva ;
PUBLICAÇÃO: 1998, FONTE: HLCL, VOLUME: 16, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 8
NO MEU: ORCID
120
TÍTULO: Language primitives and type discipline for structured communication-based programming  Full Text
AUTORES: Honda, K; Vasconcelos, VT ; Kubo, M;
PUBLICAÇÃO: 1998, FONTE: 7th European Symposium on Programming (ESOP'98) at the Joint European Conferences on Theory and Practice of Software (ETAPS'98) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 1381
INDEXADO EM: Scopus WOS DBLP CrossRef: 403
NO MEU: ORCID
Página 12 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