Clara Bertolissi

Available identifiers

zbMath Open bertolissi.claraMaRDI QIDQ462494

List of research outcomes

Publication	Date of Publication	Type
A metamodel of access control for distributed environments: applications and properties	2014-10-20	Paper
Towards a sharing strategy for the graph rewriting calculus	2014-01-24	Paper
A rewriting calculus for cyclic higher-order term graphs	2013-09-25	Paper
Verification of Composed Array-Based Systems with Applications to Security-Aware Workflows	2013-09-20	Paper
Sharing in the Graph Rewriting Calculus	2012-06-08	Paper
A rewriting calculus for cyclic higher-order term graphs	2007-09-26	Paper
The Rewriting Calculus as a Combinatory Reduction System	2007-09-07	Paper
Expressing combinatory reduction systems derivations in the rewriting calculus	2007-01-05	Paper
Theoretical Computer Science	2006-11-01	Paper

Research outcomes over time

This page was built for person: Clara Bertolissi