Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



121
TÍTULO: Lexically scoped distribution: What you see is what you get
AUTORES: Ravara, A ; Matos, AG ; Vasconcelos, VT ; Lopes, L ;
PUBLICAÇÃO: 2003, FONTE: FGC, Foundations of Global Computing , 2nd EATCS Workshop (Satellite Event of ICALP 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 85, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
122
TÍTULO: The impact of linearity information on the performance of TyCO
AUTORES: Martins, F ; Lopes, L ; Vasconcelos, VT ;
PUBLICAÇÃO: 2003, FONTE: TIP'02, International Worshop in Types in Programming in Electronic Notes in Theoretical Computer Science, VOLUME: 75
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
123
TÍTULO: Typing the Behavior of Objects and Component Using Session Types
AUTORES: Antonio Vallecillo; Vasco Thudichum Vasconcelos ; António Ravara ;
PUBLICAÇÃO: 2003, FONTE: Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002) in Electr. Notes Theor. Comput. Sci., VOLUME: 68, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
124
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 | DBLP | CIÊNCIAVITAE
125
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 | DBLP | CIÊNCIAVITAE
126
TÍTULO: Fine grained multithreading with process calculi  Full Text
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 | DBLP | CIÊNCIAVITAE
127
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: WOS DBLP CrossRef
NO MEU: DBLP
128
TÍTULO: Secure information flow as typed process behaviour
AUTORES: Honda, K; Vasconcelos, V ; Yoshida, N;
PUBLICAÇÃO: 2000, FONTE: 9th European Symposium on Programming, ESOP 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1782
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
129
TÍTULO: Typing non-uniform concurrent objects
AUTORES: Ravara, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2000, FONTE: 11th International Conference on Concurrency Theory, CONCUR 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1877 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
130
TÍTULO: Typing Non-uniform Concurrent Objects
AUTORES: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2000, FONTE: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, VOLUME: 1877
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
Página 13 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