Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



81
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: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490
INDEXADO EM: Scopus DBLP CrossRef: 12 Unpaywall
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
82
TÍTULO: Core calculi for service-oriented computing
AUTORES: Caires, L ; De Nicola, R; Pugliese, R; Vasconcelos, VT ; Zavattaro, G;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
83
TÍTULO: Runtime Verification for Generic Classes with CONGU2  Full Text
AUTORES: Crispim, P; Lopes, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2011, FONTE: 13th Brazilian Symposium on Formal Methods (SBMF) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, VOLUME: 6527
INDEXADO EM: Scopus WOS CrossRef: 3
NO MEU: ORCID | CIÊNCIAVITAE
84
TÍTULO: Session Typing for a Featherweight Erlang
AUTORES: Mostrous, D; Vasconcelos, VT ;
PUBLICAÇÃO: 2011, FONTE: 13th International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2011, VOLUME: 6721
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
85
TÍTULO: Sessions, from Types to Programming Languages
AUTORES: Vasco T Vasconcelos ;
PUBLICAÇÃO: 2011, FONTE: Bulletin of the EATCS, VOLUME: 103
INDEXADO EM: DBLP
NO MEU: DBLP
86
TÍTULO: 18th International Conference on Concurrency Theory Preface  Full Text
AUTORES: Luis Caires ; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2010, FONTE: INFORMATION AND COMPUTATION, VOLUME: 208, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
87
TÍTULO: A Linear Account of Session Types in the Pi Calculus
AUTORES: Giunti, M ; Vasconcelos, VT ;
PUBLICAÇÃO: 2010, FONTE: 21st Conference on Concurrency Theory in CONCUR 2010 - CONCURRENCY THEORY, VOLUME: 6269
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
88
TÍTULO: Channels as Objects in Concurrent Object-Oriented Programming  Full Text
AUTORES: Joana Campos; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2010, FONTE: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21st March 2010., VOLUME: 69
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
89
TÍTULO: Distributed Informal Information Systems for Innovation: An Empirical Study of the Role of Social Networks
AUTORES: Vasco Vasconcelos ; Pedro Campos ;
PUBLICAÇÃO: 2010, FONTE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT II, VOLUME: 110, NÚMERO: PART 2
INDEXADO EM: Scopus WOS CrossRef: 1
90
TÍTULO: Linear type theory for asynchronous session types
AUTORES: Gay, SJ; Vasconcelos, VT ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 20, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 9 de 15. Total de resultados: 143.

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

Links Úteis

Ajuda

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