Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 129



31
TÍTULO: Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes
AUTORES: Laura Bocchi; Maurizio Murgia; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2019, FONTE: ESOP, VOLUME: 11423 LNCS
INDEXADO EM: Scopus DBLP
32
TÍTULO: FreeST: Context-free Session Types in a Functional Language
AUTORES: Almeida, B; Mordido, A ; Vasconcelos, VT ;
PUBLICAÇÃO: 2019, FONTE: 11th Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES) Co-located with European Joint Conferences on Theory and Practice of Software (ETAPS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 291, NÚMERO: 291
INDEXADO EM: Scopus WOS DBLP CrossRef: 8
33
TÍTULO: Gradual session types
AUTORES: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
INDEXADO EM: WOS DBLP
34
TÍTULO: HeadREST: A Specification Language for RESTful APIs
AUTORES: Vasco T Vasconcelos ; Francisco Martins ; Antónia Lopes ; Nuno Burnay;
PUBLICAÇÃO: 2019, FONTE: Models, Languages, and Tools for Concurrent and Distributed Programming, VOLUME: 11665 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
35
TÍTULO: Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
AUTORES: Haller, P; Vasconcelos, VT ;
PUBLICAÇÃO: 2019, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXADO EM: Scopus WOS DBLP
36
TÍTULO: The computational content of atomic polymorphism
AUTORES: Ferreira, G; Vasconcelos, VT ;
PUBLICAÇÃO: 2019, FONTE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
37
TÍTULO: AFFINE SESSIONS
AUTORES: Mostrous, D; Vasconcelos, VT ;
PUBLICAÇÃO: 2018, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 14, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
38
TÍTULO: Dependent Types for Class-based Mutable Objects
AUTORES: Joana Campos; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2018, FONTE: ECOOP, VOLUME: 109
INDEXADO EM: Scopus DBLP
39
TÍTULO: Dependent Types for Class-based Mutable Objects (Artifact)
AUTORES: Joana Campos; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2018, FONTE: Dagstuhl Artifacts Ser., VOLUME: 4, NÚMERO: 3
INDEXADO EM: DBLP
40
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: Proc. ACM Program. Lang., VOLUME: 1, NÚMERO: OOPSLA
INDEXADO EM: DBLP
Página 4 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