Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 129



41
TÍTULO: Gradual session types
AUTORES: Atsushi Igarashi; Peter Thiemann; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2017, FONTE: Proc. ACM Program. Lang., VOLUME: 1, NÚMERO: ICFP
INDEXADO EM: Scopus DBLP
42
TÍTULO: Inferring Types for Parallel Programs
AUTORES: Francisco Martins ; Vasco Thudichum Vasconcelos ; Hans Hüttel;
PUBLICAÇÃO: 2017, FONTE: PLACES@ETAPS, VOLUME: 246
INDEXADO EM: Scopus DBLP CrossRef: 1
43
TÍTULO: Preface
AUTORES: Vasconcelos, VT ; Haller, P;
PUBLICAÇÃO: 2017, FONTE: 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2017 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 246
INDEXADO EM: Scopus
NO MEU: ORCID | CIÊNCIAVITAE
44
45
TÍTULO: Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
AUTORES: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLICAÇÃO: 2017, FONTE: Dagstuhl Reports, VOLUME: 7, NÚMERO: 1
INDEXADO EM: DBLP
46
TÍTULO: Behavioral Types in Programming Languages
AUTORES: Ancona, D; Bono, V; Bravetti, M; Campos, J; Castagna, G; Denielou, PM; Gay, SJ; Gesbert, N; Giachino, E; Hu, R; Johnsen, EB; Martins, F ; Mascardi, V; Montesi, F; Neykova, R; Ng, N; Padovani, L; Vasconcelos, VT ; Yoshida, N;
PUBLICAÇÃO: 2016, FONTE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, NÚMERO: 2-3
INDEXADO EM: Scopus WOS DBLP CrossRef: 86
47
TÍTULO: Context-Free Session Types
AUTORES: Thiemann, P; Vasconcelos, VT ;
PUBLICAÇÃO: 2016, FONTE: 21st ACM SIGPLAN International Conference on Functional Programming (ICFP) in ACM SIGPLAN NOTICES, VOLUME: 51, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
48
TÍTULO: Foundations of Session Types and Behavioural Contracts
AUTORES: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 133
49
TÍTULO: Linearity, session types and the Pi calculus
AUTORES: Giunti, M ; Vasconcelos, VT ;
PUBLICAÇÃO: 2016, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, NÚMERO: 2
INDEXADO EM: Scopus WOS DBLP
50
TÍTULO: Deductive Verification of Parallel Programs Using Why3
AUTORES: Santos, C; Martins, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2015, FONTE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, NÚMERO: 189
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
Página 5 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