Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



61
TÍTULO: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTORES: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2015, FONTE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, NÚMERO: 10
INDEXADO EM: WOS DBLP CrossRef: 28
NO MEU: DBLP
62
TÍTULO: Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)
AUTORES: Alastair F Donaldson; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2015, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 84, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
63
TÍTULO: A concurrent programming language with refined session types
AUTORES: Franco, J; Vasconcelos, VT ;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8368 LNCS
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
64
TÍTULO: A Concurrent Programming Language with Refined Session Types
AUTORES: Juliana Franco; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXADO EM: WOS DBLP
NO MEU: DBLP
65
TÍTULO: Affine Sessions
AUTORES: Dimitris Mostrous; Vasco Thudichum Vasconcelos ;
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
66
TÍTULO: Linearity, session types and the Pi calculus
AUTORES: Giunti, M ; Vasconcelos, VT ;
PUBLICAÇÃO: 2014, FONTE: Mathematical Structures in Computer Science, VOLUME: 29, NÚMERO: 5
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
67
68
TÍTULO: The progress of session types
AUTORES: Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2014, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8704 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
69
TÍTULO: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTORES: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2014, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
70
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
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 7 de 15. Total de resultados: 143.

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