Horatiu Cirstea

Pierre Lermusiaux

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Generic Encodings of Constructor Rewriting Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017

Faithful (meta-)encodings of programmable strategies into term rewriting systems.

[BibT_eX]

[DOI]

Sergueï Lenglet

Log. Methods Comput. Sci., 2017

2015

Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array.

[BibT_eX]

[DOI]

Proceedings of the 17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2015

A faithful encoding of programmable strategies into term rewriting systems.

[BibT_eX]

[DOI]

Sergueï Lenglet

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

2011

Symbolic analysis of network security policies using rewrite systems.

[BibT_eX]

[DOI]

Tony Bourdier

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

Formal Specification and Validation of Security Policies.

[BibT_eX]

[DOI]

Proceedings of the Foundations and Practice of Security, 2011

2010

Anti-patterns for rule-based languages.

[BibT_eX]

[DOI]

Radu Kopetz

J. Symb. Comput., 2010

Le calcul de réécriture. (The rewriting calculus).

[BibT_eX]

[DOI]

, 2010

2009

Extensional and Intensional Strategies

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Workshop on Reduction Strategies in Rewriting and Programming, 2009

TomML: A Rule Language for Structured Data.

[BibT_eX]

[DOI]

Antoine Reilles

Proceedings of the Rule Interchange and Applications, International Symposium, 2009

2008

Rewriting calculi, higher-order reductions and patterns: introduction.

[BibT_eX]

[DOI]

Maribel Fernández

Math. Struct. Comput. Sci., 2008

Rewrite Based Specification of Access Control Policies.

[BibT_eX]

[DOI]

Anderson Santana de Oliveira

Proceedings of the Third International Workshop on Security and Rewriting Techniques, 2008

2007

A rho-calculus of explicit constraint application.

[BibT_eX]

[DOI]

Germain Faure

High. Order Symb. Comput., 2007

Towards a Sharing Strategy for the Graph Rewriting Calculus.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Reduction Strategies in Rewriting and Programming, 2007

Confluence of Pattern-Based Calculi.

[BibT_eX]

[DOI]

Germain Faure

Proceedings of the Term Rewriting and Applications, 18th International Conference, 2007

2006

Expressing combinatory reduction systems derivations in the rewriting calculus.

[BibT_eX]

[DOI]

Clara Bertolissi

High. Order Symb. Comput., 2006

Distributive rho-calculus.

[BibT_eX]

[DOI]

Clément Houtmann

Benjamin Wack

Proceedings of the 6th International Workshop on Rewriting Logic and its Applications, 2006

From Functional Programs to Interaction Nets via the Rewriting Calculus.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Reduction Strategies in Rewriting and Programming, 2006

2005

Preface.

[BibT_eX]

[DOI]

Narciso Martí-Oliet

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

2004

Rule-based Programming in Java For Protocol Verification.

[BibT_eX]

[DOI]

Antoine Reilles

Proceedings of the Fifth International Workshop on Rewriting Logic and Its Applications, 2004

A Rewriting Calculus for Cyclic Higher-order Term Graphs.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Term Graph Rewriting, 2004

2003

Rewrite strategies in the rewriting calculus.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003

Translating Combinatory Reduction Systems into the Rewriting Calculus.

[BibT_eX]

[DOI]

Clara Bertolissi

Proceedings of the 4th International Workshop on Rule-Based Programming, 2003

Rewriting Calculus with Fixpoints: Untyped and First-Order Systems.

[BibT_eX]

[DOI]

Benjamin Wack

Proceedings of the Types for Proofs and Programs, International Workshop, 2003

Pure patterns type systems.

[BibT_eX]

[DOI]

Proceedings of the Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2003

2002

Rewriting Calculus with(out) Types.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

2001

The rewriting calculus - Part II.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

The rewriting calculus - Part I.

[BibT_eX]

[DOI]

Log. J. IGPL, 2001

Matching Power.

[BibT_eX]

[DOI]

Proceedings of the Rewriting Techniques and Applications, 12th International Conference, 2001

Specifying Authentication Protocols Using Rewriting and Strategies.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2001

The Rho Cube.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Calcul de réécriture : fondements et applications.

[BibT_eX]

[DOI]

PhD thesis, 2000

The simply typed rewriting calculus.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Rewriting Calculus: Foundations and Applications

[BibT_eX]

[DOI]

CoRR, 2000

1998

Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN.

[BibT_eX]

Proceedings of the Frontiers of Combining Systems, Second International Workshop, 1998

The Rewriting Calculus as a Semantics of ELAN.

[BibT_eX]

[DOI]