Claude Kirchner

139
Documents
Identifiants chercheurs

Présentation

Publications

36
28
10
9
9
8
7
6
5
5
5
4
4
3
3
3
3
3
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1

Publications

Deposit thumbnail

Pour un numérique fraternel

Claude Kirchner , Perrin Jérôme

Revue Quart Monde, 2021

Article dans une revue hal-03348601v1
Deposit thumbnail

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

Claude Kirchner , Ludovic Mé

Annales des Mines - Enjeux Numériques, 2019, pp.1-15

Article dans une revue hal-02381411v1
Deposit thumbnail

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⟩

Article dans une revue inria-00132964v2
Deposit thumbnail

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

Article dans une revue inria-00511390v1

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⟩

Article dans une revue istex inria-00429226v1
Deposit thumbnail

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⟩

Article dans une revue inria-00509054v1
Deposit thumbnail

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 istex 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
Deposit thumbnail

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

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⟩

Article dans une revue istex inria-00110872v1
Deposit thumbnail

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⟩

Article dans une revue inria-00000628v3

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⟩

Article dans une revue istex inria-00121760v1

Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus

Horatiu Cirstea , Clara Bertolissi , Claude Kirchner

Higher-Order and Symbolic Computation, 2006

Article dans une revue 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⟩

Article dans une revue istex inria-00100103v1

Theorem Proving Modulo

Gilles Dowek , Thérèse Hardin , Claude Kirchner

Journal of Automated Reasoning, 2003, 31 (1), pp.33-72

Article dans une revue 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⟩

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

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

Article dans une revue inria-00100656v1
Deposit thumbnail

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

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⟩

Article dans une revue istex 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⟩

Article dans une revue istex inria-00100532v1

A Methodological View of Constraint Solving

Claude Kirchner , Hubert Comon , Mehmet Dincbas , Jean-Pierre Jouannaud

Constraints, 1999, 4 (4), pp.337-361

Article dans une revue 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

Article dans une revue 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

Article dans une revue inria-00098625v1

Rule-Based Constraint Programming

Claude Kirchner , Christophe Ringeissen

Fundamenta Informaticae, 1998, 34 (3), pp.225--262

Article dans une revue inria-00098476v1

Cerveau connecté : réflexions sur l'éthique de l'IA implantée

Mathieu Anheim , Claude Kirchner , Julie Girard , Olivier Putois

Forum européen de bioéthique. 14ème édition. L'IA et nous, Feb 2024, Strasbourg, France

Communication dans un congrès hal-04822016v1

Pourquoi l’éthique du numérique ?

Claude Kirchner

Séminaire du LIRIMA, Nov 2020, [En distanciel], France

Communication dans un congrès 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

Communication dans un congrès hal-02055458v1
Deposit thumbnail

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

Communication dans un congrès hal-01367344v1
Deposit thumbnail

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⟩

Communication dans un congrès hal-01002815v2
Deposit thumbnail

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⟩

Communication dans un congrès 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

Communication dans un congrès inria-00494531v1

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

Communication dans un congrès inria-00186141v1

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
Deposit thumbnail

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⟩

Communication dans un congrès 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

Communication dans un congrès inria-00185710v1
Deposit thumbnail

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
Deposit thumbnail

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⟩

Communication dans un congrès inria-00129419v1
Deposit thumbnail

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⟩

Communication dans un congrès inria-00141672v2
Deposit thumbnail

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⟩

Communication dans un congrès inria-00115556v3

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 istex 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⟩

Communication dans un congrès inria-00121792v1
Deposit thumbnail

Anti-Pattern Matching Modulo

Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau

21th International Workshop on Unification - UNIF'07, 2007, Paris, France

Communication dans un congrès inria-00176055v1
Deposit thumbnail

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⟩

Communication dans un congrès inria-00133557v3
Deposit thumbnail

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⟩

Communication dans un congrès inria-00000729v2
Deposit thumbnail

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

Communication dans un congrès inria-00001146v1
Deposit thumbnail

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⟩

Communication dans un congrès inria-00000775v2
Deposit thumbnail

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

Communication dans un congrès inria-00000817v1
Deposit thumbnail

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

Communication dans un congrès inria-00001186v1
Deposit thumbnail

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

Communication dans un congrès inria-00000701v1
Deposit thumbnail

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

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

Communication dans un congrès inria-00100095v1
Deposit thumbnail

A rho-calculus of explicit constraint application.

Horatiu Cirstea , Germain Faure , Claude Kirchner

Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain

Communication dans un congrès inria-00095626v1
Deposit thumbnail

Strategic Rewriting

Claude Kirchner

4th International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2004, 2004, Aachen, Germany

Communication dans un congrès inria-00107802v1
Deposit thumbnail

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
Deposit thumbnail

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 istex inria-00099470v1
Deposit thumbnail

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
Deposit thumbnail

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⟩

Communication dans un congrès inria-00099586v1
Deposit thumbnail

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

Communication dans un congrès inria-00099466v1
Deposit thumbnail

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⟩

Communication dans un congrès inria-00099463v2
Deposit thumbnail

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

Communication dans un congrès inria-00107640v1
Deposit thumbnail

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

Communication dans un congrès inria-00099411v1
Deposit thumbnail

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

Communication dans un congrès inria-00101012v1

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

Communication dans un congrès inria-00100883v1
Deposit thumbnail

Abstract Canonical Inference Systems

Nachum Dershowitz , Claude Kirchner

16th International Workshop on Unification - UNIF'2002, Jul 2002, Copenhagen, Denmark, 20 p

Communication dans un congrès inria-00107627v1
Deposit thumbnail

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⟩

Communication dans un congrès 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

Communication dans un congrès inria-00101023v1
Deposit thumbnail

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

Communication dans un congrès 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

Communication dans un congrès inria-00101024v1
Deposit thumbnail

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⟩

Communication dans un congrès inria-00107876v2
Deposit thumbnail

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⟩

Communication dans un congrès inria-00107877v1

Inversion Strategies

Nachum Dershowitz , Claude Kirchner

Third Workshop on Rule-Based Constraint Reasoning and Programming - RCoRP'01, Dec 2001, Paphos, Cyprus, 15 p

Communication dans un congrès inria-00100570v1

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

Communication dans un congrès inria-00100534v1

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

Communication dans un congrès inria-00100535v1

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

Communication dans un congrès inria-00100560v1
Deposit thumbnail

ELAN ou la programmation par réécriture

Claude Kirchner

FAC 2000, May 2000, Toulouse, France, 96 p

Communication dans un congrès inria-00107865v1
Deposit thumbnail

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

Communication dans un congrès inria-00099053v1
Deposit thumbnail

The simply typed rewriting calculus

Horatiu Cirstea , Claude Kirchner

3rd International Workshop on Rewriting Logic & its Applications - WRLA2000, Sep 2000, none, 19 p

Communication dans un congrès 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

Communication dans un congrès 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

Communication dans un congrès inria-00098922v1

Deduction and theorem proving modulo

Claude Kirchner

School of logic & computation, May 1999, Edinburgh, United Kingdom

Communication dans un congrès inria-00098921v1
Deposit thumbnail

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

Communication dans un congrès inria-00098715v1

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

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

Communication dans un congrès inria-00098808v1

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

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
Deposit thumbnail

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
Deposit thumbnail

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

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

Chapitre d'ouvrage inria-00121763v1
Deposit thumbnail

Anonymisation des données : enjeux d'éthique pour la recherche scientifique

Christine Froidevaux , Jean-Gabriel Ganascia , Claude Kirchner

Inria. 2024

Rapport hal-04766842v1
Deposit thumbnail

Systèmes d'intelligence artificielle générative : enjeux d'éthique

Alexei Grinbaum , Raja Chatila , Laurence Devillers , Caroline Martin , Claude Kirchner et al.

Comité national pilote d'éthique du numérique. 2023, pp.Avis 7 du CNPEN

Rapport cea-04153216v1
Deposit thumbnail

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

Rapport (rapport technique) hal-02786563v1
Deposit thumbnail

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

Rapport (rapport d’expertise collective) hal-02791125v1
Deposit thumbnail

Open Access in Japan – a multi-institutional perspective

Jos Baeten , Pascal Estraillier , Claude Kirchner , Alexandre Moatti , Laurent Romary

[Research Report] Ambassade de France au Japon. 2016

Rapport (rapport de recherche) hal-01290936v1
Deposit thumbnail

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

Rapport hal-00804915v1
Deposit thumbnail

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

[0] INRIA. 2009

Rapport hal-03210022v1
Deposit thumbnail

Anti-Pattern Matching Modulo

Claude Kirchner , Radu Kopetz , Pierre-Etienne Moreau

[Research Report] 2007, pp.21

Rapport (rapport de recherche) inria-00129421v3
Deposit thumbnail

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

Rapport (rapport de recherche) inria-00104120v1
Deposit thumbnail

A rewriting calculus for cyclic higher-order term graphs

Paolo Baldan , Clara Bertolissi , Horatiu Cirstea , Claude Kirchner

[Intern report] 2005

Rapport inria-00000825v1
Deposit thumbnail

Induction as Deduction Modulo

Eric Deplagne , Claude Kirchner

[Intern report] A04-R-468 || deplagne04a, 2004, 80 p

Rapport inria-00099871v1
Deposit thumbnail

Production Systems and Rete Algorithm Formalisation

Horatiu Cirstea , Claude Kirchner , Michael Mm Moossen , Pierre-Etienne Moreau

[Research Report] 2004, pp.21

Rapport (rapport de recherche) inria-00280938v1
Deposit thumbnail

Production and Rewrite Systems

Horatiu Cirstea , Claude Kirchner , Michael Mm Moossen , Pierre-Etienne Moreau

[Research Report] 2004, pp.23

Rapport (rapport de recherche) inria-00280939v1
Deposit thumbnail

Stratégies de réécriture probabiliste dans ELAN4

Olivier Bournez , Florent Garnier , Claude Kirchner

[Rapport de recherche] 2004, pp.17

Rapport (rapport de recherche) inria-00104091v1
Deposit thumbnail

Production Systems and Rete Algorithm Formalisation

Horatiu Cirstea , Claude Kirchner , Michael Moossen , Pierre-Etienne Moreau

[Contract] A04-R-546 || cirstea04d, 2004, 26 p

Rapport (rapport contrat/projet) inria-00099850v1
Deposit thumbnail

Production Systems and Rewrite Systems

Horatiu Cirstea , Claude Kirchner , Michael Moossen , Pierre-Etienne Moreau

[Contract] A04-R-563 || cirstea04f, 2004, 28 p

Rapport (rapport contrat/projet) inria-00099860v1
Deposit thumbnail

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

Rapport (rapport contrat/projet) inria-00099859v1
Deposit thumbnail

Theorem Proving Modulo Revised Version

Gilles Dowek , Thérèse Hardin , Claude Kirchner

[Research Report] RR-4861, INRIA. 2003, pp.54

Rapport (rapport de recherche) inria-00071722v1

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

Rapport inria-00101055v1
Deposit thumbnail

Towards a Methodology for Rule-Based Programming

Carlos Castro , Claude Kirchner

[Intern report] A02-R-529 || castro02a, 2002, 24 p

Rapport inria-00099428v1
Deposit thumbnail

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

Rapport 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

Rapport inria-00099309v1
Deposit thumbnail

The Rewriting Calculus

Horatiu Cirstea , Claude Kirchner

[Intern report] A00-R-444 || cirstea00f, 2000

Rapport 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

Rapport inria-00099308v1
Deposit thumbnail

Introduction to the Rewriting Calculus

Horatiu Cirstea , Claude Kirchner

[Research Report] RR-3818, INRIA. 1999, pp.50

Rapport (rapport de recherche) inria-00072840v1
Deposit thumbnail

Using Rewriting and Strategies for Describing the B Predicate Prover

Horatiu Cirstea , Claude Kirchner

[Intern report] 99-R-249 || cirstea99d, 1999, 23 p

Rapport inria-00098748v1
Deposit thumbnail

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

Rapport inria-00107841v1
Deposit thumbnail

Theorem Proving Modulo

Gilles Dowek , Thérèse Hardin , Claude Kirchner

[Research Report] RR-3400, INRIA. 1998, pp.27

Rapport (rapport de recherche) inria-00077199v1
Deposit thumbnail

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

Horatiu Cirstea , Claude Kirchner

[Intern report] 98-R-218 || cirstea98a, 1998, 16 p

Rapport inria-00098735v1

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

Rapport inria-00098611v1
Deposit thumbnail

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

Rapport (rapport de recherche) inria-00077202v1
Deposit thumbnail

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

Rapport inria-00098736v1
Deposit thumbnail

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

Rapport (rapport de recherche) inria-00077203v1
Deposit thumbnail

Conditional Concurrent Rewriting

Iliès Alouini , Claude Kirchner

[Research Report] RR-2777, INRIA. 1996, pp.24

Rapport (rapport de recherche) inria-00073915v1
Deposit thumbnail

A Fine-Grained Concurrent Completion Procedure

Claude Kirchner , Christopher Lynch , Christelle Scharff

[Research Report] RR-2990, INRIA. 1996, pp.56

Rapport (rapport de recherche) inria-00073707v1
Deposit thumbnail

Higher Order Unification via Explicit Substitutions

Gilles Dowek , Thérèse Hardin , Claude Kirchner

[Research Report] RR-2709, INRIA. 1995, pp.42

Rapport (rapport de recherche) inria-00077197v1
Deposit thumbnail

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

Francis Klay , Eric Domenjoud , Claude Kirchner

[Rapport de recherche] RR-2226, INRIA. 1994

Rapport (rapport de recherche) inria-00074444v1
Deposit thumbnail

Dynamically-typed computations for order-sorted equational presentations

Claus Hintermeier , Hélène Kirchner , Claude Kirchner

[Research Report] RR-2208, INRIA. 1994, pp.114

Rapport (rapport de recherche) inria-00074463v1
Deposit thumbnail

Proofs in parameterized specifications

Hélène Kirchner , Claude Kirchner

[Research Report] RR-1424, INRIA. 1991

Rapport (rapport de recherche) inria-00075136v1
Deposit thumbnail

Deduction with symbolic constraints

Claude Kirchner , Hélène Kirchner , Michaël Rusinowitch

[Research Report] RR-1358, INRIA. 1990, pp.46

Rapport (rapport de recherche) inria-00077103v1
Deposit thumbnail

Order-sorted equational unification

Claude Kirchner

[Research Report] RR-0954, INRIA. 1988

Rapport (rapport de recherche) inria-00075605v1
Deposit thumbnail

Solving disequations

Claude Kirchner , Pierre Lescanne

[Research Report] RR-0686, INRIA. 1987

Rapport (rapport de recherche) inria-00075867v1