Claude Kirchner
135
Documents
Researcher identifiers
claudekirchner
-
0000-0002-1686-1046
- IdRef : 032478739
Presentation
Publications
- 35
- 28
- 10
- 9
- 9
- 8
- 7
- 6
- 5
- 5
- 4
- 4
- 3
- 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
- 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
- 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
- 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
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Pour un numérique fraternelRevue Quart Monde, 2021
Journal articles
hal-03348601v1
|
|
Défis de la recherche scientifique en cyber-sécuritéAnnales des Mines - Enjeux Numériques, 2019, pp.1-15
Journal articles
hal-02381411v1
|
|
Regaining Cut Admissibility in Deduction Modulo using Abstract CompletionInformation and Computation, 2010, 208 (2), pp.140-164. ⟨10.1016/j.ic.2009.10.005⟩
Journal articles
inria-00132964v2
|
|
On the confluence of lambda-calculus with conditional rewritingTheoretical Computer Science, 2010, 411 (37), pp.3301-3327. ⟨10.1016/j.tcs.2009.07.058⟩
Journal articles
inria-00509054v1
|
Anti-patterns for Rule-based LanguagesJournal of Symbolic Computation, 2010, 54 (5), pp.523-550. ⟨10.1016/j.jsc.2010.01.007⟩
Journal articles
inria-00429226v1
|
|
|
Réflexion éthique : une urgence. Entretien avec Claude Kirchner, propos recueillis par Dominique ChouchanLes Cahiers de l'INRIA - La Recherche, 2010, Cancer la révolution, 440 avril 2010
Journal articles
inria-00511390v1
|
|
Inductive Proof Search ModuloAnnals 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 PoliciesElectronic 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
|
|
|
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.Les Cahiers de l'INRIA - La Recherche, 2008, Les nouveaux défis de la cryptologie, 420 juin 2008
Journal articles
inria-00546796v1
|
|
A Rho-Calculus of explicit constraint applicationHigher-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 graphsMathematical Structures in Computer Science, 2007, 17 (3), pp.363-406. ⟨10.1017/S0960129507006093⟩
Journal articles
inria-00110872v1
|
|
Abstract canonical presentationsTheoretical 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 CalculusHigher-Order and Symbolic Computation, 2006
Journal articles
inria-00110869v1
|
|
L'Action Concertée Incitative Sécurité et InformatiqueRevue 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 ModuloJournal of Automated Reasoning, 2003, 31 (1), pp.33-72
Journal articles
inria-00099711v1
|
|
ELAN from a rewriting logic point of viewTheoretical Computer Science, 2002, 285 (2), pp.155-185. ⟨10.1016/S0304-3975(01)00358-9⟩
Journal articles
inria-00100974v1
|
|
External rewriting for skeptical proof assistantsJournal of Automated Reasoning, 2002, 29 (3-4), pp.309-336
Journal articles
inria-00101009v1
|
|
Rewriting and Multisets in Rho-calculus and ELANRomanian Journal of Information Science and Technology, 2001, 4 (1-2), pp.33--48
Journal articles
inria-00100656v1
|
|
|
Rewriting with strategies in ELAN: a functional semanticsInternational Journal of Foundations of Computer Science, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
Journal articles
inria-00098778v1
|
The Rewriting Calculus - Part ILogic Journal of the IGPL, 2001, 9 (3), pp.339-375. ⟨10.1093/jigpal/9.3.339⟩
Journal articles
inria-00100531v1
|
|
The Rewriting Calculus - Part IILogic 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 SolvingConstraints, 1999, 4 (4), pp.337-361
Journal articles
inria-00098856v1
|
|
Generating feasible schedules for a pick-up and delivery problemElectronic Notes in Discrete Mathematics, 1999, 1
Journal articles
inria-00098910v1
|
|
Dynamically-Typed Computations for Order-Sorted Equational PresentationsJournal of Symbolic Computation, 1998, 25 (4), pp.455-526
Journal articles
inria-00098625v1
|
|
Rule-Based Constraint ProgrammingFundamenta Informaticae, 1998, 34 (3), pp.225--262
Journal articles
inria-00098476v1
|
Pourquoi l’éthique du numérique ?Séminaire du LIRIMA, Nov 2020, [En distanciel], France
Conference papers
hal-03586285v1
|
|
Prévention des attaques informatiques et protectionConstruire 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
|
|
|
Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic SoftwareFourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom
Conference papers
hal-01367344v1
|
|
EPISCIENCES - an overlay publication platformELPUB2014 - 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
|
|
A Type System for TomProceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. ⟨10.4204/EPTCS.21.5⟩
Conference papers
inria-00426439v2
|
Constraint Based Strategies18th 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 Policies3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States
Conference papers
inria-00335088v1
|
|
|
Anti-Pattern Matching ModuloSecond 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 PoliciesThe 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States
Conference papers
inria-00185710v1
|
|
|
Inductive Proof Search Modulo6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. pp.4-19
Conference papers
inria-00187458v1
|
|
Superdeduction at workColloquium 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 calculus7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France
Conference papers
inria-00186141v1
|
|
|
Anti-Pattern Matching16th 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 Rewriting12th 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 SystemTenth 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
|
|
|
Anti-Pattern Matching Modulo21th International Workshop on Unification - UNIF'07, 2007, Paris, France
Conference papers
inria-00176055v1
|
|
Principles of SuperdeductionTwenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. ⟨10.1109/LICS.2007.37⟩
Conference papers
inria-00133557v3
|
|
Cut Elimination in Deduction Modulo by Abstract CompletionSymposium 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
|
|
Formal Islands11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. pp.51-65
Conference papers
inria-00001146v1
|
|
On the confluence of lambda-calculus with conditional rewritingFoundations of Software Science and Computation Structures, Mar 2006, Vienne, Austria. ⟨10.1007/11690634_26⟩
Conference papers
inria-00000729v2
|
|
Completion is an Instance of Abstract Canonical System InferenceAlgebra, 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
|
|
Decidable Type Inference for the Polymorphic Rewriting Calculus17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. pp.57-69
Conference papers
inria-00000817v1
|
|
Modular Formal Islands: Embed theory in your practiceThird Taiwanese-French Conference on Information Technology - TFIT 2006, INRIA/LORIA, Mar 2006, Nancy/France
Conference papers
inria-00001186v1
|
|
Anchoring modularity in HTML.1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151
Conference papers
inria-00000750v1
|
|
Formal Validation of Pattern Matching CodeProceedings 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 graphs2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p
Conference papers
inria-00100095v1
|
|
|
A rho-calculus of explicit constraint application.Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain
Conference papers
inria-00095626v1
|
|
Strategic Rewriting4th International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2004, 2004, Aachen, Germany
Conference papers
inria-00107802v1
|
|
Rule-based programming and proving: the ELAN experience outcomesNinth Asian Computing Science Conference - ASIAN'04, 2004, Chiang Mai, Thailand, 17 p
Conference papers
inria-00107801v1
|
|
The QSL platform at LORIAFirst QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
Conference papers
inria-00099497v1
|
|
Rewrite Strategies in the Rewriting CalculusWRS 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 TheoremsConference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p
Conference papers
inria-00099470v1
|
|
|
Abstract Saturation-based InferenceEighteenth Annual IEEE Symposium on Logic in Computer Science - LICS'2003), Jun 2003, Ottawa, Canada, 10 p
Conference papers
inria-00099466v1
|
|
Pure Patterns Type SystemsProceedings 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
|
|
Translating Combinatory Reduction Systems into the Rewriting Calculus4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain
Conference papers
inria-00107640v1
|
Binding Logic: proofs and models9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. pp.130-144
Conference papers
inria-00101012v1
|
|
|
The rho cube : some results, some problemsFirst 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
|
|
Abstract Canonical Inference Systems16th International Workshop on Unification - UNIF'2002, Jul 2002, Copenhagen, Denmark, 20 p
Conference papers
inria-00107627v1
|
|
Rewriting Calculus with(out) TypesWRLA 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)Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 2002, Pittsburgh, USA
Conference papers
inria-00101023v1
|
|
|
Exceptions in the rewriting calculus13th 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 InductionSixth 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 ELAN13th International Conference on Rewriting Techniques and Applications - RTA'2002, Jul 2002, Copenhagen, Denmark, pp.252-266
Conference papers
inria-00100883v1
|
|
|
Matching Power12th 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 StrategiesERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p
Conference papers
inria-00100534v1
|
|
Inversion StrategiesThird 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éécritureApproches 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 StrategiesThe 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
|
|
|
The Rho Cube4th 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
|
|
Rewriting and Multisets in the Rewriting Calculus and ELANWorkshop on Multiset Processing, Aug 2000, Curtea de Arges, Romania, 17 p
Conference papers
inria-00099053v1
|
|
ELAN ou la programmation par réécritureFAC 2000, May 2000, Toulouse, France, 96 p
Conference papers
inria-00107865v1
|
|
The simply typed rewriting calculus3rd 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 logicTenth 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.Third International CADE workshop on strategies in automated deduction, Jul 1999, Trento, Italy
Conference papers
inria-00098922v1
|
|
Deduction and theorem proving moduloSchool of logic & computation, May 1999, Edinburgh, United Kingdom
Conference papers
inria-00098921v1
|
|
An Overview of ELANSecond Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p
Conference papers
inria-00098518v1
|
|
|
Using Rewriting and Strategies for Describing the B Predicate ProverProceedings 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 LanguageSecond 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 ELANThe 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 ELANFroCoS'98, 1998, Amsterdam, The Netherlands, 25 p
Conference papers
inria-00098808v1
|
Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Bordeaux, France, July 6-10, 2010, Part I & II. Volume 6198 & 6199 of Lecture Notes in Computer Science (ARCoSS)Springer, pp.900, 2010
Books
hal-01009675v1
|
|
La sécurité de l'individu numériséStéphanie Lacour. L'Harmattan, 300 p., 2009, 978-2-296-07612-9
Books
halshs-00345394v1
|
|
Formal to practical SecuritySpringer, 5458, pp.200, 2009, Lecture Notes in Computer Science, 978-3-642-02001-8
Books
inria-00426617v1
|
|
Automated Deduction - CADE-15Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence
Books
inria-00098417v1
|
|
Equational logic and rewritingDov 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
|
|
Strategic Computation and DeductionChristoph 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: IntroductionAkoka, 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
|
|
Narrowing Based Inductive Proof Search2011
Other publications
hal-00692193v1
|
Termination in finite mean time of a CSMA/CA rule-based model2006
Other publications
inria-00000774v1
|
|
|
Types for REWERSE reasoning and query languages I3-D42005, 71p
Other publications
hal-01149625v1
|