Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



41
TÍTULO: Affine Sessions
AUTORES: Dimitris Mostrous; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2018, FONTE: Logical Methods in Computer Science, VOLUME: 14, NÚMERO: 4
INDEXADO EM: DBLP
NO MEU: DBLP
42
TÍTULO: Affine Sessions PDF
AUTORES: Dimitris Mostrous; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1809.02781
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
43
TÍTULO: AFFINE SESSIONS  Full Text
AUTORES: Mostrous, D; Vasconcelos, VT ;
PUBLICAÇÃO: 2018, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 4
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
44
TÍTULO: Dependent Types for Class-based Mutable Objects
AUTORES: Joana Campos; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2018, FONTE: 32nd European Conference on Object-Oriented Programming, ECOOP 2018 in 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands, VOLUME: 109
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
45
TÍTULO: Dependent Types for Class-based Mutable Objects (Artifact)
AUTORES: Joana Campos; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2018, FONTE: DARTS, VOLUME: 4, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
46
TÍTULO: Gradual Session Types PDF
AUTORES: Atsushi Igarashi; Peter Thiemann; Yuya Tsuda; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1809.05649
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
47
TÍTULO: Deadlock avoidance in parallel programs with futures: why parallel tasks should not wait for strangers
AUTORES: Tiago Cogumbreiro; Rishi Surendran; Francisco Martins; Vivek Sarkar; Vasco T Vasconcelos ; Max Grossman;
PUBLICAÇÃO: 2017, FONTE: PACMPL, VOLUME: 1, NÚMERO: OOPSLA
INDEXADO EM: DBLP
NO MEU: DBLP
48
TÍTULO: Gradual session types
AUTORES: Atsushi Igarashi; Peter Thiemann; Vasco T Vasconcelos ; Philip Wadler;
PUBLICAÇÃO: 2017, FONTE: PACMPL, VOLUME: 1, NÚMERO: ICFP
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
49
TÍTULO: Inferring Types for Parallel Programs PDF  Full Text
AUTORES: Francisco Martins ; Vasco Thudichum Vasconcelos ; Hans Hüttel;
PUBLICAÇÃO: 2017, FONTE: 10th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2017 in Proceedings Tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2017, Uppsala, Sweden, 29th April 2017., VOLUME: 246
INDEXADO EM: Scopus DBLP arXiv CrossRef: 1
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
50
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
Página 5 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