Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 143



121
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 | CIÊNCIAVITAE
122
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 | CIÊNCIAVITAE
123
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 | CIÊNCIAVITAE
124
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 | CIÊNCIAVITAE
125
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 | CIÊNCIAVITAE
126
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 | CIÊNCIAVITAE
127
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
128
TITLE: Secure information flow as typed process behaviour
AUTHORS: Honda, K; Vasconcelos, V ; Yoshida, N;
PUBLISHED: 2000, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID | CIÊNCIAVITAE
129
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 | CIÊNCIAVITAE
130
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 13 of 15. Total results: 143.

footer slogan

Useful Links

Get Help

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