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: Pedro Baltazar; Luis Caires ; Vasco T Vasconcelos ; Hugo Torres Vieira ;
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
IN MY: ORCID
3
TITLE: Analysis of service oriented software systems with the Conversation Calculus
AUTHORS: Caires, L ; Vieira, HT ;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef: 4
IN MY: ORCID
4
TITLE: SLMC: A Tool for Model Checking Concurrent Systems against Dynamical Spatial Logic Specifications
AUTHORS: Luis Caires ; Hugo Torres Vieira ;
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
5
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
IN MY: ORCID
6
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
7
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
8
TITLE: Tools and verification
AUTHORS: Bartoletti, M; Caires, L ; Lanese, I; Mazzanti, F; Sangiorgi, D; Vieira, HT ; Zunino, R;
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 DBLP CrossRef: 2
IN MY: ORCID
9
TITLE: Type-Based Access Control in Data-Centric Systems  Full Text
AUTHORS: Luis Caires ; Jorge A Perez ; Joao Costa Seco ; Hugo Torres Vieira ; Lucio Ferrao;
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 | ResearcherID
10
TITLE: Conversation types  Full Text
AUTHORS: Luis Caires ; Hugo Torres Vieira ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 51-52
INDEXED IN: Scopus WOS DBLP CrossRef: 42
IN MY: ORCID | ResearcherID
Page 1 of 2. Total results: 15.

A place for researchers and their institutions

Useful Links

Get Help

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