Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 133



21
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
22
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: DBLP
23
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
24
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
25
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
26
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
27
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
28
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
IN MY: DBLP
29
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
30
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
IN MY: DBLP
Página 3 de 14. Total de resultados: 133.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

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