Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 129



1
TITLE: Kind inference for the FREEST programming language
AUTHORS: Almeida, Bernardo; Mordido, Andreia; Vasconcelos, Vasco T. ;
PUBLISHED: 2026, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 148
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
2
TITLE: Subtyping context-free session types  Full Text
AUTHORS: Silva, Gil; Mordido, Andreia ; Vasconcelos, Vasco T. ;
PUBLISHED: 2026, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1069
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
3
TITLE: Borrowing from Session Types
AUTHORS: Saffrich, Hannes; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLISHED: 2025, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 9, ISSUE: OOPSLA2
INDEXED IN: WOS DBLP CrossRef
IN MY: DBLP
4
TITLE: Polymorphic higher-order context-free session types
AUTHORS: Costa, Diana; Mordido, Andreia; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2024, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 1001
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
5
6
7
TITLE: Kind Inference for the FreeST Programming Language
AUTHORS: Almeida, Bernardo; Mordido, Andreia ; Vasconcelos, Vasco T. ;
PUBLISHED: 2023, SOURCE: 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 148, ISSUE: 378
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
8
TITLE: Parameterized Algebraic Protocols
AUTHORS: Mordido, Andreia ; Spaderna, Janek; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLISHED: 2023, SOURCE: PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, VOLUME: 7, ISSUE: PLDI
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
9
TITLE: Parameterized Algebraic Protocols
AUTHORS: Andreia Mordido; Janek Spaderna; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: Proceedings of the ACM on Programming Languages, VOLUME: 7, ISSUE: PLDI
INDEXED IN: CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
10
TITLE: Protocol-Based Smart Contract Generation
AUTHORS: Afonso Falcão; Andreia Mordido; Vasco T Vasconcelos ;
PUBLISHED: 2023, SOURCE: Lecture Notes in Computer Science - Financial Cryptography and Data Security. FC 2022 International Workshops
INDEXED IN: CrossRef: 1
IN MY: ORCID | CIÊNCIAVITAE
Page 1 of 13. Total results: 129.

footer slogan

Useful Links

Get Help

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