Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 127



61
TÍTULO: Typing Liveness in Multiparty Communicating Systems
AUTORES: Padovani, L; Vasconcelos, VT ; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, VOLUME: 8459
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID
62
TÍTULO: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTORES: Baltazar, P; Caires, L ; Vasconcelos, VT ; Vieira, HT ;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium Trustworthy Global Computing (TGC) in TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, VOLUME: 8358
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID
63
TÍTULO: Coordinating Phased Activities while Maintaining Progress
AUTORES: Cogumbreiro, T; Martins, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Coordination Models and Languages (COORDINATION) Held as Part of the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, VOLUME: 7890
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: ORCID
64
TÍTULO: Towards deductive verification of MPI programs against session types  Full Text
AUTORES: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLICAÇÃO: 2013, FONTE: PLACES, VOLUME: 137
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID
65
TÍTULO: Typing Progress in Communication-Centred Systems
AUTORES: Vieira, HT ; Vasconcelos, VT ;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Coordination Models and Languages (COORDINATION) Held as Part of the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, VOLUME: 7890
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
NO MEU: ORCID
66
TÍTULO: An Algebra of Behavioural Types  Full Text
AUTORES: Ravara, A ; Resende, P ; Vasconcelos, VT ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
NO MEU: ORCID
67
TÍTULO: Fundamentals of session types  Full Text
AUTORES: Vasconcelos, VT ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 217
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
68
TÍTULO: Linearly Refined Session Types  Full Text
AUTORES: Pedro Baltazar; Dimitris Mostrous; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2012, FONTE: LINEARITY, VOLUME: 101
INDEXADO EM: DBLP CrossRef: 3
69
TÍTULO: Selected Papers from the Eleventh International Conference on Coordination Models and Languages  Full Text
AUTORES: Field, J; Vasconcelos, VT ;
PUBLICAÇÃO: 2012, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
70
TÍTULO: Verification of MPI Programs Using Session Types
AUTORES: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2012, FONTE: EuroMPI, VOLUME: 7490 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 12 Unpaywall
NO MEU: ORCID
Página 7 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