Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



11
TITLE: A Type Discipline for Message Passing Parallel Programs  Full Text
AUTHORS: Vasconcelos, Vasco T. ; Martins, Francisco ; Lopez, Hugo Andres; Yoshida, Nobuko;
PUBLISHED: 2022, SOURCE: ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 44, ISSUE: 4
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
12
TITLE: Higher-order Context-free Session Types in System F  Full Text
AUTHORS: Costa, Diana; Mordido, Andreia ; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 13th International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 356, ISSUE: 356
INDEXED IN: Scopus WOS DBLP
13
TITLE: Mixed sessions  Full Text
AUTHORS: Casal, F; Mordido, A ; Vasconcelos, VT ;
PUBLISHED: 2022, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 897
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
14
TITLE: Polymorphic lambda calculus with context-free session types
AUTHORS: Bernardo Almeida; Andreia Mordido; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: Information and Computation, VOLUME: 289
INDEXED IN: CrossRef: 9
IN MY: ORCID | CIÊNCIAVITAE
15
TITLE: Polymorphic lambda calculus with context-free session types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: Inf. Comput., VOLUME: 289, ISSUE: Part
INDEXED IN: Scopus DBLP
16
TITLE: Polymorphic lambda calculus with context-free session types  Full Text
AUTHORS: Almeida, Bernardo; Mordido, Andreia; Thiemann, Peter; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 289
INDEXED IN: WOS
17
TITLE: Protocol-Based Smart Contract Generation
AUTHORS: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: Financial Cryptography Workshops, VOLUME: 13412 LNCS
INDEXED IN: Scopus DBLP
18
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Gay, Simon J.; Pocas, Diogo; Vasconcelos, Vasco T. ;
PUBLISHED: 2022, SOURCE: 25th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES (FOSSACS 2022), VOLUME: 13242
INDEXED IN: Scopus WOS DBLP
19
TITLE: The Different Shades of Infinite Session Types
AUTHORS: Simon J Gay; Diogo Poças; Vasco T Vasconcelos ;
PUBLISHED: 2022, SOURCE: Lecture Notes in Computer Science - Foundations of Software Science and Computation Structures
INDEXED IN: CrossRef: 4
IN MY: ORCID | CIÊNCIAVITAE
20
TITLE: Natural and Historical Heritage of the Lisbon Botanical Gardens: An Integrative Approach with Tree Collections
AUTHORS: Cunha, AR; Soares, AL ; Brilhante, M; Arsenio, P ; Vasconcelos, T ; Espirito Santo, D; Duarte, MC ; Romeiras, MM ;
PUBLISHED: 2021, SOURCE: PLANTS-BASEL, VOLUME: 10, ISSUE: 7
INDEXED IN: Scopus WOS CrossRef: 1 Handle
Page 2 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

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