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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Hugo Torres Vieira