Access content directly

Claude Kirchner

135
Documents
Researcher identifiers

Presentation

Publications

Image document

Pour un numérique fraternel

Claude Kirchner , Perrin Jérôme
Revue Quart Monde, 2021
Journal articles hal-03348601v1
Image document

Défis de la recherche scientifique en cyber-sécurité

Claude Kirchner , Ludovic Mé
Annales des Mines - Enjeux Numériques, 2019, pp.1-15
Journal articles hal-02381411v1
Image document

Regaining Cut Admissibility in Deduction Modulo using Abstract Completion

Guillaume Burel , Claude Kirchner
Information and Computation, 2010, 208 (2), pp.140-164. ⟨10.1016/j.ic.2009.10.005⟩
Journal articles inria-00132964v2
Image document

On the confluence of lambda-calculus with conditional rewriting

Frédéric Blanqui , Claude Kirchner , Colin Riba
Theoretical Computer Science, 2010, 411 (37), pp.3301-3327. ⟨10.1016/j.tcs.2009.07.058⟩
Journal articles inria-00509054v1

Anti-patterns for Rule-based Languages

Horatiu Cirstea , Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau
Journal of Symbolic Computation, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
Journal articles inria-00429226v1
Image document

Réflexion éthique : une urgence. Entretien avec Claude Kirchner, propos recueillis par Dominique Chouchan

Claude Kirchner
Les Cahiers de l'INRIA - La Recherche, 2010, Cancer la révolution, 440 avril 2010
Journal articles inria-00511390v1
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⟩
Journal articles 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⟩
Journal articles 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
Journal articles inria-00546796v1
Image document

A Rho-Calculus of explicit constraint application

Horatiu Cirstea , Germain Faure , Claude Kirchner
Higher-Order and Symbolic Computation, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
Journal articles inria-00000628v3

A rewriting calculus for cyclic higher-order term graphs

Paolo Baldan , Clara Bertolissi , Horatiu Cirstea , Claude Kirchner
Mathematical Structures in Computer Science, 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
Journal articles inria-00110872v1

Abstract canonical presentations

Nachum Dershowitz , Claude Kirchner
Theoretical Computer Science, 2006, Theoretical Computer Science, 357 (1-3), pp.53--69. ⟨10.1016/j.tcs.2006.03.012⟩
Journal articles inria-00121760v1

Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus

Horatiu Cirstea , Clara Bertolissi , Claude Kirchner
Higher-Order and Symbolic Computation, 2006
Journal articles inria-00110869v1

L'Action Concertée Incitative Sécurité et Informatique

Claude Kirchner
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2004, 23 (3), pp.421-426. ⟨10.3166/tsi.23.421-426⟩
Journal articles inria-00100103v1

Theorem Proving Modulo

Gilles Dowek , Thérèse Hardin , Claude Kirchner
Journal of Automated Reasoning, 2003, 31 (1), pp.33-72
Journal articles inria-00099711v1

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⟩
Journal articles 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
Journal articles inria-00101009v1

Rewriting and Multisets in Rho-calculus and ELAN

Horatiu Cirstea , Claude Kirchner
Romanian Journal of Information Science and Technology, 2001, 4 (1-2), pp.33--48
Journal articles inria-00100656v1
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⟩
Journal articles inria-00098778v1

The Rewriting Calculus - Part I

Horatiu Cirstea , Claude Kirchner
Logic Journal of the IGPL, 2001, 9 (3), pp.339-375. ⟨10.1093/jigpal/9.3.339⟩
Journal articles inria-00100531v1

The Rewriting Calculus - Part II

Horatiu Cirstea , Claude Kirchner
Logic Journal of the IGPL, 2001, 9 (3), pp.465-498. ⟨10.1093/jigpal/9.3.377⟩
Journal articles inria-00100532v1

A Methodological View of Constraint Solving

Claude Kirchner , Hubert Comon , Mehmet Dincbas , Jean-Pierre Jouannaud
Constraints, 1999, 4 (4), pp.337-361
Journal articles inria-00098856v1

Generating feasible schedules for a pick-up and delivery problem

Eric Domenjoud , Claude Kirchner , Jianyang Zhou
Electronic Notes in Discrete Mathematics, 1999, 1
Journal articles inria-00098910v1

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
Journal articles inria-00098625v1

Rule-Based Constraint Programming

Claude Kirchner , Christophe Ringeissen
Fundamenta Informaticae, 1998, 34 (3), pp.225--262
Journal articles inria-00098476v1

Pourquoi l’éthique du numérique ?

Claude Kirchner
Séminaire du LIRIMA, Nov 2020, [En distanciel], France
Conference papers hal-03586285v1

Prévention des attaques informatiques et protection

Karine Bannelier-Christakis , Claude Kirchner
Construire la paix et la sécurité internationales de la société numérique, Secrétariat général de la défense et de la sécurité nationale (SGDSN); Agence Nationale de Sécurité des Systèmes de l’Information (ANSSI); Ministère des affaires étrangères, Apr 2017, Paris, France
Conference papers hal-02055458v1
Image document

Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic Software

Alice Allen , Cecilia Aragon , Christoph Becker , Jeffrey C. Carver , Andrei Chis et al.
Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom
Conference papers hal-01367344v1
Image document

EPISCIENCES - an overlay publication platform

Christine Berthaud , Laurent Capelli , Jens Gustedt , Claude Kirchner , Kevin Loiseau et al.
ELPUB2014 - International Conference on Electronic Publishing, Alexander Technological Education Institute of Thessaloniki, Jun 2014, Thessalonique, Greece. pp.78-87, ⟨10.3233/978-1-61499-409-1-78⟩
Conference papers hal-01002815v2
Image document

A Type System for Tom

Claude Kirchner , Pierre-Etienne Moreau , Cláudia Tavares
Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩
Conference papers inria-00426439v2

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
Conference papers 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
Conference papers inria-00335088v1
Image document

Anti-Pattern Matching Modulo

Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau
Second International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. pp.275-286, ⟨10.1007/978-3-540-88282-4_26⟩
Conference papers inria-00337722v1

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
Conference papers inria-00185710v1
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
Conference papers inria-00187458v1
Image document

Superdeduction at work

Paul Brauner , Clément Houtmann , Claude Kirchner
Colloquium in honor of Jean-Pierre Jouannaud, Jun 2007, Cachan, France. pp.132-166, ⟨10.1007/978-3-540-73147-4⟩
Conference papers inria-00141672v2

Towards a sharing strategy for the graph rewriting calculus

Paolo Baldan , Clara Bertolissi , Horatiu Cirstea , Claude Kirchner
7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France
Conference papers inria-00186141v1
Image document

Anti-Pattern Matching

Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau
16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. pp.110-124, ⟨10.1007/978-3-540-71316-6_9⟩
Conference papers inria-00129419v1

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⟩
Conference papers inria-00185697v1

The Rewriting Calculus as a Combinatory Reduction System

Clara Bertolissi , Claude Kirchner
Tenth International Conference on Foundations of Software Science and Computations Structures - FoSSaCS 2007, Mar 2007, Braga, Portugal. pp.78-92, ⟨10.1007/978-3-540-71389-0_7⟩
Conference papers inria-00121792v1
Image document

Anti-Pattern Matching Modulo

Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau
21th International Workshop on Unification - UNIF'07, 2007, Paris, France
Conference papers inria-00176055v1
Image document

Principles of Superdeduction

Paul Brauner , Clement Houtmann , Claude Kirchner
Twenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. ⟨10.1109/LICS.2007.37⟩
Conference papers inria-00133557v3
Image document

Cut Elimination in Deduction Modulo by Abstract Completion

Guillaume Burel , Claude Kirchner
Symposium on Logical Foundations of Computer Science LFCS'07, Sergei Artemov, Jun 2007, New York, United States. pp.115-131, ⟨10.1007/978-3-540-72734-7_9⟩
Conference papers inria-00115556v3
Image document

Formal Islands

Emilie Balland , Claude Kirchner , Pierre-Etienne Moreau
11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65
Conference papers inria-00001146v1
Image document

On the confluence of lambda-calculus with conditional rewriting

Frédéric Blanqui , Claude Kirchner , Colin Riba
Foundations of Software Science and Computation Structures, Mar 2006, Vienne, Austria. ⟨10.1007/11690634_26⟩
Conference papers inria-00000729v2
Image document

Completion is an Instance of Abstract Canonical System Inference

Guillaume Burel , Claude Kirchner
Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego/USA, pp.497-520, ⟨10.1007/11780274_26⟩
Conference papers inria-00000775v2
Image document

Decidable Type Inference for the Polymorphic Rewriting Calculus

Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
Conference papers inria-00000817v1
Image document

Modular Formal Islands: Embed theory in your practice

Emilie Balland , Claude Kirchner , Pierre-Etienne Moreau , Anderson Santana de Oliveira
Third Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
Conference papers inria-00001186v1
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
Conference papers inria-00000750v1
Image document

Formal Validation of Pattern Matching Code

Claude Kirchner , Pierre-Etienne Moreau , Antoine Reilles
Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'2005, Jul 2005, Lisbon/Portugal, pp.187--197
Conference papers inria-00000701v1

A rewriting calculus for cyclic higher-order term graphs

Clara Bertolissi , Paolo Baldan , Horatiu Cirstea , Claude Kirchner
2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p
Conference papers inria-00100095v1
Image document

A rho-calculus of explicit constraint application.

Horatiu Cirstea , Germain Faure , Claude Kirchner
Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain
Conference papers inria-00095626v1
Image document

Strategic Rewriting

Claude Kirchner
4th International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2004, 2004, Aachen, Germany
Conference papers inria-00107802v1
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
Conference papers inria-00107801v1
Image document

The QSL platform at LORIA

Mohamed El Habib , Claude Kirchner , Hélène Kirchner , Jean-Yves Marion , Stephan Merz et al.
First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
Conference papers inria-00099497v1
Image document

Rewrite Strategies in the Rewriting Calculus

Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. pp.593-624, ⟨10.1016/S1571-0661(05)82613-1⟩
Conference papers inria-00099586v1

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, USA, 20 p
Conference papers inria-00099470v1
Image document

Abstract Saturation-based Inference

Nachum Dershowitz , Claude Kirchner
Eighteenth Annual IEEE Symposium on Logic in Computer Science - LICS'2003), Jun 2003, Ottawa, Canada, 10 p
Conference papers inria-00099466v1
Image document

Pure Patterns Type Systems

Gilles Barthe , Horatiu Cirstea , Claude Kirchner , Luigi Liquori
Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL, New Orleans, LA, USA — January 15 - 17, 2003, Jan 2003, New Orleans, United States. pp.250 - 261, ⟨10.1145/604131.604152⟩
Conference papers inria-00099463v2
Image document

Translating Combinatory Reduction Systems into the Rewriting Calculus

Clara Bertolissi , Horatiu Cirstea , Claude Kirchner
4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain
Conference papers inria-00107640v1

Binding Logic: proofs and models

Gilles Dowek , Thérèse Hardin , Claude Kirchner
9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
Conference papers inria-00101012v1
Image document

The rho cube : some results, some problems

Horatiu Cirstea , Claude Kirchner , Luigi Liquori , Benjamin Wack
First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, D. Kesner, T. Nipkow and F. van Raamsdonk, Jul 2002, Copenhague, Denmark
Conference papers inria-00099411v1
Image document

Abstract Canonical Inference Systems

Nachum Dershowitz , Claude Kirchner
16th International Workshop on Unification - UNIF'2002, Jul 2002, Copenhagen, Denmark, 20 p
Conference papers inria-00107627v1
Image document

Rewriting Calculus with(out) Types

Horatiu Cirstea , Claude Kirchner , Luigi Liquori
WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. pp.3-19, ⟨10.1016/S1571-0661(05)82526-5⟩
Conference papers inria-00100858v1

Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)

Claude Kirchner
Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 2002, Pittsburgh, USA
Conference papers inria-00101023v1
Image document

Exceptions in the rewriting calculus

Germain Faure , Claude Kirchner
13th International Conference on Rewriting Techniques and Applications - RTA 2002, Jul 2002, Copenhagen/Denmark, pp.66--82
Conference papers inria-00101011v2

Deduction versus Computation: the Case of Induction

Eric Deplagne , Claude Kirchner
Sixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, pp.4-6
Conference papers inria-00101024v1

Probabilistic rewrite strategies. Applications to ELAN

Olivier Bournez , Claude Kirchner
13th International Conference on Rewriting Techniques and Applications - RTA'2002, Jul 2002, Copenhagen, Denmark, pp.252-266
Conference papers inria-00100883v1
Image document

Matching Power

Horatiu Cirstea , Claude Kirchner , Luigi Liquori
12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. pp.77-92, ⟨10.1007/3-540-45127-7_8⟩
Conference papers inria-00107876v2

Verification of Timed Automata Using Rewrite Rules and Strategies

Emmanuel Beffara , Olivier Bournez , Hassen Kacem , Claude Kirchner
ERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p
Conference papers inria-00100534v1

Inversion Strategies

Nachum Dershowitz , Claude Kirchner
Third Workshop on Rule-Based Constraint Reasoning and Programming - RCoRP'01, Dec 2001, Paphos, Cyprus, 15 p
Conference papers inria-00100570v1

ELAN : Modélisation et preuve en calcul de réécriture

Claude Kirchner
Approches Formelles dans l'Assistance au Développement de Logiciels, 2001, Nancy, France, 2 p
Conference papers inria-00100560v1

Verification of Timed Automata Using Rewrite Rules and Strategies

Emmanuel Beffara , Olivier Bournez , Hassen Kacem , Claude Kirchner
The Seventh Biennal Bar-Ilan Symposium on the Foundations of Artificial Intelligence - BISFAI'01, Jun 2001, Bar-Ilan University, Ramat-Gan, Israel, 15 p
Conference papers inria-00100535v1
Image document

The Rho Cube

Horatiu Cirstea , Claude Kirchner , Luigi Liquori
4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, ⟨10.1007/3-540-45315-6_11⟩
Conference papers inria-00107877v1
Image document

Rewriting and Multisets in the Rewriting Calculus and ELAN

Horatiu Cirstea , Claude Kirchner
Workshop on Multiset Processing, Aug 2000, Curtea de Arges, Romania, 17 p
Conference papers inria-00099053v1
Image document

ELAN ou la programmation par réécriture

Claude Kirchner
FAC 2000, May 2000, Toulouse, France, 96 p
Conference papers inria-00107865v1
Image document

The simply typed rewriting calculus

Horatiu Cirstea , Claude Kirchner
3rd International Workshop on Rewriting Logic & its Applications - WRLA2000, Sep 2000, none, 19 p
Conference papers inria-00099052v1

HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic

Gilles Dowek , Thérèse Hardin , Claude Kirchner
Tenth International Conference on Rewriting Techniques & Applications - RTA'99, Jul 1999, Trento, Italy, 14 p
Conference papers inria-00098847v1

The rewriting calculus as a semantics to strategy application. Application to ELAN.

Claude Kirchner
Third International CADE workshop on strategies in automated deduction, Jul 1999, Trento, Italy
Conference papers inria-00098922v1

Deduction and theorem proving modulo

Claude Kirchner
School of logic & computation, May 1999, Edinburgh, United Kingdom
Conference papers inria-00098921v1

An Overview of ELAN

Peter Borovansky , Claude Kirchner , Hélène Kirchner , Pierre-Etienne Moreau , Christophe Ringeissen et al.
Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p
Conference papers inria-00098518v1
Image document

Using Rewriting and Strategies for Describing the B Predicate Prover

Horatiu Cirstea , Claude Kirchner
Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, F. Pfenning, B. Gramlich, 1998, Lindau, Germany, pp.23-34
Conference papers inria-00098715v1

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
Conference papers inria-00098626v1

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
Conference papers inria-00098628v1

Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN

Horatiu Cirstea , Claude Kirchner
FroCoS'98, 1998, Amsterdam, The Netherlands, 25 p
Conference papers inria-00098808v1
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
Book sections 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
Book sections inria-00433745v1

Sécurité Informatique: Introduction

Claude Kirchner
Akoka, Jacky and Comyn-Wattiau, Isabelle. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2006, 978-27117-4846-4
Book sections inria-00121763v1
Image document

Intégrité Scientifique au CNRS; Vers un dispositif pérenne de promotion des valeurs de l’intégrité scientifique au CNRS, et de traitement des allégations de manquement à l’intégrité

Maïté Armengaud , Joël Bertrand , Pierre-Henri Duee , Michelle Hadchouel , Claude Kirchner et al.
[0] CNRS. 2018, 28 p. + Annexes
Reports hal-02791125v1
Image document

Pour une politique industrielle du numérique

Gérard Roucairol , Pierre Bitard , François Andry , Eric Bantegnies , Dominique Bolignano et al.
[Rapport Technique] ANRT. 2018, pp.56
Reports hal-02786563v1
Image document

Open Access in Japan – a multi-institutional perspective

Jos Baeten , Pascal Estraillier , Claude Kirchner , Alexandre Moatti , Laurent Romary et al.
[Research Report] Ambassade de France au Japon. 2016
Reports hal-01290936v1
Image document

Médiation Scientifique : une facette de nos métiers de la recherche

Antoine Rousseau , Aurélie Darnaud , Brice Goglin , Céline Acharian , Christine Leininger et al.
[Interne] Inria. 2013, pp.34
Reports hal-00804915v1
Image document

Rapport sur la création d’un comité d’éthique en Sciences et Technologies du Numérique

Gilles Dowek , David Guiraud , Claude Kirchner , Daniel Le Métayer , Pierre-Yves Oudeyer et al.
[0] INRIA. 2009
Reports hal-03210022v1
Image document

Anti-Pattern Matching Modulo

Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau
[Research Report] 2007, pp.21
Reports inria-00129421v3
Image document

Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b

Olivier Bournez , Garnier Florent , Claude Kirchner
[Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13
Reports inria-00104120v1
Image document

A rewriting calculus for cyclic higher-order term graphs

Paolo Baldan , Clara Bertolissi , Horatiu Cirstea , Claude Kirchner
[Intern report] 2005
Reports inria-00000825v1
Image document

Induction as Deduction Modulo

Eric Deplagne , Claude Kirchner
[Intern report] A04-R-468 || deplagne04a, 2004, 80 p
Reports inria-00099871v1
Image document

Production Systems and Rete Algorithm Formalisation

Horatiu Cirstea , Claude Kirchner , Michael Mm Moossen , Pierre-Etienne Moreau
[Research Report] 2004, pp.21
Reports inria-00280938v1
Image document

Production and Rewrite Systems

Horatiu Cirstea , Claude Kirchner , Michael Mm Moossen , Pierre-Etienne Moreau
[Research Report] 2004, pp.23
Reports inria-00280939v1
Image document

Stratégies de réécriture probabiliste dans ELAN4

Olivier Bournez , Florent Garnier , Claude Kirchner
[Rapport de recherche] 2004, pp.17
Reports inria-00104091v1
Image document

Production Systems and Rete Algorithm Formalisation

Horatiu Cirstea , Claude Kirchner , Michael Moossen , Pierre-Etienne Moreau
[Contract] A04-R-546 || cirstea04d, 2004, 26 p
Reports inria-00099850v1
Image document

Types for Web Rule Languages: a preliminary study

Horatiu Cirstea , Emmanuel Coquery , Wlodzimierz Drabent , Francois Fages , Claude Kirchner et al.
[Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p
Reports inria-00099859v1
Image document

Production Systems and Rewrite Systems

Horatiu Cirstea , Claude Kirchner , Michael Moossen , Pierre-Etienne Moreau
[Contract] A04-R-563 || cirstea04f, 2004, 28 p
Reports inria-00099860v1
Image document

Theorem Proving Modulo Revised Version

Gilles Dowek , Thérèse Hardin , Claude Kirchner
[Research Report] RR-4861, INRIA. 2003, pp.54
Reports inria-00071722v1
Image document

Towards a Methodology for Rule-Based Programming

Carlos Castro , Claude Kirchner
[Intern report] A02-R-529 || castro02a, 2002, 24 p
Reports inria-00099428v1

External rewriting for skeptical proof assistants (extended version)

Quang-Huy Nguyen , Claude Kirchner , Hélène Kirchner
[Intern report] A02-R-099 || nguyen02a, 2002, 45 p
Reports inria-00101055v1
Image document

Xemantics: a Rewriting Calculus-Based Semantics of XSLT

Claude Kirchner , Zhebin Qian , Preet Kamal Singh , Jürgen Stuber
[Intern report] A01-R-386 || kirchner01c, 2001, 50 p
Reports inria-00107547v1

A Rho Cube

Horatiu Cirstea , Claude Kirchner , Luigi Liquori
[Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Reports inria-00099309v1
Image document

The Rewriting Calculus

Horatiu Cirstea , Claude Kirchner
[Intern report] A00-R-444 || cirstea00f, 2000
Reports inria-00099076v1

Matching Power

Horatiu Cirstea , Claude Kirchner , Luigi Liquori
[Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p
Reports inria-00099308v1
Image document

Introduction to the Rewriting Calculus

Horatiu Cirstea , Claude Kirchner
[Research Report] RR-3818, INRIA. 1999, pp.50
Reports inria-00072840v1
Image document

Using Rewriting and Strategies for Describing the B Predicate Prover

Horatiu Cirstea , Claude Kirchner
[Intern report] 99-R-249 || cirstea99d, 1999, 23 p
Reports inria-00098748v1
Image document

ELAN from the rewriting logic point of view

Peter Borovansky , Claude Kirchner , Hélène Kirchner , Pierre-Etienne Moreau
[Intern report] 99-R-284 || borovansky99b, 1999, 39 p
Reports inria-00107841v1
Image document

Theorem Proving Modulo

Gilles Dowek , Thérèse Hardin , Claude Kirchner
[Research Report] RR-3400, INRIA. 1998, pp.27
Reports inria-00077199v1
Image document

$\rho$-Calculus. Its Syntax and Basic Properties

Horatiu Cirstea , Claude Kirchner
[Intern report] 98-R-218 || cirstea98a, 1998, 16 p
Reports inria-00098735v1
Image document

Holls: an Intentional First-Order Expression of Higher-Order Logic

Gilles Dowek , Thérèse Hardin , Claude Kirchner
[Research Report] RR-3556, INRIA. 1998, pp.26
Reports inria-00077202v1
Image document

Unification via Explicit Substitutions: The Case of Higher-Order Patterns

Gilles Dowek , Thérèse Hardin , Claude Kirchner , Frank Pfenning
[Research Report] RR-3591, INRIA. 1998, pp.33
Reports inria-00077203v1
Image document

Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version

Horatiu Cirstea , Claude Kirchner
[Intern report] 98-R-220 || cirstea98b, 1998
Reports inria-00098736v1

Generating feasible schedules for a pick-up and delivery problem

Eric Domenjoud , Claude Kirchner , Jianyang Zhou
[Intern report] 98-R-142 || domenjoud98b, 1998, 15 p
Reports inria-00098611v1
Image document

Conditional Concurrent Rewriting

Iliès Alouini , Claude Kirchner
[Research Report] RR-2777, INRIA. 1996, pp.24
Reports inria-00073915v1
Image document

A Fine-Grained Concurrent Completion Procedure

Claude Kirchner , Christopher Lynch , Christelle Scharff
[Research Report] RR-2990, INRIA. 1996, pp.56
Reports inria-00073707v1
Image document

Higher Order Unification via Explicit Substitutions

Gilles Dowek , Thérèse Hardin , Claude Kirchner
[Research Report] RR-2709, INRIA. 1995, pp.42
Reports inria-00077197v1
Image document

Dynamically-typed computations for order-sorted equational presentations

Claus Hintermeier , Hélène Kirchner , Claude Kirchner
[Research Report] RR-2208, INRIA. 1994, pp.114
Reports inria-00074463v1
Image document

Vérification sémantique de spécifications métallurgiques

Francis Klay , Eric Domenjoud , Claude Kirchner
[Rapport de recherche] RR-2226, INRIA. 1994
Reports inria-00074444v1
Image document

Proofs in parameterized specifications

Hélène Kirchner , Claude Kirchner
[Research Report] RR-1424, INRIA. 1991
Reports inria-00075136v1
Image document

Deduction with symbolic constraints

Claude Kirchner , Hélène Kirchner , Michaël Rusinowitch
[Research Report] RR-1358, INRIA. 1990, pp.46
Reports inria-00077103v1
Image document

Order-sorted equational unification

Claude Kirchner
[Research Report] RR-0954, INRIA. 1988
Reports inria-00075605v1
Image document

Solving disequations

Claude Kirchner , Pierre Lescanne
[Research Report] RR-0686, INRIA. 1987
Reports inria-00075867v1