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
3011998
Tying device for body parts
C Kirchner
US Patent 5,535,485, 1996
111996
Chip capacitor
R Nakamura, Y Suizu, M Fukuda, S Matsunaga, T Shoji
US Patent 6,735,074, 2004
102004
Frontiers of Combining Systems: Third International Workshop, FroCoS 2000 Nancy, France, March 22-24, 2000 Proceedings
H Kirchner, C Ringeissen
Springer, 2006
82006
Equational Logic and Rewriting.
C Kirchner, H Kirchner
Computational Logic, 255-282, 2014
62014
Termination and normalisation under strategy Proofs in ELAN
H Kirchner, I Gnaedig
Electronic Notes in Theoretical Computer Science 36, 93-120, 2000
62000
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
Ligature device for body parts
C Kirchner
US Patent 7,320,699, 2008
32008
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
Venous tourniquet
H Kirchner, C Kirchner, C Ihle
US Patent 10,182,825, 2019
2019
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
Simplification and Termin^^ O of Strategies in Rule-Based Languages
O Fissore, I Gnaedig, H Kirchner
Proceedings of the... International ACM SIGPLAN Conference on Principles and …, 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
L Ibanescu, H Kirchner, O Bournez, GM Côme, G Scacchi, V Conraud
2003
The system can't perform the operation now. Try again later.
Articles 1–20