Hugo Filipe Mendes Torres Vieira


AuthID: R-000-60Y

Publicações Confirmadas: 15



1
TÍTULO: A Type System for Flexible Role Assignment in Multiparty Communicating Systems
AUTORES: Baltazar, P; Caires, L ; Vasconcelos, VT ; Vieira, HT ;
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
2
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: 11
NO MEU: ORCID
3
TÍTULO: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
AUTORES: Caires, L ; Vieira, HT ;
PUBLICAÇÃO: 2012, FONTE: 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) in TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2012, VOLUME: 7214
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
4
TÍTULO: Advanced mechanisms for service combination and transactions
AUTORES: Ferreira, C ; Lanese, I; Ravara, A ; Vieira, HT ; Zavattaro, G;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: Scopus CrossRef: 7
NO MEU: ORCID
5
TÍTULO: Behavioral theory for session-oriented calculi
AUTORES: Lanese, I; Ravara, A ; Vieira, HT ;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
6
TÍTULO: Static analysis techniques for session-oriented calculi
AUTORES: Acciai, L; Bodei, C; Boreale, M; Bruni, R; Vieira, HT ;
PUBLICAÇÃO: 2011, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
7
TÍTULO: Tools and Verification
AUTORES: Massimo Bartoletti; Luís Caires ; Ivan Lanese; Franco Mazzanti; Davide Sangiorgi; Hugo Torres Vieira ; Roberto Zunino;
PUBLICAÇÃO: 2011, FONTE: Results of the SENSORIA Project, VOLUME: 6582
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID
8
TÍTULO: Type-Based Access Control in Data-Centric Systems  Full Text
AUTORES: Caires, L ; Pérez, JA ; Seco, JC ; Vieira, HT ; Ferrao, L;
PUBLICAÇÃO: 2011, FONTE: 20th European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 6602
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID
9
TÍTULO: Analysis of Service Oriented Software Systems with the Conversation Calculus
AUTORES: Luís Caires ; Hugo Torres Vieira ;
PUBLICAÇÃO: 2010, FONTE: FACS, VOLUME: 6921 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
10
TÍTULO: Conversation types  Full Text
AUTORES: Caires, L ; Vieira, HT ;
PUBLICAÇÃO: 2010, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 51-52
INDEXADO EM: Scopus WOS DBLP CrossRef: 48
NO MEU: ORCID
Página 1 de 2. Total de resultados: 15.

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

Links Úteis

Ajuda

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