| 2009 |
|---|
| 26 | EE | Horatiu Cirstea,
Pierre-Etienne Moreau,
Anderson Santana de Oliveira:
Rewrite Based Specification of Access Control Policies.
Electr. Notes Theor. Comput. Sci. 234: 37-54 (2009) |
| 2008 |
|---|
| 25 | EE | 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) |
| 24 | EE | Horatiu Cirstea,
Maribel Fernández:
Rewriting calculi, higher-order reductions and patterns: introduction.
Mathematical Structures in Computer Science 18(3): 427-429 (2008) |
| 2007 |
|---|
| 23 | EE | Horatiu Cirstea,
Germain Faure:
Confluence of Pattern-Based Calculi.
RTA 2007: 78-92 |
| 22 | EE | Horatiu Cirstea,
Germain Faure,
Maribel Fernández,
Ian Mackie,
François-Régis Sinot:
From Functional Programs to Interaction Nets via the Rewriting Calculus.
Electr. Notes Theor. Comput. Sci. 174(10): 39-56 (2007) |
| 21 | EE | Horatiu Cirstea,
Clément Houtmann,
Benjamin Wack:
Distributive rho-calculus.
Electr. Notes Theor. Comput. Sci. 176(4): 95-111 (2007) |
| 20 | EE | Horatiu Cirstea,
Germain Faure,
Claude Kirchner:
A rho-calculus of explicit constraint application.
Higher-Order and Symbolic Computation 20(1-2): 37-72 (2007) |
| 19 | EE | 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 |
|---|
| 18 | EE | Horatiu Cirstea,
Narciso Martí-Oliet:
Preface.
Electr. Notes Theor. Comput. Sci. 147(1): 1-3 (2006) |
| 17 | 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 |
|---|
| 16 | EE | Horatiu Cirstea,
Pierre-Etienne Moreau,
Antoine Reilles:
Rule-based Programming in Java For Protocol Verification.
Electr. Notes Theor. Comput. Sci. 117: 209-227 (2005) |
| 15 | EE | Horatiu Cirstea,
Germain Faure,
Claude Kirchner:
A rho-Calculus of Explicit Constraint Application.
Electr. Notes Theor. Comput. Sci. 117: 51-67 (2005) |
| 14 | 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 |
|---|
| 13 | EE | Gilles Barthe,
Horatiu Cirstea,
Claude Kirchner,
Luigi Liquori:
Pure patterns type systems.
POPL 2003: 250-261 |
| 12 | EE | Horatiu Cirstea,
Luigi Liquori,
Benjamin Wack:
Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.
TYPES 2003: 147-161 |
| 11 | EE | Clara Bertolissi,
Horatiu Cirstea,
Claude Kirchner:
Translating Combinatory Reduction Systems into the Rewriting Calculus.
Electr. Notes Theor. Comput. Sci. 86(2): (2003) |
| 10 | EE | Horatiu Cirstea,
Claude Kirchner,
Luigi Liquori,
Benjamin Wack:
Rewrite strategies in the rewriting calculus.
Electr. Notes Theor. Comput. Sci. 86(4): (2003) |
| 2002 |
|---|
| 9 | EE | Horatiu Cirstea,
Claude Kirchner,
Luigi Liquori:
Rewriting Calculus with(out) Types.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 2001 |
|---|
| 8 | EE | Horatiu Cirstea,
Claude Kirchner,
Luigi Liquori:
The Rho Cube.
FoSSaCS 2001: 168-183 |
| 7 | EE | Horatiu Cirstea:
Specifying Authentication Protocols Using Rewriting and Strategies.
PADL 2001: 138-152 |
| 6 | EE | Horatiu Cirstea,
Claude Kirchner,
Luigi Liquori:
Matching Power.
RTA 2001: 77-92 |
| 5 | EE | Horatiu Cirstea,
Claude Kirchner:
The rewriting calculus - Part I.
Logic Journal of the IGPL 9(3): (2001) |
| 4 | EE | Horatiu Cirstea,
Claude Kirchner:
The rewriting calculus - Part II.
Logic Journal of the IGPL 9(3): (2001) |
| 2000 |
|---|
| 3 | EE | Horatiu Cirstea:
Rewriting Calculus: Foundations and Applications
CoRR cs.SC/0011043: (2000) |
| 2 | EE | Horatiu Cirstea,
Claude Kirchner:
The simply typed rewriting calculus.
Electr. Notes Theor. Comput. Sci. 36: (2000) |
| 1998 |
|---|
| 1 | EE | Horatiu Cirstea,
Claude Kirchner:
The Rewriting Calculus as a Semantics of ELAN.
ASIAN 1998: 84-85 |
