Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 143



31
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
32
TITLE: Statically Checking REST API Consumers
AUTHORS: Nuno Burnay; Antónia Lopes; Vasco T Vasconcelos ;
PUBLISHED: 2020, SOURCE: Software Engineering and Formal Methods - 18th International Conference, SEFM 2020, Amsterdam, The Netherlands, September 14-18, 2020, Proceedings, VOLUME: 12310
INDEXED IN: DBLP
IN MY: DBLP
33
TITLE: Asynchronous Timed Session Types - From Duality to Time-Sensitive Processes
AUTHORS: Laura Bocchi; Maurizio Murgia; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2019, SOURCE: 28th European Symposium on Programming, ESOP 2019 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019 in Programming Languages and Systems - 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, VOLUME: 11423
INDEXED IN: Scopus DBLP
IN MY: DBLP
34
TITLE: FreeST: Context-free Session Types in a Functional Language PDF
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 arXiv CrossRef: 5
IN MY: DBLP
35
TITLE: Gradual session types
AUTHORS: Igarashi, A; Thiemann, P; Tsuda, Y; Vasconcelos, VT ; Wadler, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF FUNCTIONAL PROGRAMMING, VOLUME: 29
INDEXED IN: WOS DBLP
IN MY: DBLP
36
TITLE: HeadREST: A Specification Language for RESTful APIs
AUTHORS: Vasco T Vasconcelos ; Francisco Martins ; Antónia Lopes ; Nuno Burnay;
PUBLISHED: 2019, SOURCE: Models, Languages, and Tools for Concurrent and Distributed Programming - Essays Dedicated to Rocco De Nicola on the Occasion of His 65th Birthday, VOLUME: 11665
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
37
TITLE: Label-Dependent Session Types PDF
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.00705
INDEXED IN: DBLP arXiv
IN MY: DBLP
38
TITLE: Label-dependent session types
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2019, SOURCE: Proceedings of the ACM on Programming Languages, VOLUME: 4, ISSUE: POPL
INDEXED IN: CrossRef: 12
IN MY: ORCID | CIÊNCIAVITAE
39
TITLE: Special issue on the tenth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software
AUTHORS: Haller, P; Vasconcelos, VT ;
PUBLISHED: 2019, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
40
TITLE: The computational content of atomic polymorphism
AUTHORS: Ferreira, G; Vasconcelos, VT ;
PUBLISHED: 2019, SOURCE: LOGIC JOURNAL OF THE IGPL, VOLUME: 27, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
Page 4 of 15. Total results: 143.

footer slogan

Useful Links

Get Help

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