Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 143



21
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
22
TITLE: Polymorphic Context-free Session Types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2106.06658
INDEXED IN: DBLP
IN MY: DBLP
23
TITLE: Protocol-based Smart Contract Generation
AUTHORS: Afonso Falcão; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2108.02672
INDEXED IN: DBLP
IN MY: DBLP
24
TITLE: Deciding the Bisimilarity of Context-Free Session Types
AUTHORS: Bernardo Almeida; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020 in Tools and Algorithms for the Construction and Analysis of Systems - 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings, Part II, VOLUME: 12079
INDEXED IN: Scopus DBLP CrossRef: 8
IN MY: ORCID | DBLP | CIÊNCIAVITAE
25
TITLE: Duality of Session Types: The Final Cut PDF  Full Text
AUTHORS: Simon J Gay; Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
INDEXED IN: Scopus DBLP arXiv CrossRef: 17
IN MY: CIÊNCIAVITAE
26
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
27
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
IN MY: DBLP
28
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): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, VOLUME: 12075
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP | CIÊNCIAVITAE
29
TITLE: Mixed Sessions: the Other Side of the Tape  Full Text
AUTHORS: Filipe Casal ; Andreia Mordido ; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2020 in Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES@ETAPS 2020, Dublin, Ireland, 26th April 2020., VOLUME: 314
INDEXED IN: Scopus DBLP CrossRef
IN MY: DBLP | CIÊNCIAVITAE
30
TITLE: SafeRESTScript: Statically Checking REST API Consumers
AUTHORS: Nuno Burnay; Antónia Lopes; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2007.08048
INDEXED IN: DBLP
IN MY: DBLP
Page 3 of 15. Total results: 143.

footer slogan

Useful Links

Get Help

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