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