Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 129



111
TITLE: The Impact of Linearity Information on the Performance of TyCO
AUTHORS: Francisco Martins ; Luís M B Lopes ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2002, SOURCE: TIP@MPC, VOLUME: 75
INDEXED IN: Scopus DBLP CrossRef: 1
112
TITLE: Typing the Behavior of Objects and Component Using Session Types
AUTHORS: Antonio Vallecillo; Vasco Thudichum Vasconcelos ; António Ravara ;
PUBLISHED: 2002, SOURCE: FOCLASA, VOLUME: 68, ISSUE: 3
INDEXED IN: Scopus DBLP CrossRef: 20
113
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
114
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
115
TITLE: Fine grained multithreading with process calculi
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
116
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: Scopus WOS DBLP CrossRef: 43
117
TITLE: Typing Non-uniform Concurrent Objects
AUTHORS: António Ravara ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2000, SOURCE: CONCUR, VOLUME: 1877 LNCS
INDEXED IN: Scopus DBLP CrossRef: 16
118
TITLE: A virtual machine for a process calculus
AUTHORS: Lopes, L ; Silva, F ; Vasconcelos, VT ;
PUBLISHED: 1999, SOURCE: International Conference on Principles and Practice of Declarative Programming (PPDP 99) in PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PROCEEDINGS, VOLUME: 1702
INDEXED IN: Scopus WOS DBLP CrossRef: 6
119
TITLE: Communication errors in the π-calculus are undecidable
AUTHORS: Vasconcelos, VT ; Ravara, A ;
PUBLISHED: 1999, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 71, ISSUE: 5-6
INDEXED IN: Scopus WOS DBLP CrossRef: 1
120
TITLE: Processes, functions, and datatypes  Full Text
AUTHORS: Vasconcelos, VT ;
PUBLISHED: 1999, SOURCE: THEORY AND PRACTICE OF OBJECT SYSTEMS, VOLUME: 5, ISSUE: 2
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 12 of 13. Total results: 129.

footer slogan

Useful Links

Get Help

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