Hugo Filipe Mendes Torres Vieira
AuthID: R-000-60Y
11
TITLE: A typed model for dynamic authorizations Full Text
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
AUTHORS: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLISHED: 2016, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 203
12
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
13
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
14
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
15
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
16
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
ORCID17
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
18
TITLE: Typing Liveness in Multiparty Communicating Systems
AUTHORS: Padovani, L; Vasconcelos, VT ; Vieira, HT;
PUBLISHED: 2014, SOURCE: 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, VOLUME: 8459
AUTHORS: Padovani, L; Vasconcelos, VT ; Vieira, HT;
PUBLISHED: 2014, SOURCE: 16th IFIP WG 6.1 International Conference on Coordination Models and Languages (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, VOLUME: 8459
19
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
20
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
