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: 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
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
NO MEU: ORCID
3
TÍTULO: Analysis of service oriented software systems with the Conversation Calculus
AUTORES: Caires, L ; Vieira, HT ;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID
4
TÍTULO: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
AUTORES: Luis Caires ; Hugo Torres Vieira ;
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
5
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
NO MEU: ORCID
6
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
7
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
8
TÍTULO: Tools and verification
AUTORES: Bartoletti, M; Caires, L ; Lanese, I; Mazzanti, F; Sangiorgi, D; Vieira, HT ; Zunino, R;
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 DBLP CrossRef: 2
NO MEU: ORCID
9
TÍTULO: Type-Based Access Control in Data-Centric Systems  Full Text
AUTORES: Luis Caires ; Jorge A Perez ; Joao Costa Seco ; Hugo Torres Vieira ; Lucio Ferrao;
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 | ResearcherID
10
TÍTULO: Conversation types  Full Text
AUTORES: Luis Caires ; Hugo Torres Vieira ;
PUBLICAÇÃO: 2010, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 51-52
INDEXADO EM: Scopus WOS DBLP CrossRef: 42
NO MEU: ORCID | ResearcherID
Página 1 de 2. Total de resultados: 15.

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

Links Úteis

Ajuda

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