Hugo Filipe Mendes Torres Vieira
AuthID: R-000-60Y
1
TÃTULO: A coordination protocol language for power grid operation control
AUTORES: Yehia Abd Alrahman; Hugo Torres Vieira;
PUBLICAÇÃO: 2019, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 109
AUTORES: Yehia Abd Alrahman; Hugo Torres Vieira;
PUBLICAÇÃO: 2019, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 109
2
TÃTULO: A calculus for modeling floating authorizations
AUTORES: Ivan Prokić; Jovanka Pantović; Hugo Torres Vieira;
PUBLICAÇÃO: 2019, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 107
AUTORES: Ivan Prokić; Jovanka Pantović; Hugo Torres Vieira;
PUBLICAÇÃO: 2019, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 107
3
TÃTULO: Testing for coordination fidelity
AUTORES: Yehia Abd Alrahman; Claudio Antares Mezzina; Hugo Torres Vieira;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11665 LNCS
AUTORES: Yehia Abd Alrahman; Claudio Antares Mezzina; Hugo Torres Vieira;
PUBLICAÇÃO: 2019, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11665 LNCS
4
TÃTULO: Preface for the special issue on Interaction and Concurrency Experience 2016
AUTORES: Massimo Bartoletti; Ludovic Henrio; Sophia Knight; Hugo Torres Vieira;
PUBLICAÇÃO: 2018, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 98
AUTORES: Massimo Bartoletti; Ludovic Henrio; Sophia Knight; Hugo Torres Vieira;
PUBLICAÇÃO: 2018, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 98
5
TÃTULO: A calculus for modeling floating authorizations
AUTORES: Jovanka Pantović; Ivan Prokić; Hugo Torres Vieira;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10854 LNCS
AUTORES: Jovanka Pantović; Ivan Prokić; Hugo Torres Vieira;
PUBLICAÇÃO: 2018, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10854 LNCS
6
TÃTULO: Preface for the special issue on Interaction and Concurrency Experience 2015
AUTORES: Ivan Lanese; Alberto Lluch Lafuente; Sophia Knight; Hugo Torres Vieira;
PUBLICAÇÃO: 2017, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 86, NÚMERO: 1
AUTORES: Ivan Lanese; Alberto Lluch Lafuente; Sophia Knight; Hugo Torres Vieira;
PUBLICAÇÃO: 2017, FONTE: Journal of Logical and Algebraic Methods in Programming, VOLUME: 86, NÚMERO: 1
7
TÃTULO: Foundations of Session Types and Behavioural Contracts Full Text
AUTORES: 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;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
AUTORES: 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;
PUBLICAÇÃO: 2016, FONTE: ACM COMPUTING SURVEYS, VOLUME: 49, NÚMERO: 1
8
TÃTULO: Preface
AUTORES: Massimo Bartoletti; Ludovic Henrio; Sophia Knight; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 223
AUTORES: Massimo Bartoletti; Ludovic Henrio; Sophia Knight; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 223
INDEXADO EM: 
Scopus
Scopus NO MEU: 
ORCID
ORCID9
TÃTULO: Dynamic role authorization in multiparty conversations Full Text
AUTORES: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Formal Aspects of Computing, VOLUME: 28, NÚMERO: 4
AUTORES: Silvia Ghilezan; Svetlana Jakšić; Jovanka Pantović; Jorge A Pérez; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Formal Aspects of Computing, VOLUME: 28, NÚMERO: 4
10
TÃTULO: Special track on service-oriented architectures and programming (SOAP) Full Text
AUTORES: Maurice H Ter Beek; Hernán Melgratti; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: 04-08-April-2016
AUTORES: Maurice H Ter Beek; Hernán Melgratti; Hugo Torres Vieira;
PUBLICAÇÃO: 2016, FONTE: Proceedings of the ACM Symposium on Applied Computing, VOLUME: 04-08-April-2016
INDEXADO EM: Scopus
Scopus NO MEU: ORCID
ORCID