Hugo Filipe Mendes Torres Vieira


AuthID: R-000-60Y

Confirmed Publications: 15



1
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
2
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
3
TITLE: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
AUTHORS: Caires, L ; Vieira, HT ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
4
TITLE: Advanced mechanisms for service combination and transactions
AUTHORS: Ferreira, C ; Lanese, I; Ravara, A ; Vieira, HT ; Zavattaro, G;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus CrossRef: 7
IN MY: ORCID
5
TITLE: Behavioral theory for session-oriented calculi
AUTHORS: Lanese, I; Ravara, A ; Vieira, HT ;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus CrossRef
IN MY: ORCID
6
TITLE: Static analysis techniques for session-oriented calculi
AUTHORS: Acciai, L; Bodei, C; Boreale, M; Bruni, R; Vieira, HT ;
PUBLISHED: 2011, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6582
INDEXED IN: Scopus CrossRef
IN MY: ORCID
7
TITLE: Tools and Verification
AUTHORS: Massimo Bartoletti; Luís Caires ; Ivan Lanese; Franco Mazzanti; Davide Sangiorgi; Hugo Torres Vieira ; Roberto Zunino;
PUBLISHED: 2011, SOURCE: Results of the SENSORIA Project, VOLUME: 6582
INDEXED IN: Scopus DBLP CrossRef: 2
IN MY: ORCID
8
TITLE: Type-Based Access Control in Data-Centric Systems  Full Text
AUTHORS: Caires, L ; Pérez, JA ; Seco, JC ; Vieira, HT ; Ferrao, L;
PUBLISHED: 2011, SOURCE: 20th European Symposium on Programming (ESOP) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 6602
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID
9
TITLE: Analysis of Service Oriented Software Systems with the Conversation Calculus
AUTHORS: Luís Caires ; Hugo Torres Vieira ;
PUBLISHED: 2010, SOURCE: FACS, VOLUME: 6921 LNCS
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
10
TITLE: Conversation types  Full Text
AUTHORS: Caires, L ; Vieira, HT ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 51-52
INDEXED IN: Scopus WOS DBLP CrossRef: 48
IN MY: ORCID
Page 1 of 2. Total results: 15.

footer slogan

Useful Links

Get Help

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