Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



21
TITLE: Deciding the Bisimilarity of Context-Free Session Types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: TACAS (2), VOLUME: 12079 LNCS
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
22
TITLE: Duality of Session Types: The Final Cut  Full Text
AUTHORS: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: PLACES@ETAPS, VOLUME: 314
INDEXED IN: Scopus DBLP CrossRef: 17
23
TITLE: Label-Dependent Session Types
AUTHORS: Thiemann, P; Vasconcelos, VT ;
PUBLISHED: 2020, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 4, ISSUE: POPL
INDEXED IN: Scopus WOS CrossRef: 12
IN MY: ORCID
24
TITLE: Label-dependent session types
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: Proc. ACM Program. Lang., VOLUME: 4, ISSUE: POPL
INDEXED IN: DBLP
25
TITLE: Mixed Sessions
AUTHORS: Vasconcelos, VT ; Casal, F ; Almeida, B; Mordido, A ;
PUBLISHED: 2020, SOURCE: 29th European Symposium on Programming (ESOP) held as part of the European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020), VOLUME: 12075
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
26
TITLE: Mixed Sessions: the Other Side of the Tape  Full Text
AUTHORS: Filipe Casal ; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: PLACES@ETAPS, VOLUME: 314
INDEXED IN: Scopus DBLP CrossRef
27
TITLE: Statically Checking REST API Consumers
AUTHORS: Burnay, N; Lopes, A ; Vasconcelos, VT ;
PUBLISHED: 2020, SOURCE: 18th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2020, VOLUME: 12310
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
28
TITLE: Statically Checking REST API Consumers
AUTHORS: Nuno Burnay; Antónia Lopes; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: SEFM
INDEXED IN: DBLP
29
TITLE: Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes
AUTHORS: Laura Bocchi; Maurizio Murgia; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2019, SOURCE: ESOP, VOLUME: 11423 LNCS
INDEXED IN: Scopus DBLP
30
TITLE: FreeST: Context-free Session Types in a Functional Language  Full Text
AUTHORS: Almeida, B; Mordido, A ; Vasconcelos, VT ;
PUBLISHED: 2019, SOURCE: 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, ISSUE: 291
INDEXED IN: Scopus WOS DBLP CrossRef: 7
Page 3 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service