Clara Bertolissi

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
A metamodel of access control for distributed environments: applications and properties Information and Computation	2014-10-20	Paper
Towards a sharing strategy for the graph rewriting calculus Electronic Notes in Theoretical Computer Science	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 Frontiers of Combining Systems	2013-09-20	Paper
Sharing in the graph rewriting calculus Recent Trends in Algebraic Development Techniques	2012-06-08	Paper
A rewriting calculus for cyclic higher-order term graphs Mathematical Structures in Computer Science	2007-09-26	Paper
The Rewriting Calculus as a Combinatory Reduction System Foundations of Software Science and Computational Structures	2007-09-07	Paper
Expressing combinatory reduction systems derivations in the rewriting calculus Higher-Order and Symbolic Computation	2007-01-05	Paper
Theoretical Computer Science Lecture Notes in Computer Science	2006-11-01	Paper

Research outcomes over time

This page was built for person: Clara Bertolissi