Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 127



101
TÍTULO: Typing the behavior of software components using session types  Full Text
AUTORES: Vallecillo, A; Vasconcelos, VT ; Ravara, A ;
PUBLICAÇÃO: 2006, FONTE: 1st International Workshop on Foundations of Coordination Languages & Software Architectures (FOCLASA 02) in FUNDAMENTA INFORMATICAE, VOLUME: 73, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP
NO MEU: ORCID
102
TÍTULO: A software framework for rapid prototyping of run-time systems for mobile calculi  Full Text
AUTORES: Bettini, L; De Nicola, R; Falassi, D; Lacoste, M; Lopes, L ; Oliveira, L; Paulino, H ; Vasconcelos, VT ;
PUBLICAÇÃO: 2005, FONTE: 2nd IST/FET International Workshop on Global Computing in GLOBAL COMPUTING, VOLUME: 3267
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
NO MEU: ORCID
103
TÍTULO: History-Based Access Control for Distributed Processes
AUTORES: Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2005, FONTE: TGC, VOLUME: 3705 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
104
TÍTULO: Lambda and pi calculi, CAM and SECD machines
AUTORES: Vasconcelos, VT ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 15, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
105
TÍTULO: MiKO - Mikado Koncurrent Objects
AUTORES: Francisco Martins ; Liliana C M Salvador; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLICAÇÃO: 2005, FONTE: Foundations of Global Computing, VOLUME: 5081
INDEXADO EM: Scopus DBLP
106
TÍTULO: Session types for functional multithreading
AUTORES: Vasconcelos, V ; Ravara, A ; Gay, S;
PUBLICAÇÃO: 2004, FONTE: 15th International Conference on Concurrency Theory in CONCUR 2004 - CONCURRENCY THEORY, PROCEEDINGS, VOLUME: 3170
INDEXADO EM: Scopus WOS DBLP CrossRef: 22 Handle
NO MEU: ORCID
107
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
108
TÍTULO: Lexically scoped distribution: what you see is what you get
AUTORES: António Ravara ; Ana Gualdina Almeida Matos ; Vasco Thudichum Vasconcelos ; Luís M B Lopes ;
PUBLICAÇÃO: 2003, FONTE: FGC, VOLUME: 85, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
109
TÍTULO: The Impact of Linearity Information on the Performance of TyCO
AUTORES: Francisco Martins ; Luís M B Lopes ; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2002, FONTE: TIP@MPC, VOLUME: 75
INDEXADO EM: Scopus DBLP CrossRef: 1
NO MEU: ORCID
110
TÍTULO: Typing the Behavior of Objects and Component Using Session Types
AUTORES: Antonio Vallecillo; Vasco Thudichum Vasconcelos ; António Ravara ;
PUBLICAÇÃO: 2002, FONTE: FOCLASA, VOLUME: 68, NÚMERO: 3
INDEXADO EM: Scopus DBLP CrossRef: 20
NO MEU: ORCID
Página 11 de 13. Total de resultados: 127.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service