Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Confirmed Publications: 127



61
TITLE: Typing Liveness in Multiparty Communicating Systems
AUTHORS: Padovani, L; Vasconcelos, VT ; Vieira, HT;
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: 19
IN MY: ORCID
62
TITLE: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTHORS: Baltazar, P; Caires, L ; Vasconcelos, VT ; Vieira, HT ;
PUBLISHED: 2013, SOURCE: 7th International Symposium Trustworthy Global Computing (TGC) in TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, VOLUME: 8358
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: ORCID
63
TITLE: Coordinating Phased Activities while Maintaining Progress
AUTHORS: Cogumbreiro, T; Martins, F ; Vasconcelos, VT ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages (COORDINATION) Held as Part of the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, VOLUME: 7890
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID
64
TITLE: Towards deductive verification of MPI programs against session types  Full Text
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLISHED: 2013, SOURCE: PLACES, VOLUME: 137
INDEXED IN: Scopus DBLP CrossRef: 7
IN MY: ORCID
65
TITLE: Typing Progress in Communication-Centred Systems
AUTHORS: Vieira, HT ; Vasconcelos, VT ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Coordination Models and Languages (COORDINATION) Held as Part of the 8th International Federated Conference on Distributed Computing Techniques (DisCoTec) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2013, VOLUME: 7890
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: ORCID
66
TITLE: An Algebra of Behavioural Types  Full Text
AUTHORS: Ravara, A ; Resende, P ; Vasconcelos, VT ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
IN MY: ORCID
67
TITLE: Fundamentals of session types  Full Text
AUTHORS: Vasconcelos, VT ;
PUBLISHED: 2012, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 217
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
68
TITLE: Linearly Refined Session Types  Full Text
AUTHORS: Pedro Baltazar; Dimitris Mostrous; Vasco Thudichum Vasconcelos ;
PUBLISHED: 2012, SOURCE: LINEARITY, VOLUME: 101
INDEXED IN: DBLP CrossRef: 3
69
TITLE: Selected Papers from the Eleventh International Conference on Coordination Models and Languages  Full Text
AUTHORS: Field, J; Vasconcelos, VT ;
PUBLISHED: 2012, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID
70
TITLE: Verification of MPI Programs Using Session Types
AUTHORS: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLISHED: 2012, SOURCE: EuroMPI, VOLUME: 7490 LNCS
INDEXED IN: Scopus DBLP CrossRef: 12 Unpaywall
IN MY: ORCID
Page 7 of 13. Total results: 127.

footer slogan

Useful Links

Get Help

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