Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 133



51
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: DBLP
52
TITLE: MODULAR SESSION TYPES FOR OBJECTS
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
53
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: 24
IN MY: DBLP
54
TITLE: Selected papers on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014)
AUTHORS: Alastair F Donaldson; Vasco T Vasconcelos ;
PUBLISHED: 2015, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 84, ISSUE: 5
INDEXED IN: DBLP CrossRef
IN MY: DBLP
55
TITLE: A concurrent programming language with refined session types
AUTHORS: Franco, J; Vasconcelos, VT ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods, SEFM 2013 - Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8368 LNCS
INDEXED IN: Scopus CrossRef
56
TITLE: A Concurrent Programming Language with Refined Session Types
AUTHORS: Juliana Franco; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Software Engineering and Formal Methods (SEFM) in SOFTWARE ENGINEERING AND FORMAL METHODS, VOLUME: 8368
INDEXED IN: WOS DBLP
IN MY: DBLP
57
TITLE: Affine Sessions
AUTHORS: Dimitris Mostrous; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2014, SOURCE: 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, VOLUME: 8459
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
58
TITLE: Linearity, session types and the Pi calculus
AUTHORS: Giunti, M ; Vasconcelos, VT ;
PUBLISHED: 2014, SOURCE: Mathematical Structures in Computer Science, VOLUME: 29, ISSUE: 5
INDEXED IN: Scopus CrossRef
59
60
TITLE: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTHORS: Luis Cruz Filipe; Ivan Lanese; Francisco Martins ; Antonio Ravara; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2014, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 26, ISSUE: 5
INDEXED IN: WOS CrossRef
IN MY: ORCID
Página 6 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