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
https://portal.mardi4nfdi.de/entity/Q2848117	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

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: Clara Bertolissi