Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 133



111
TITLE: A multi-threaded asynchronous language
AUTHORS: Paulino, H ; Marques, P ; Lopes, L ; Vasconcelos, V ; Silva, F ;
PUBLISHED: 2003, SOURCE: 7th International Conference on Parallel Computing Technologies (PaCT 2003) in PARALLEL COMPUTING TECHNOLOGIES, PROCEEDINGS, VOLUME: 2763
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: ORCID | DBLP
112
TITLE: Lexically scoped distribution: What you see is what you get
AUTHORS: Ravara, A ; Matos, AG ; Vasconcelos, VT ; Lopes, L ;
PUBLISHED: 2003, SOURCE: FGC, Foundations of Global Computing , 2nd EATCS Workshop (Satellite Event of ICALP 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 85, ISSUE: 1
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID | DBLP
113
TITLE: The impact of linearity information on the performance of TyCO
AUTHORS: Martins, F ; Lopes, L ; Vasconcelos, VT ;
PUBLISHED: 2003, SOURCE: TIP'02, International Worshop in Types in Programming in Electronic Notes in Theoretical Computer Science, VOLUME: 75
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
114
TITLE: Typing the Behavior of Objects and Component Using Session Types
AUTHORS: Antonio Vallecillo; Vasco Thudichum Vasconcelos ; António Ravara ;
PUBLISHED: 2003, SOURCE: Foclasa 2002, Foundations of Coordination Languages and Software Architectures (Satellite Workshop of CONCUR 2002) in Electr. Notes Theor. Comput. Sci., VOLUME: 68, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
115
TITLE: Fine-grained multithreading with process calculi
AUTHORS: Lopes, L ; Vasconcelos, VT ; Silva, F ;
PUBLISHED: 2001, SOURCE: International Conference on Parallel Architectures and Compilation Techniques in IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 50, ISSUE: 8
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
116
TITLE: A concurrent programming environment with support for distributed computations and code mobility
AUTHORS: Lopes, L ; Figueira, A ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 2000, SOURCE: 2nd Annual IEEE International Conference on Cluster Computing in CLUSTER 2000: IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING, PROCEEDINGS, VOLUME: 2000-January
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
117
TITLE: Fine grained multithreading with process calculi  Full Text
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 2000, SOURCE: International Conference on Parallel Architectures and Compilation Techniques in 2000 INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PROCEEDINGS
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
118
TITLE: Secure information flow as typed process behaviour
AUTHORS: Honda, K; Vasconcelos, V ; Yoshida, N;
PUBLISHED: 2000, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 2000) in PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, VOLUME: 1782
INDEXED IN: WOS DBLP CrossRef
IN MY: DBLP
119
TITLE: Typing non-uniform concurrent objects
AUTHORS: Ravara, A ; Vasconcelos, VT ;
PUBLISHED: 2000, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
120
TITLE: Typing Non-uniform Concurrent Objects
AUTHORS: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2000, SOURCE: CONCUR 2000 - Concurrency Theory, 11th International Conference, University Park, PA, USA, August 22-25, 2000, Proceedings, VOLUME: 1877
INDEXED IN: DBLP CrossRef
IN MY: DBLP
Page 12 of 14. Total results: 133.

A place for researchers and their institutions

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service