Hugo Filipe Mendes Torres Vieira
AuthID: R-000-60Y
11
TITLE: Preface for the special issue on Interaction and Concurrency Experience 2014
AUTHORS: Ivan Lanese; Alberto Lluch Lafuente; Ana Sokolova; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 85, ISSUE: 3
AUTHORS: Ivan Lanese; Alberto Lluch Lafuente; Ana Sokolova; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 85, ISSUE: 3
12
TITLE: Proceedings 8th Interaction and Concurrency Experience, ICE 2015, Grenoble, France, 4-5th June 2015 Full Text
AUTHORS: Sophia Knight; Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira;
PUBLISHED: 2015, SOURCE: ICE, VOLUME: 189
AUTHORS: Sophia Knight; Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira;
PUBLISHED: 2015, SOURCE: ICE, VOLUME: 189
13
TITLE: An ecosystem approach to mixed fisheries: technical and biological interactions in the Portuguese multi-gear fleet Full Text
AUTHORS: Ines Cardoso; Teresa Moura; Hugo Mendes; Cristina Silva; Manuela Azevedo;
PUBLISHED: 2015, SOURCE: ICES JOURNAL OF MARINE SCIENCE, VOLUME: 72, ISSUE: 9
AUTHORS: Ines Cardoso; Teresa Moura; Hugo Mendes; Cristina Silva; Manuela Azevedo;
PUBLISHED: 2015, SOURCE: ICES JOURNAL OF MARINE SCIENCE, VOLUME: 72, ISSUE: 9
14
TITLE: Combining behavioural types with security analysis
AUTHORS: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 6
AUTHORS: Bartoletti, M; Castellani, I; Deniélou, PM; Dezani Ciancaglini, M; Ghilezan, S; Pantovic, J; Pérez, JA; Thiemann, P; Toninho, B ; Vieira, HT;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 6
15
TITLE: Preface
AUTHORS: Sophia Knight; Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira;
PUBLISHED: 2015, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 189
AUTHORS: Sophia Knight; Ivan Lanese; Alberto Lluch Lafuente; Hugo Torres Vieira;
PUBLISHED: 2015, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 189
INDEXED IN: 
Scopus
Scopus IN MY: 
ORCID
ORCID16
TITLE: Global protocol implementations via attribute-based communication
AUTHORS: Rocco De Nicola; Claudio Antares Mezzina; Hugo Torres Vieira;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9465
AUTHORS: Rocco De Nicola; Claudio Antares Mezzina; Hugo Torres Vieira;
PUBLISHED: 2015, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 9465
17
TITLE: Preface Full Text
AUTHORS: Lanese, I; Lafuente, AL; Sokolova, A; Vieira, HT;
PUBLISHED: 2014, SOURCE: 7th Interaction and Concurrency Experience, ICE 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 166
AUTHORS: Lanese, I; Lafuente, AL; Sokolova, A; Vieira, HT;
PUBLISHED: 2014, SOURCE: 7th Interaction and Concurrency Experience, ICE 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 166
18
TITLE: Dynamic role authorization in multiparty conversations Full Text
AUTHORS: Ghilezan, S; Jaksic, S; Pantovic, J; Perez, JA; Vieira, HT;
PUBLISHED: 2014, SOURCE: 3rd Workshop on Behavioural Types, BEAT 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 162
AUTHORS: Ghilezan, S; Jaksic, S; Pantovic, J; Perez, JA; Vieira, HT;
PUBLISHED: 2014, SOURCE: 3rd Workshop on Behavioural Types, BEAT 2014 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 162
19
TITLE: Handling conflicts in aspectual requirements compositions
AUTHORS: Brito, IS ; Vieira, F; Moreira, A ; Ribeiro, RA ;
PUBLISHED: 2007, SOURCE: 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
AUTHORS: Brito, IS ; Vieira, F; Moreira, A ; Ribeiro, RA ;
PUBLISHED: 2007, SOURCE: 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
