 | 2010 |
|---|
| 15 |       | Clara Bertolissi,
Maribel Fernández:
Category-Based Authorisation Models: Operational Semantics and Expressive Power.
ESSoS 2010: 140-156 |
| 14 | | Clara Bertolissi,
Maribel Fernández:
Rewrite Specifications of Access Control Policies in Distributed Environments.
STM 2010: 51-67 |
| 13 | | Paolo Baldan,
Clara Bertolissi:
Sharing in the Graph Rewriting Calculus.
WADT 2010: 27-41 |
| 2009 |
|---|
| 12 | | Steve Barker,
Clara Bertolissi,
Maribel Fernández:
Action Control by Term Rewriting.
Electr. Notes Theor. Comput. Sci. 234: 19-36 (2009) |
| 2008 |
|---|
| 11 | | Clara Bertolissi,
Maribel Fernández:
An algebraic-functional framework for distributed access control.
CRiSIS 2008: 1-8 |
| 10 | | Clara Bertolissi,
Maribel Fernández:
Time and Location Based Services with Access Control.
NTMS 2008: 1-6 |
| 9 | | Clara Bertolissi,
Maribel Fernández:
A rewriting framework for the composition of access control policies.
PPDP 2008: 217-225 |
| 8 | | Paolo Baldan,
Clara Bertolissi,
Horatiu Cirstea,
Claude Kirchner:
Towards a Sharing Strategy for the Graph Rewriting Calculus.
Electr. Notes Theor. Comput. Sci. 204: 111-127 (2008) |
| 2007 |
|---|
| 7 | | Clara Bertolissi,
Maribel Fernández,
Steve Barker:
Dynamic Event-Based Access Control as Term Rewriting.
DBSec 2007: 195-210 |
| 6 | | Clara Bertolissi,
Claude Kirchner:
The Rewriting Calculus as a Combinatory Reduction System.
FoSSaCS 2007: 78-92 |
| 5 | | Paolo Baldan,
Clara Bertolissi,
Horatiu Cirstea,
Claude Kirchner:
A rewriting calculus for cyclic higher-order term graphs.
Mathematical Structures in Computer Science 17(3): 363-406 (2007) |
| 2006 |
|---|
| 4 | | Clara Bertolissi,
Horatiu Cirstea,
Claude Kirchner:
Expressing combinatory reduction systems derivations in the rewriting calculus.
Higher-Order and Symbolic Computation 19(4): 345-376 (2006) |
| 2005 |
|---|
| 3 | | Clara Bertolissi:
The Graph Rewriting Calculus: Confluence and Expressiveness.
ICTCS 2005: 113-127 |
| 2 | | Clara Bertolissi,
Paolo Baldan,
Horatiu Cirstea,
Claude Kirchner:
A Rewriting Calculus for Cyclic Higher-order Term Graphs.
Electr. Notes Theor. Comput. Sci. 127(5): 21-41 (2005) |
| 2003 |
|---|
| 1 | | Clara Bertolissi,
Horatiu Cirstea,
Claude Kirchner:
Translating Combinatory Reduction Systems into the Rewriting Calculus.
Electr. Notes Theor. Comput. Sci. 86(2): 28-44 (2003) |
Data released under the ODC-BY 1.0 license — See also our legal information page