| 2007 |
|---|
| 6 | EE | Clara Bertolissi,
Maribel Fernández,
Steve Barker:
Dynamic Event-Based Access Control as Term Rewriting.
DBSec 2007: 195-210 |
| 5 | EE | Clara Bertolissi,
Claude Kirchner:
The Rewriting Calculus as a Combinatory Reduction System.
FoSSaCS 2007: 78-92 |
| 2006 |
|---|
| 4 | EE | 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 | EE | Clara Bertolissi:
The Graph Rewriting Calculus: Confluence and Expressiveness.
ICTCS 2005: 113-127 |
| 2 | EE | 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 | EE | Clara Bertolissi,
Horatiu Cirstea,
Claude Kirchner:
Translating Combinatory Reduction Systems into the Rewriting Calculus.
Electr. Notes Theor. Comput. Sci. 86(2): (2003) |
