Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. - Claude Kirchner; Hélène Kirchner; Jean-Pierre Jouannaud (IJCAI, 1981)

Incremental Construction of Unification Algorithms in Equational Theories. - Jean-Pierre Jouannaud; Claude Kirchner; Hélène Kirchner (ICALP, 1983)

Church-Rosser Properties of Weakly Terminating Term Rewriting Systems. - Jean-Pierre Jouannaud; Hélène Kirchner; Jean-Luc Rémy (IJCAI, 1983)

A General Inductive Completion Algorithm and Application to Abstract Data Types. - Hélène Kirchner (CADE, 1984)

Construction D'un Plus Petit Odre de Simplification. - Jean-Pierre Jouannaud; Hélène Kirchner (RAIRO Theor. Informatics Appl., 1984)

Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. - Claude Kirchner; Hélène Kirchner (European Conference on Computer Algebra (2), 1985)

NARROWER: A New Algorithm for Unification and Its Application to Logic Programming. - Pierre Réty; Claude Kirchner; Hélène Kirchner; Pierre Lescanne (RTA, 1985)

Completion of a Set of Rules Modulo a Set of Equations. - Jean-Pierre Jouannaud; Hélène Kirchner (SIAM J. Comput., 1986)

An Introduction to OBJ 3. - Joseph A. Goguen; Claude Kirchner; Hélène Kirchner; Aristide Mégrelis; José Meseguer 001; Timothy C. Winkler (CTRS, 1987)

Schematization of Infinite Sets of Rewrite Rules. Application to the Divergence of Completion Processes. - Hélène Kirchner (RTA, 1987)

REVEUR-3: The Implementation of a General Completion Procedure Parameterized by Built-in Theories and Strategies. - Claude Kirchner; Hélène Kirchner (Sci. Comput. Program., 1987)

OBJ: Programming with Equalities, Subsorts, Overloading and Parameterization. - Jean-Pierre Jouannaud; Claude Kirchner; Hélène Kirchner; Aristide Mégrelis (ALP, 1988)

Equational Completion in Order-Sorted Algebras (Extended Abstract). - Isabelle Gnaedig; Claude Kirchner; Hélène Kirchner (CAAP, 1988)

Operational Semantics of OBJ-3 (Extended Abstract). - Claude Kirchner; Hélène Kirchner; José Meseguer 001 (ICALP, 1988)

Constrained Equational Reasoning. - Claude Kirchner; Hélène Kirchner (ISSAC, 1989)

Schematization of Infinite Sets of Rewrite Rules Generated by Divergent Completion Processes. - Hélène Kirchner (Theor. Comput. Sci., 1989)

Meta-rule Synthesis from Crossed Rewrite Systems. - Hélène Kirchner; Miki Hermann (CTRS, 1990)

Equational Completion in Order-Sorted Algebras. - Isabelle Gnaedig; Claude Kirchner; Hélène Kirchner (Theor. Comput. Sci., 1990)

Proofs in Parameterized Specification. - Hélène Kirchner (RTA, 1991)

Implementations of Term Rewriting Systems. - Miki Hermann; Claude Kirchner; Hélène Kirchner (Comput. J., 1991)

Rewriting techniques and applications, RTA'91. - Hélène Kirchner; Pierre Lescanne (SIGACT News, 1991)

A Constraint Solver in Finite Algebras and Its Combination with Unification Algorithms. - Hélène Kirchner; Christophe Ringeissen (JICSLP, 1992)

The Term Rewriting Approach to Automated Theorem Proving. - Jieh Hsiang; Hélène Kirchner; Pierre Lescanne; Michaël Rusinowitch (J. Log. Program., 1992)

Programming with Equalitiers, Subsorts, Overloading and Parametrization in OBJ. - Jean-Pierre Jouannaud; Claude Kirchner; Hélène Kirchner; Aristide Mégrelis (J. Log. Program., 1992)

To Prof. Dr. Wolfgang Wechler. - Hélène Kirchner (Theor. Comput. Sci., 1992)

Some Extensions of Rewriting. - Hélène Kirchner (Term Rewriting, 1993)

Implementing Computational Systems with Constraints. - Claude Kirchner; Hélène Kirchner; Marian Vittek (PPCP, 1993)

Sort Inheritance for Order-Sorted Equational Presentations. - Claus Hintermeier; Claude Kirchner; Hélène Kirchner (COMPASS/ADT, 1994)

Constraint Solving by Narrowing in Combined Algebraic Domains. - Hélène Kirchner; Christophe Ringeissen (ICLP, 1994)

Combining Symbolic Constraint Solvers on Algebraic Domains. - Hélène Kirchner; Christophe Ringeissen (J. Symb. Comput., 1994)

On the Use of Constraints in Automated Deduction - Hélène Kirchner (Constraint Programming, 1994)

Combining Algebraic and Set-Theoretic Specifications. - Claus Hintermeier; Hélène Kirchner; Peter D. Mosses (COMPASS/ADT, 1995)

Rn- and Gn-Logics. - Claus Hintermeier; Hélène Kirchner; Peter D. Mosses (HOA, 1995)

Prototyping Completion with Constraints Using Computational Systems. - Hélène Kirchner; Pierre-Etienne Moreau (RTA, 1995)

Controlling rewriting by rewriting. - Peter Borovanský; Claude Kirchner; Hélène Kirchner (WRLA, 1996)

ELAN: A logical framework based on computational systems. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau; Marian Vittek (WRLA, 1996)

A reflective extension of ELAN. - Hélène Kirchner; Pierre-Etienne Moreau (WRLA, 1996)

A Functional View of Rewriting and Strategies for a Semantics of ELAN. - Peter Borovanský; Claude Kirchner; Hélène Kirchner (Fuji International Symposium on Functional and Logic Programming, 1998)

A Compiler for Rewrite Programs in Associative-Commutative Theories. - Pierre-Etienne Moreau; Hélène Kirchner (PLILP/ALP, 1998)

Non-deterministic Computations in ELAN. - Hélène Kirchner; Pierre-Etienne Moreau (WADT, 1998)

An overview of ELAN. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau; Christophe Ringeissen (WRLA, 1998)

Preface. - Claude Kirchner; Hélène Kirchner (WRLA, 1998)

Dynamically Typed Computations for Order-Sorted Equational Presentations. - Claus Hintermeier; Claude Kirchner; Hélène Kirchner (J. Symb. Comput., 1998)

Rule Based Programming with Constraints and Strategies. - Hubert Dubois; Hélène Kirchner (New Trends in Constraints, 1999)

ELAN. - Hélène Kirchner (JFPLC, 1999)

Term Rewriting. - Hélène Kirchner (Algebraic Foundations of Systems Specification, 1999)

Editorial: Strategies in Automated Deduction. - Bernhard Gramlich; Hélène Kirchner; Frank Pfenning (Ann. Math. Artif. Intell., 2000)

Combining assisted and automated deduction. - Hélène Kirchner (Ann. Math. Artif. Intell., 2000)

Termination and normalisation under strategy Proofs in ELAN. - Hélène Kirchner; Isabelle Gnaedig (WRLA, 2000)

Rewriting with Strategies in ELAN: A Functional Semantics. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Christophe Ringeissen (Int. J. Found. Comput. Sci., 2001)

Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories. - Hélène Kirchner; Pierre-Etienne Moreau (J. Funct. Program., 2001)

Algebraic Specifications, Higher-order Types and Set-theoretic Models. - Hélène Kirchner; Peter D. Mosses (J. Log. Comput., 2001)

Termination of Rewriting with Local Strategies. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (STRATEGIES@IJCAR, 2001)

System Presentation – CARIBOO: An induction based proof tool for termination with strategies. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (PPDP, 2002)

Outermost ground termination. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (WRLA, 2002)

External Rewriting for Skeptical Proof Assistants. - Quang Huy Nguyen 002; Claude Kirchner; Hélène Kirchner (J. Autom. Reason., 2002)

CASL: the Common Algebraic Specification Language. - Egidio Astesiano; Michel Bidoit; Hélène Kirchner; Bernd Krieg-Brückner; Peter D. Mosses; Donald Sannella; Andrzej Tarlecki (Theor. Comput. Sci., 2002)

ELAN from a rewriting logic point of view. - Peter Borovanský; Claude Kirchner; Hélène Kirchner; Pierre-Etienne Moreau (Theor. Comput. Sci., 2002)

Proof Search and Proof Check for Equational and Inductive Theorems. - Eric Deplagne; Claude Kirchner; Hélène Kirchner; Quang Huy Nguyen 002 (CADE, 2003)

Automated Generation of Kinetic Chemical Mechanisms Using Rewriting. - Olivier Bournez; Guy-Marie Côme; Valérie Conraud; Hélène Kirchner; Liliana Ibanescu (International Conference on Computational Science, 2003)

Simplification and termination of strategies in rule-based languages. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (PPDP, 2003)

A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms. - Olivier Bournez; Guy-Marie Côme; Valérie Conraud; Hélène Kirchner; Liliana Ibanescu (RTA, 2003)

Rule-Based Programming and Proving: The ELAN Experience Outcomes. - Claude Kirchner; Hélène Kirchner (ASIAN, 2004)

A Proof of Weak Termination Providing the Right Way to Terminate. - Olivier Fissore; Isabelle Gnaedig; Hélène Kirchner (ICTAC, 2004)

On Superposition-Based Satisfiability Procedures and Their Combination. - Hélène Kirchner; Silvio Ranise; Christophe Ringeissen; Duc-Khanh Tran (ICTAC, 2005)

Termination of rewriting strategies: a generic approach - Isabelle Gnaedig; Hélène Kirchner (CoRR, 2005)

From Chemical Rules to Term Rewriting. - Olivier Bournez; Liliana Ibanescu; Hélène Kirchner (RULE@RDP, 2005)

Anchoring Modularity in HTML. - Claude Kirchner; Hélène Kirchner; Anderson Santana (WWV, 2005)

Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application. - Oana Andrei; Liliana Ibanescu; Hélène Kirchner (Essays Dedicated to Joseph A. Goguen, 2006)

Automatic Combinability of Rewriting-Based Satisfiability Procedures. - Hélène Kirchner; Silvio Ranise; Christophe Ringeissen; Duc-Khanh Tran (LPAR, 2006)

Computing constructor forms with non terminating rewrite programs. - Isabelle Gnaedig; Hélène Kirchner (PPDP, 2006)

Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations. - Isabelle Gnaedig; Hélène Kirchner (Rewriting, Computation and Proof, 2007)

Weaving rewrite-based access control policies. - Anderson Santana de Oliveira; Eric Ke Wang; Claude Kirchner; Hélène Kirchner (FMSE, 2007)

Modular Access Control Via Strategic Rewriting. - Daniel J. Dougherty; Claude Kirchner; Hélène Kirchner; Anderson Santana de Oliveira (ESORICS, 2007)

Graph Rewriting and Strategies for Modeling Biochemical Networks. - Oana Andrei; Hélène Kirchner (SYNASC, 2007)

A Rewriting Calculus for Multigraphs with Ports. - Oana Andrei; Hélène Kirchner (RULE@RDP, 2007)

Analysis of Rewrite-Based Access Control Policies. - Claude Kirchner; Hélène Kirchner; Anderson Santana de Oliveira (SecReT@LICS/CSF, 2008)

A Higher-Order Graph Calculus for Autonomic Computing. - Oana Andrei; Hélène Kirchner (Graph Theory, Computational Intelligence and Thought, 2009)

Component-Based Security Policy Design with Colored Petri Nets. - Hejiao Huang; Hélène Kirchner (Semantics and Algebraic Specification, 2009)

Policy Composition Based on Petri Nets. - Hejiao Huang; Hélène Kirchner (COMPSAC (2), 2009)

Constraint Based Strategies. - Claude Kirchner; Florent Kirchner; Hélène Kirchner (WFLP, 2009)

Inductive proof search modulo. - Fabrice Nahon; Claude Kirchner; Hélène Kirchner; Paul Brauner (Ann. Math. Artif. Intell., 2009)

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

A Port Graph Calculus for Autonomic Computing and Invariant Verification. - Oana Andrei; Hélène Kirchner (TERMGRAPH@ETAPS, 2009)

Handling inheritance violation for secure interoperation of heterogeneous systems. - Hejiao Huang; Hélène Kirchner; Songyun Liu; Weili Wu 001 (Int. J. Secur. Networks, 2009)

Termination of rewriting under strategies. - Isabelle Gnaedig; Hélène Kirchner (ACM Trans. Comput. Log., 2009)

Semi-automatic Synthesis of Security Policies by Invariant-Guided Abduction. - Clément Hurlin; Hélène Kirchner (Formal Aspects in Security and Trust, 2010)

Combination of convex theories: Modularity, deduction completeness, and explanation. - Duc-Khanh Tran; Christophe Ringeissen; Silvio Ranise; Hélène Kirchner (J. Symb. Comput., 2010)

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

A Strategy Language for Graph Rewriting. - Maribel Fernández; Hélène Kirchner; Olivier Namet (LOPSTR, 2011)

PORGY: Strategy-Driven Interactive Transformation of Graphs - Oana Andrei; Maribel Fernández; Hélène Kirchner; Guy Melançon; Olivier Namet; Bruno Pinaud (TERMGRAPH, 2011)

Runtime Verification for Biochemical Programs. - Oana Andrei; Hélène Kirchner (Hybrid Autonomous Systems@ETAPS, 2011)

Proving weak properties of rewriting. - Isabelle Gnaedig; Hélène Kirchner (Theor. Comput. Sci., 2011)

Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets. - Hejiao Huang; Hélène Kirchner (IEEE Trans. Dependable Secur. Comput., 2011)

Narrowing Based Inductive Proof Search. - Claude Kirchner; Hélène Kirchner; Fabrice Nahon (Programming Logics, 2013)

A rewriting point of view on strategies - Hélène Kirchner (SR, 2013)

Secure interoperation design in multi-domains environments based on colored Petri nets. - Hejiao Huang; Hélène Kirchner (Inf. Sci., 2013)

Visual Modelling of Complex Systems: Towards an Abstract Machine for PORGY. - Maribel Fernández; Hélène Kirchner; Ian Mackie; Bruno Pinaud (CiE, 2014)

Strategic Port Graph Rewriting: An Interactive Modelling and Analysis Framework. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud (GRAPHITE, 2014)

Equational Logic and Rewriting. - Claude Kirchner; Hélène Kirchner (Computational Logic, 2014)

Rewriting Strategies and Strategic Rewrite Programs. - Hélène Kirchner (Logic, Rewriting, and Concurrency, 2015)

Port Graphs, Rules and Strategies for Dynamic Data Analytics - Extended Abstract (Invited Talk). - Hélène Kirchner (RTA, 2015)

A Visual Analytics Approach to Compare Propagation Models in Social Networks. - Jason Vallet; Hélène Kirchner; Bruno Pinaud; Guy Melançon (GaM, 2015)

Labelled Graph Rewriting Meets Social Networks. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud; Jason Vallet (WRLA, 2016)

PORGY : a Visual Analytics Platform for System Modelling and Analysis Based on Graph Rewriting. - Bruno Pinaud; Oana Andrei; Maribel Fernández; Hélène Kirchner; Guy Melançon; Jason Vallet (EGC, 2017)

Labelled Port Graph - A Formal Structure for Models and Computations. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud (LSFA, 2017)

Labelled graph strategic rewriting for social networks. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud; Jason Vallet (J. Log. Algebraic Methods Program., 2018)

Strategic port graph rewriting: an interactive modelling framework. - Maribel Fernández; Hélène Kirchner; Bruno Pinaud (Math. Struct. Comput. Sci., 2019)