Accéder directement au contenu

Claude Kirchner

28
Documents
Identifiants chercheurs

Présentation

Publications

helene-kirchner
Image document

Inductive Proof Search Modulo

Fabrice Nahon , Claude Kirchner , Hélène Kirchner , Paul Brauner
Annals of Mathematics and Artificial Intelligence, 2009, Special Issue on First-Order Theorem Proving / Guest Edited by Silvio Ranise and Ullrich Hustadt, 55 (1), pp.123-154. ⟨10.1007/s10472-009-9154-5⟩
Article dans une revue inria-00337380v1

Analysis of Rewrite-Based Access Control Policies

Claude Kirchner , Helene Kirchner , Anderson Santana de Oliveira
Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the Third International Workshop on Security and Rewriting Techniques (SecReT 2008), Pittsburgh, PA, USA, 22 June 2008, 234, pp.55-75. ⟨10.1016/j.entcs.2009.02.072⟩
Article dans une revue inria-00433409v1
Image document

Sécurité informatique : peut-on se fier au numérique ? par Hélène Kirchner et Claude Kirchner. Le sens des mots, entretien avec Isabelle de Lamberterie, propos recueillis par Dominique Chouchan.

Hélène Kirchner , Claude Kirchner , Isabelle de Lamberterie
Les Cahiers de l'INRIA - La Recherche, 2008, Les nouveaux défis de la cryptologie, 420 juin 2008
Article dans une revue inria-00546796v1

ELAN from a rewriting logic point of view

Peter Borovansky , Claude Kirchner , Hélène Kirchner , Pierre-Etienne Moreau
Theoretical Computer Science, 2002, 285 (2), pp.155-185. ⟨10.1016/S0304-3975(01)00358-9⟩
Article dans une revue inria-00100974v1

External rewriting for skeptical proof assistants

Quang-Huy Nguyen , Claude Kirchner , Hélène Kirchner
Journal of Automated Reasoning, 2002, 29 (3-4), pp.309-336
Article dans une revue inria-00101009v1
Image document

Rewriting with strategies in ELAN: a functional semantics

Peter Borovansky , Claude Kirchner , Hélène Kirchner , Christophe Ringeissen
International Journal of Foundations of Computer Science, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
Article dans une revue inria-00098778v1

Dynamically-Typed Computations for Order-Sorted Equational Presentations

Claus Hintermeier , Claude Kirchner , Hélène Kirchner
Journal of Symbolic Computation, 1998, 25 (4), pp.455-526
Article dans une revue inria-00098625v1

Constraint Based Strategies

Helene Kirchner , Kirchner Florent , Claude Kirchner
18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. pp.13-26
Communication dans un congrès inria-00494531v1

Analysis of Rewrite-Based Access Control Policies

Anderson Santana de Oliveira , Claude Kirchner , Hélène Kirchner
3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States
Communication dans un congrès inria-00335088v1

Modular Access Control via Strategic Rewriting

Daniel J. Dougherty , Claude Kirchner , Hélène Kirchner , Anderson Santana de Oliveira
12th European Symposium On Research In Computer Security - ESORICS 2007, Sep 2007, Dresden, Germany. pp.578-593, ⟨10.1007/978-3-540-74835-9_38⟩
Communication dans un congrès inria-00185697v1
Image document

Inductive Proof Search Modulo

Fabrice Nahon , Claude Kirchner , Hélène Kirchner
6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. pp.4-19
Communication dans un congrès inria-00187458v1

Weaving Rewrite-Based Access Control Policies

Anderson Santana de Oliveira , Eric Ke Wang , Claude Kirchner , Hélène Kirchner
The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States
Communication dans un congrès inria-00185710v1
Image document

Anchoring modularity in HTML.

Claude Kirchner , Hélène Kirchner , Anderson Santana de Oliveira
1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151
Communication dans un congrès inria-00000750v1
Image document

Rule-based programming and proving: the ELAN experience outcomes

Claude Kirchner , Hélène Kirchner
Ninth Asian Computing Science Conference - ASIAN'04, 2004, Chiang Mai, Thailand, 17 p
Communication dans un congrès inria-00107801v1
Image document

Proof Search and Proof Check for Equational and Inductive Theorems

Eric Deplagne , Claude Kirchner , Hélène Kirchner , Quang Huy Nguyen
Conference on Automated Deduction - CADE-19, Jul 2003, Miami (FL), United States. 20 p, ⟨10.1007/978-3-540-45085-6_26⟩
Communication dans un congrès inria-00099470v1
Image document

The QSL platform at LORIA

Mohamed El Habib , Claude Kirchner , Hélène Kirchner , Jean-Yves Marion , Stephan Merz
First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
Communication dans un congrès inria-00099497v1

A functional view of rewriting and strategies for a semantics of ELAN

Peter Borovansky , Claude Kirchner , Hélène Kirchner
The Third Fuji International Symposium on Functional and Logic Programming, 1998, Kyoto (Japan), pp.143-167
Communication dans un congrès inria-00098628v1

An Overview of ELAN

Peter Borovansky , Claude Kirchner , Hélène Kirchner , Pierre-Etienne Moreau , Christophe Ringeissen
Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p
Communication dans un congrès inria-00098518v1

Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language

Peter Borovansky , Claude Kirchner , Hélène Kirchner
Second International Workshop on the Theory and Practice of Algebraic Specifications, 1998, Amsterdam, N.L., 10 p
Communication dans un congrès inria-00098626v1

Automated Deduction - CADE-15

Claude Kirchner , Hélène Kirchner
Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence
Ouvrages inria-00098417v1
Image document

Equational logic and rewriting

Claude Kirchner , Hélène Kirchner
Dov M. Gabbay; Jörg H. Siekmann; John Woods. Handbook of the History of Logic, 9 (Chap.8), Elsevier, 2014, History of Logic and Computation in the 20th Century, 978-0444516244
Chapitre d'ouvrage hal-01183817v1
Image document

Strategic Computation and Deduction

Claude Kirchner , Florent Kirchner , Helene Kirchner
Christoph Benzmüller and Chad E. Brown and Jörg Siekmann and Richard Statman. Reasoning in Simple Type Theory. Festchrift in Honour of Peter B. Andrews on His 70th Birthday, 17, College Publications, pp.339-364, 2008, Studies in Logic and the Foundations of Mathematics, 978-1-904987-70-3
Chapitre d'ouvrage inria-00433745v1