| 2014 | CiE | Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. | Maribel Fernndez, Hlne Kirchner, Ian Mackie, Bruno Pinaud |
| 2011 | LOPSTR | A Strategy Language for Graph Rewriting. | Maribel Fernndez, Hlne Kirchner, Olivier Namet |
| 2009 | COMPSAC | Policy Composition Based on Petri Nets. | Hejiao Huang, Hlne Kirchner |
| 2007 | CCS | Weaving rewrite-based access control policies. | Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hlne Kirchner |
| 2007 | ESORICS | Modular Access Control Via Strategic Rewriting. | Daniel J. Dougherty, Claude Kirchner, Hlne Kirchner, Anderson Santana de Oliveira |
| 2007 | SYNASC | Graph Rewriting and Strategies for Modeling Biochemical Networks. | Oana Andrei, Hlne Kirchner |
| 2006 | LPAR | Automatic Combinability of Rewriting-Based Satisfiability Procedures. | Hlne Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2006 | PPDP | Computing constructor forms with non terminating rewrite programs. | Isabelle Gnaedig, Hlne Kirchner |
| 2005 | ICTAC | On Superposition-Based Satisfiability Procedures and Their Combination. | Hlne Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran |
| 2004 | ICTAC | A Proof of Weak Termination Providing the Right Way to Terminate. | Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner |
| 2003 | CADE | Proof Search and Proof Check for Equational and Inductive Theorems. | Eric Deplagne, Claude Kirchner, Hlne Kirchner, Quang Huy Nguyen |
| 2003 | ICCS | Automated Generation of Kinetic Chemical Mechanisms Using Rewriting. | Olivier Bournez, Guy-Marie Cme, Valrie Conraud, Hlne Kirchner, Liliana Ibanescu |
| 2003 | PPDP | Simplification and termination of strategies in rule-based languages. | Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner |
| 2002 | PPDP | System Presentation -- CARIBOO: An induction based proof tool for termination with strategies. | Olivier Fissore, Isabelle Gnaedig, Hlne Kirchner |
| 1998 | FLOPS | A Functional View of Rewriting and Strategies for a Semantics of ELAN. | Peter Borovansk, Claude Kirchner, Hlne Kirchner |
| 1995 | COMPASS | Combining Algebraic and Set-Theoretic Specifications. | Claus Hintermeier, Hlne Kirchner, Peter D. Mosses |
| 1994 | COMPASS | Sort Inheritance for Order-Sorted Equational Presentations. | Claus Hintermeier, Claude Kirchner, Hlne Kirchner |
| 1994 | ICALP | Dynamically-Typed Computations for Order-Sorted Equational Presentations. | Claus Hintermeier, Claude Kirchner, Hlne Kirchner |
| 1994 | ICLP | Constraint Solving by Narrowing in Combined Algebraic Domains. | Hlne Kirchner, Christophe Ringeissen |
| 1992 | ICLP | A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. | Hlne Kirchner, Christophe Ringeissen |
| 1989 | ISSAC | Constrained Equational Reasoning. | Claude Kirchner, Hlne Kirchner |
| 1988 | ICALP | Operational Semantics of OBJ-3 (Extended Abstract). | Claude Kirchner, Hlne Kirchner, Jos Meseguer |
| 1984 | CADE | A General Inductive Completion Algorithm and Application to Abstract Data Types. | Hlne Kirchner |
| 1984 | POPL | Completion of a Set of Rules Modulo a Set of Equations. | Jean-Pierre Jouannaud, Hlne Kirchner |
| 1983 | ICALP | Incremental Construction of Unification Algorithms in Equational Theories. | Jean-Pierre Jouannaud, Claude Kirchner, Hlne Kirchner |
| 1983 | IJCAI | Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. | Jean-Pierre Jouannaud, Hlne Kirchner, Jean-Luc Rmy |
| 1981 | IJCAI | Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. | Claude Kirchner, Hlne Kirchner, Jean-Pierre Jouannaud |