Hugo Filipe Mendes Torres Vieira
AuthID: R-000-60Y
11
TÃTULO: A typed model for dynamic authorizations Full Text
AUTORES: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
AUTORES: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
12
TÃTULO: Preface for the special issue on Interaction and Concurrency Experience 2014
AUTORES: Ivan Lanese; Alberto Lluch Lafuente; Ana Sokolova; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 85, NÚMERO: 3
AUTORES: Ivan Lanese; Alberto Lluch Lafuente; Ana Sokolova; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 85, NÚMERO: 3
13
TÃTULO: Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015 Full Text
AUTORES: Sophia Knight; Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira;
PUBLICAÇÃO: 2015, FONTE: ICE, VOLUME: 189
AUTORES: Sophia Knight; Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira;
PUBLICAÇÃO: 2015, FONTE: ICE, VOLUME: 189
14
TÃTULO: An ecosystem approach to mixed fisheries: technical and biological interactions in the Portuguese multi-gear fleet Full Text
AUTORES: Ines Cardoso; Teresa Moura; Hugo Mendes; Cristina Silva; Manuela Azevedo;
PUBLICAÇÃO: 2015, FONTE: ICES JOURNAL OF MARINE SCIENCE, VOLUME: 72, NÚMERO: 9
AUTORES: Ines Cardoso; Teresa Moura; Hugo Mendes; Cristina Silva; Manuela Azevedo;
PUBLICAÇÃO: 2015, FONTE: ICES JOURNAL OF MARINE SCIENCE, VOLUME: 72, NÚMERO: 9
15
TÃTULO: Combining behavioural types with security analysis
AUTORES: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 6
AUTORES: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLICAÇÃO: 2015, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, NÚMERO: 6
16
TÃTULO: Preface
AUTORES: Sophia Knight; Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira;
PUBLICAÇÃO: 2015, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 189
AUTORES: Sophia Knight; Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira;
PUBLICAÇÃO: 2015, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 189
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID17
TÃTULO: Global protocol implementations via attribute-based communication
AUTORES: Rocco De Nicola; Claudio Antares Mezzina; Hugo Torres Vieira;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9465
AUTORES: Rocco De Nicola; Claudio Antares Mezzina; Hugo Torres Vieira;
PUBLICAÇÃO: 2015, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9465
18
TÃTULO: Typing Liveness in Multiparty Communicating Systems
AUTORES: Padovani, L; Vasconcelos, VT ; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, VOLUME: 8459
AUTORES: Padovani, L; Vasconcelos, VT ; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, VOLUME: 8459
19
TÃTULO: Preface Full Text
AUTORES: Lanese, I; Lafuente, AL; Sokolova, A; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 7th Interaction and Concurrency Experience, ICE 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 166
AUTORES: Lanese, I; Lafuente, AL; Sokolova, A; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 7th Interaction and Concurrency Experience, ICE 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 166
20
TÃTULO: Dynamic role authorization in multiparty conversations Full Text
AUTORES: Ghilezan, S; Jaksic, S; Pantovic, J; Perez, JA; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 3rd Workshop on Behavioural Types, BEAT 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 162
AUTORES: Ghilezan, S; Jaksic, S; Pantovic, J; Perez, JA; Vieira, HT;
PUBLICAÇÃO: 2014, FONTE: 3rd Workshop on Behavioural Types, BEAT 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 162
