Hugo Filipe Mendes Torres Vieira
AuthID: R-000-60Y
1
TITLE: Foundations of Session Types and Behavioural Contracts Full Text
AUTHORS: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
AUTHORS: Hans Hüttel; Ivan Lanese; Vasco T Vasconcelos ; Luís Caires ; Marco Carbone; Pierre Malo Deniélou; Dimitris Mostrous; Luca Padovani; António Ravara; Emilio Tuosto; Hugo Torres Vieira; Gianluigi Zavattaro;
PUBLISHED: 2016, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 49, ISSUE: 1
2
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
INDEXED IN: 
DBLP 
CrossRef
DBLP CrossRef3
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
4
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
5
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
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef6
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
