 | 2009 |
|---|
| 10 |       | Steve Barker,
Clara Bertolissi,
Maribel Fernández:
Action Control by Term Rewriting.
Electr. Notes Theor. Comput. Sci. 234: 19-36 (2009) |
| 2008 |
|---|
| 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): (2003) |
