Hugo Filipe Mendes Torres Vieira
AuthID: R-000-60Y
11
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
12
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
13
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
14
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
15
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
ORCID16
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
17
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
18
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
19
TÃTULO: Handling conflicts in aspectual requirements compositions
AUTORES: Brito, IS ; Vieira, F; Moreira, A ; Ribeiro, RA ;
PUBLICAÇÃO: 2007, FONTE: Transactions on Aspect-Oriented Software Development III in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4620 LNCS
AUTORES: Brito, IS ; Vieira, F; Moreira, A ; Ribeiro, RA ;
PUBLICAÇÃO: 2007, FONTE: Transactions on Aspect-Oriented Software Development III in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4620 LNCS
