Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 129



111
TÍTULO: The Impact of Linearity Information on the Performance of TyCO
AUTORES: Francisco Martins ; Luís M B Lopes ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2002, FONTE: TIP@MPC, VOLUME: 75
INDEXADO EM: Scopus DBLP CrossRef: 1
112
TÍTULO: Typing the Behavior of Objects and Component Using Session Types
AUTORES: Antonio Vallecillo; Vasco Thudichum Vasconcelos ; António Ravara ;
PUBLICAÇÃO: 2002, FONTE: FOCLASA, VOLUME: 68, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 20
113
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
114
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
115
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
116
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
117
TÍTULO: Typing Non-uniform Concurrent Objects
AUTORES: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2000, FONTE: CONCUR, VOLUME: 1877 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 16
118
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
119
TÍTULO: Communication errors in the π-calculus are undecidable
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
120
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
Página 12 de 13. Total de resultados: 129.

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