Hugo Torres Vieira
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Testing for coordination fidelity Models, Languages, and Tools for Concurrent and Distributed Programming | 2024-02-23 | Paper |
| A Calculus for Modeling Floating Authorizations Formal Techniques for Distributed Objects, Components, and Systems | 2023-03-10 | Paper |
| scientific article; zbMATH DE number 7454918 (Why is no real title available?) | 2022-01-10 | Paper |
| scientific article; zbMATH DE number 7454918 (Why is no real title available?) (available as arXiv preprint) | 2022-01-10 | Paper |
| The \(C_\pi\)-calculus: a model for confidential name passing Journal of Logical and Algebraic Methods in Programming | 2021-02-26 | Paper |
| A coordination protocol language for power grid operation control Journal of Logical and Algebraic Methods in Programming | 2019-11-28 | Paper |
| A calculus for modeling floating authorizations Journal of Logical and Algebraic Methods in Programming | 2019-10-17 | Paper |
| Dynamic role authorization in multiparty conversations Formal Aspects of Computing | 2016-09-20 | Paper |
| Global protocol implementations via attribute-based communication Programming Languages with Applications to Biology and Security | 2016-01-08 | Paper |
| Combining behavioural types with security analysis Journal of Logical and Algebraic Methods in Programming | 2015-11-10 | Paper |
| Extensionality of spatial observations in distributed systems Electronic Notes in Theoretical Computer Science | 2013-12-13 | Paper |
| Type-based access control in data-centric systems Programming Languages and Systems | 2011-05-19 | Paper |
| Conversation types Theoretical Computer Science | 2011-01-07 | Paper |
| Conversation Types Programming Languages and Systems | 2009-03-31 | Paper |
| The Conversation Calculus: A Model of Service-Oriented Computation Programming Languages and Systems | 2008-04-11 | Paper |
Research outcomes over time
This page was built for person: Hugo Torres Vieira
