Hugo Torres Vieira

Available identifiers

zbMath Open vieira.hugo-torresWikidataQ56492920 ScholiaQ56492920MaRDI QIDQ315293

List of research outcomes

Publication	Date of Publication	Type
Testing for coordination fidelity	2024-02-23	Paper
A Calculus for Modeling Floating Authorizations	2023-03-10	Paper
https://portal.mardi4nfdi.de/entity/Q5019690	2022-01-10	Paper
The \(C_\pi\)-calculus: a model for confidential name passing	2021-02-26	Paper
A coordination protocol language for power grid operation control	2019-11-28	Paper
A calculus for modeling floating authorizations	2019-10-17	Paper
Dynamic role authorization in multiparty conversations	2016-09-20	Paper
Global Protocol Implementations via Attribute-Based Communication	2016-01-08	Paper
Combining behavioural types with security analysis	2015-11-10	Paper
Extensionality of spatial observations in distributed systems	2013-12-13	Paper
Type-Based Access Control in Data-Centric Systems	2011-05-19	Paper
Conversation types	2011-01-07	Paper
Conversation Types	2009-03-31	Paper
The Conversation Calculus: A Model of Service-Oriented Computation	2008-04-11	Paper

Research outcomes over time

This page was built for person: Hugo Torres Vieira