Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 133



111
TÍTULO: A multi-threaded asynchronous language
AUTORES: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLICAÇÃO: 2003, FONTE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: ORCID | DBLP
112
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
113
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
114
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
115
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
116
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
117
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
118
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
119
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
120
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 12 de 14. Total de resultados: 133.

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