Follow
Hélène Kirchner
Hélène Kirchner
Verified email at inria.fr - Homepage
Title
Cited by
Cited by
Year
An overview of ELAN
P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen
Electronic Notes in Theoretical Computer Science 15, 55-70, 1998
3221998
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
162003
Equational logic and rewriting
C Kirchner, H Kirchner
Handbook of the History of Logic 9, 255-282, 2014
102014
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
H Kirchner, C Ringeissen
Springer, 2006
82006
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
52019
Termination and normalisation under strategy Proofs in ELAN
H Kirchner, I Gnaedig
Electronic Notes in Theoretical Computer Science 36, 93-120, 2000
52000
Second Intl
C Kirchner, H Kirchner
Workshop on Rewriting Logic and its Applications, 1998
51998
Order-sorted computations in G-algebra
C Kirchner, H Kirchner
Draft, INRIA-Lorraine & CRIN, Nancy, 1991
51991
Frontiers of combining systems, volume 1794 of Lecture Notes in Computer Science
H Kirchner, C Ringeissen
Springer-Verlag, 2000
22000
Termination of rewriting under strategies: a generic approach
I Gnaedig, H Kirchner
ACM Transactions on Computational Logic, 2006
12006
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 5
LL Ibanescu, H Kirchner, O Bournez, 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
The system can't perform the operation now. Try again later.
Articles 1–20