The Rewriting Calculus as a Semantics of ELAN. - Horatiu Cirstea; Claude Kirchner (ASIAN, 1998)

Combining First and Higher-Order Computations Using rho-Calculus: Towards a Semantics of ELAN. - Horatiu Cirstea; Claude Kirchner (FroCoS, 1998)

Rewriting Calculus: Foundations and Applications - Horatiu Cirstea (CoRR, 2000)

The simply typed rewriting calculus. - Horatiu Cirstea; Claude Kirchner (WRLA, 2000)

Calcul de réécriture : fondements et applications. - Horatiu Cirstea (2000)

The Rho Cube. - Horatiu Cirstea; Claude Kirchner; Luigi Liquori (FoSSaCS, 2001)

Specifying Authentication Protocols Using Rewriting and Strategies. - Horatiu Cirstea (PADL, 2001)

Matching Power. - Horatiu Cirstea; Claude Kirchner; Luigi Liquori (RTA, 2001)

The rewriting calculus - Part I. - Horatiu Cirstea; Claude Kirchner (Log. J. IGPL, 2001)

The rewriting calculus - Part II. - Horatiu Cirstea; Claude Kirchner (Log. J. IGPL, 2001)

Rewriting Calculus with(out) Types. - Horatiu Cirstea; Claude Kirchner; Luigi Liquori (WRLA, 2002)

Pure patterns type systems. - Gilles Barthe; Horatiu Cirstea; Claude Kirchner; Luigi Liquori (POPL, 2003)

Rewriting Calculus with Fixpoints: Untyped and First-Order Systems. - Horatiu Cirstea; Luigi Liquori; Benjamin Wack (TYPES, 2003)

Translating Combinatory Reduction Systems into the Rewriting Calculus. - Clara Bertolissi; Horatiu Cirstea; Claude Kirchner (RULE@RDP, 2003)

Rewrite strategies in the rewriting calculus. - Horatiu Cirstea; Claude Kirchner; Luigi Liquori; Benjamin Wack (WRS, 2003)

A Rewriting Calculus for Cyclic Higher-order Term Graphs. - Clara Bertolissi; Paolo Baldan; Horatiu Cirstea; Claude Kirchner (TERMGRAPH, 2004)

Rule-based Programming in Java For Protocol Verification. - Horatiu Cirstea; Pierre-Etienne Moreau; Antoine Reilles (WRLA, 2004)

Preface. - Horatiu Cirstea; Narciso Martí-Oliet (RULE@RDP, 2005)

From Functional Programs to Interaction Nets via the Rewriting Calculus. - Horatiu Cirstea; Germain Faure; Maribel Fernández; Ian Mackie; François-Régis Sinot (WRS@FLoC, 2006)

Distributive rho-calculus. - Horatiu Cirstea; Clément Houtmann; Benjamin Wack (WRLA, 2006)

Expressing combinatory reduction systems derivations in the rewriting calculus. - Clara Bertolissi; Horatiu Cirstea; Claude Kirchner (High. Order Symb. Comput., 2006)

Confluence of Pattern-Based Calculi. - Horatiu Cirstea; Germain Faure (RTA, 2007)

Towards a Sharing Strategy for the Graph Rewriting Calculus. - Paolo Baldan; Clara Bertolissi; Horatiu Cirstea; Claude Kirchner (WRS@RDP, 2007)

A rho-calculus of explicit constraint application. - Horatiu Cirstea; Germain Faure; Claude Kirchner (High. Order Symb. Comput., 2007)

Rewrite Based Specification of Access Control Policies. - Horatiu Cirstea; Pierre-Etienne Moreau; Anderson Santana de Oliveira (SecReT@LICS/CSF, 2008)

Rewriting calculi, higher-order reductions and patterns: introduction. - Horatiu Cirstea; Maribel Fernández (Math. Struct. Comput. Sci., 2008)

TomML: A Rule Language for Structured Data. - Horatiu Cirstea; Pierre-Etienne Moreau; Antoine Reilles (RuleML, 2009)

Extensional and Intensional Strategies - Tony Bourdier; Horatiu Cirstea; Daniel J. Dougherty; Hélène Kirchner (WRS, 2009)

Le calcul de réécriture. (The rewriting calculus). - Horatiu Cirstea (2010)

Anti-patterns for rule-based languages. - Horatiu Cirstea; Claude Kirchner; Radu Kopetz; Pierre-Etienne Moreau (J. Symb. Comput., 2010)

Formal Specification and Validation of Security Policies. - Tony Bourdier; Horatiu Cirstea; Mathieu Jaume; Hélène Kirchner (FPS, 2011)

Symbolic analysis of network security policies using rewrite systems. - Tony Bourdier; Horatiu Cirstea (PPDP, 2011)

A faithful encoding of programmable strategies into term rewriting systems. - Horatiu Cirstea; Sergueï Lenglet; Pierre-Etienne Moreau (RTA, 2015)

Towards an Automatic Tool for Multi-scale Model Derivation Illustrated with a Micro-mirror Array. - Walid Belkhir; Nicolas Ratier; Duy Duc Nguyen; Bin Yang; Michel Lenczner; Frédéric Zamkotsian; Horatiu Cirstea (SYNASC, 2015)

Faithful (meta-)encodings of programmable strategies into term rewriting systems. - Horatiu Cirstea; Sergueï Lenglet; Pierre-Etienne Moreau (Log. Methods Comput. Sci., 2017)

Generic Encodings of Constructor Rewriting Systems. - Horatiu Cirstea; Pierre-Etienne Moreau (PPDP, 2019)

Pattern Eliminating Transformations. - Horatiu Cirstea; Pierre Lermusiaux; Pierre-Etienne Moreau (LOPSTR, 2020)

Generating Distributed Programs from Event-B Models. - Horatiu Cirstea; Alexis Grall; Dominique Méry (VPT/HCVS@ETAPS, 2020)

Static analysis of pattern-free properties. - Horatiu Cirstea; Pierre Lermusiaux; Pierre-Etienne Moreau (PPDP, 2021)

Extending PlusCal for Modeling Distributed Algorithms. - Horatiu Cirstea; Stephan Merz (iFM, 2023)

Combining representation formalisms for reasoning upon mathematical knowledge. - Mathieu d'Aquin; Renata Bunoiu; Horatiu Cirstea; Michel Lenczner; Jean Lieber; Frédéric Zamkotsian (K-CAP, 2023)

Generic Encodings and Static Analysis of Constructor Rewriting Systems. - Horatiu Cirstea; Pierre Lermusiaux; Pierre-Etienne Moreau (SYNASC, 2023)

Validating Traces of Distributed Programs Against TLA+ Specifications. - Horatiu Cirstea; Markus A. Kuppe; Benjamin Loillier; Stephan Merz (SEFM, 2024)

Validating Traces of Distributed Programs Against TLA+ Specifications. - Horatiu Cirstea; Markus A. Kuppe; Benjamin Loillier; Stephan Merz (CoRR, 2024)