Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 129



51
TÍTULO: Imperative Objects with Dependent Types
AUTORES: Campos, J; Vasconcelos, VT ;
PUBLICAÇÃO: 2015, FONTE: 17th Workshop on Formal Techniques for Java-Like Programs (FTfJP) in 17TH WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP 2015)
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
52
TÍTULO: MODULAR SESSION TYPES FOR OBJECTS
AUTORES: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLICAÇÃO: 2015, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
53
TÍTULO: Protocol-based verification of message-passing parallel programs
AUTORES: López, HA; Marques, ERB; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
PUBLICAÇÃO: 2015, FONTE: 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2015 in Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA, VOLUME: 25-30-Oct-2015
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
54
TÍTULO: Protocol-Based Verification of Message-Passing Parallel Programs
AUTORES: López, HA; Marques, ERB ; Martins, F ; Ng, N; Santos, C; Vasconcelos, VT ; Yoshida, N;
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: 29
55
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. Algebraic Methods Program., VOLUME: 84, NÚMERO: 5
INDEXADO EM: Scopus DBLP CrossRef
56
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) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
57
TÍTULO: Affine Sessions
AUTORES: Mostrous, D; Vasconcelos, VT ;
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: 8
58
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
59
60
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
Página 6 de 13. Total de resultados: 129.

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