Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 143



51
52
TITLE: Theory and Applications of Behavioural Types (Dagstuhl Seminar 17051)
AUTHORS: Simon J Gay; Vasco T Vasconcelos ; Philip Wadler; Nobuko Yoshida;
PUBLISHED: 2017, SOURCE: Dagstuhl Reports, VOLUME: 7, ISSUE: 1
INDEXED IN: DBLP
IN MY: DBLP
53
TITLE: Behavioral Types in Programming Languages
AUTHORS: Ancona, D; Bono, V; Bravetti, M; Campos, J; Castagna, G; Denielou, PM; Gay, SJ; Gesbert, N; Giachino, E; Hu, R; Johnsen, EB; Martins, F ; Mascardi, V; Montesi, F; Neykova, R; Ng, N; Padovani, L; Vasconcelos, VT ; Yoshida, N;
PUBLISHED: 2016, SOURCE: FOUNDATIONS AND TRENDS IN PROGRAMMING LANGUAGES, VOLUME: 3, ISSUE: 2-3
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
54
TITLE: Context-Free Session Types  Full Text
AUTHORS: Peter Thiemann; Vasco T Vasconcelos ;
PUBLISHED: 2016, SOURCE: 21st ACM SIGPLAN International Conference on Functional Programming (ICFP) in ACM SIGPLAN NOTICES, VOLUME: 51, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP
55
TITLE: Foundations of Session Types and Behavioural Contracts  Full Text
AUTHORS: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 120
IN MY: ORCID | DBLP | CIÊNCIAVITAE
56
TITLE: Linearity, session types and the Pi calculus
AUTHORS: Giunti, M ; Vasconcelos, VT ;
PUBLISHED: 2016, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 26, ISSUE: 2
INDEXED IN: Scopus WOS DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
57
TITLE: Deductive Verification of Parallel Programs Using Why3  Full Text
AUTHORS: Cesar Santos; Francisco Martins ; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2015, SOURCE: 8th Interaction and Concurrency Experience, ICE 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 189, ISSUE: 189
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
58
TITLE: Imperative Objects with Dependent Types
AUTHORS: Joana Campos; Vasco T Vasconcelos ;
PUBLISHED: 2015, SOURCE: 17th Workshop on Formal Techniques for Java-Like Programs (FTfJP) in 17TH WORKSHOP ON FORMAL TECHNIQUES FOR JAVA-LIKE PROGRAMS (FTFJP 2015)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
59
TITLE: MODULAR SESSION TYPES FOR OBJECTS  Full Text
AUTHORS: Gay, SJ; Gesbert, N; Ravara, A; Vasconcelos, VT ;
PUBLISHED: 2015, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 11, ISSUE: 4
INDEXED IN: Scopus WOS CrossRef: 8
IN MY: ORCID | CIÊNCIAVITAE
60
TITLE: Protocol-Based Verification of Message-Passing Parallel Programs  Full Text
AUTHORS: Hugo A Lopez; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Cesar Santos; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2015, SOURCE: ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) in ACM SIGPLAN NOTICES, VOLUME: 50, ISSUE: 10
INDEXED IN: WOS DBLP CrossRef: 28
IN MY: DBLP
Page 6 of 15. Total results: 143.

footer slogan

Useful Links

Get Help

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