Vasco Thudichum Vasconcelos


AuthID: R-001-YYD

Publicações Confirmadas: 143



71
TÍTULO: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTORES: Pedro Baltazar; Luis Caires ; Vasco T Vasconcelos ; Hugo Torres Vieira ;
PUBLICAÇÃO: 2013, FONTE: 7th International Symposium Trustworthy Global Computing (TGC) in TRUSTWORTHY GLOBAL COMPUTING, TGC 2013, VOLUME: 8358
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
72
TÍTULO: Coordinating Phased Activities while Maintaining Progress
AUTORES: Cogumbreiro, T; Martins, F ; Vasconcelos, VT ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
73
TÍTULO: The stream-based service-centred calculus: a foundation for service-oriented programming  Full Text
AUTORES: Cruz Filipe, L; Lanese, I; Martins, F ; Ravara, A ; Thudichum Vasconcelos, V ;
PUBLICAÇÃO: 2013, FONTE: Formal Aspects of Computing, VOLUME: 26, NÚMERO: 5
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
74
TÍTULO: Towards deductive verification of MPI programs against session types
AUTORES: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLICAÇÃO: 2013, FONTE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
75
TÍTULO: Typing Progress in Communication-Centred Systems
AUTORES: Vieira, HT ; Vasconcelos, VT ;
PUBLICAÇÃO: 2013, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
76
TÍTULO: An Algebra of Behavioural Types  Full Text
AUTORES: Ravara, A ; Resende, P ; Vasconcelos, VT ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 212
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
77
TÍTULO: Fundamentals of session types  Full Text
AUTORES: Vasconcelos, VT ;
PUBLICAÇÃO: 2012, FONTE: INFORMATION AND COMPUTATION, VOLUME: 217
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
78
TÍTULO: Linearly Refined Session Types  Full Text
AUTORES: Pedro Baltazar; Dimitris Mostrous; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2012, FONTE: Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012., VOLUME: 101
INDEXADO EM: DBLP CrossRef
NO MEU: DBLP
79
TÍTULO: Modular Session Types for Objects PDF
AUTORES: Simon J Gay; Nils Gesbert; António Ravara; Vasco Thudichum Vasconcelos ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1205.5344
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
80
TÍTULO: Selected Papers from the Eleventh International Conference on Coordination Models and Languages  Full Text
AUTORES: John Field; Vasco T Vasconcelos ;
PUBLICAÇÃO: 2012, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 8 de 15. Total de resultados: 143.

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

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service