| An overview of ELAN P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen Electronic Notes in Theoretical Computer Science 15, 55-70, 1998 | 324 | 1998 |
| Simplification and termination of strategies in rule-based languages O Fissore, I Gnaedig, H Kirchner Proceedings of the 5th ACM SIGPLAN international conference on Principles …, 2003 | 17 | 2003 |
| Equational logic and rewriting C Kirchner, H Kirchner Handbook of the History of Logic 9, 255-282, 2014 | 10 | 2014 |
| Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings H Kirchner, C Ringeissen Springer, 2006 | 7 | 2006 |
| Frontiers of combining systems, volume 1794 of Lecture Notes in Computer Science H Kirchner, C Ringeissen Springer-Verlag, 2000 | 7 | 2000 |
| Termination and normalisation under strategy Proofs in ELAN H Kirchner, I Gnaedig Electronic Notes in Theoretical Computer Science 36, 93-120, 2000 | 6 | 2000 |
| Rewriting, Solving, Proving, 1999 C Kirchner, H Kirchner Preliminary version of a book: http://citeseerx. ist. psu. edu/viewdoc/summary, 0 | 6 | |
| Venous tourniquet H Kirchner, C Kirchner, C Ihle US Patent 10,182,825, 2019 | 5 | 2019 |
| Second Intl C Kirchner, H Kirchner Workshop on Rewriting Logic and its Applications, 1998 | 5 | 1998 |
| Order-sorted computations in G-algebra C Kirchner, H Kirchner Draft, INRIA-Lorraine & CRIN, Nancy, 1991 | 5 | 1991 |
| Termination of rewriting under strategies: a generic approach I Gnaedig, H Kirchner ACM Transactions on Computational Logic, 2006 | 1 | 2006 |
| Port Graphs, Rules and Strategies for Dynamic Data Analytics H Kirchner International Conference on Rewriting, Deduction, and Programming 36, 2015 | | 2015 |
| Modeling reducibility on ground terms using constraints I Gnaedig, H Kirchner | | 2009 |
| Analysis of Rewrite-Based Access Control Policies AS de Oliveira, C Kirchner, H Kirchner 3rd International Workshop on Security and Rewriting Techniques, 2008 | | 2008 |
| Weaving Rewrite-Based Access Control Policies EK Wang, C Kirchner, H Kirchner | | 2007 |
| Computation and Proof HCLC Kirchner, H Kirchner | | 2007 |
| Ninth International Conference on Algebraic Methodology And Software Technology (AMAST 2002), Saint-Gilles, Reunion Island, France, 9-13 September 2002 H Kirchner, C Ringeissen BULLETIN-EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE 79, 250-251, 2003 | | 2003 |
| Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 4 L Ibanescu, O Bournez, H Kirchner, GM Côme, G Scacchi, V Conraud | | 2003 |
| Innermost sufficient completeness I Gnaedig, H Kirchner | | 2003 |
| An algebraic semantics for objects in a rule-based language H Dubois, H Kirchner 16th International Workshop on Algebraic Development Techniques-WADT'2002, 3 p, 2002 | | 2002 |
