Nombre de documents

129

Claude Kirchner


Article dans une revue24 documents

  • Horatiu Cirstea, Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-patterns for Rule-based Languages. Journal of Symbolic Computation, Elsevier, 2010, 54 (5), pp.523-550. 〈10.1016/j.jsc.2010.01.007〉. 〈inria-00429226〉
  • Claude Kirchner. Réflexion éthique : une urgence. Entretien avec Claude Kirchner, propos recueillis par Dominique Chouchan. Les Cahiers de l'INRIA - La Recherche, INRIA, 2010, Cancer la révolution. 〈inria-00511390〉
  • Guillaume Burel, Claude Kirchner. Regaining Cut Admissibility in Deduction Modulo using Abstract Completion. Information and Computation, Elsevier, 2010, 208 (2), pp.140-164. 〈10.1016/j.ic.2009.10.005〉. 〈inria-00132964v2〉
  • Frédéric Blanqui, Claude Kirchner, Colin Riba. On the confluence of lambda-calculus with conditional rewriting. Theoretical Computer Science, Elsevier, 2010, 411 (37), pp.3301-3327. 〈http://dx.doi.org/10.1016/j.tcs.2009.07.058〉. 〈10.1016/j.tcs.2009.07.058〉. 〈inria-00509054〉
  • Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner. Inductive Proof Search Modulo. Annals of Mathematics and Artificial Intelligence, Springer Verlag, 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〉. 〈inria-00337380〉
  • Claude Kirchner, Helene Kirchner, Anderson Santana de Oliveira. Analysis of Rewrite-Based Access Control Policies. Electronic Notes in Theoretical Computer Science, Elsevier, 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〉. 〈inria-00433409〉
  • Hélène Kirchner, Claude Kirchner, Isabelle De Lamberterie. 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, INRIA, 2008, Les nouveaux défis de la cryptologie. 〈inria-00546796〉
  • Horatiu Cirstea, Germain Faure, Claude Kirchner. A Rho-Calculus of explicit constraint application. Higher-Order and Symbolic Computation, Springer Verlag, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. 〈10.1007/s10990-007-9004-2〉. 〈inria-00000628v3〉
  • Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2007, 17 (3), pp.363-406. 〈10.1017/S0960129507006093〉. 〈inria-00110872〉
  • Horatiu Cirstea, Clara Bertolissi, Claude Kirchner. Expressing Combinatory Reduction Systems Derivations in the Rewriting Calculus. Higher-Order and Symbolic Computation, Springer Verlag, 2006. 〈inria-00110869〉
  • Nachum Dershowitz, Claude Kirchner. Abstract canonical presentations. Theoretical Computer Science, Elsevier, 2006, Theoretical Computer Science, 357 (1-3), pp.53--69. 〈10.1016/j.tcs.2006.03.012〉. 〈inria-00121760〉
  • Claude Kirchner. L'Action Concerté Incitative Sécurité et Informatique. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, Lavoisier, 2004, 23 (3), pp.421-426. 〈inria-00100103〉
  • Gilles Dowek, Thérèse Hardin, Claude Kirchner. Theorem Proving Modulo. Journal of Automated Reasoning, Springer Verlag, 2003, 31 (1), pp.33-72. 〈inria-00099711〉
  • Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants. Journal of Automated Reasoning, Springer Verlag, 2002, 29 (3-4), pp.309-336. 〈inria-00101009〉
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from a rewriting logic point of view. Theoretical Computer Science, Elsevier, 2002, 285 (2), pp.155-185. 〈inria-00100974〉
  • Horatiu Cirstea, Claude Kirchner. The Rewriting Calculus - Part I. Logic Journal of the Interest Group in Pure and Applied Logics, 2001, 9 (3), pp.427-463. 〈inria-00100531〉
  • Horatiu Cirstea, Claude Kirchner. The Rewriting Calculus - Part II. Logic Journal of the Interest Group in Pure and Applied Logics, 2001, 9 (3), pp.465-498. 〈inria-00100532〉
  • Horatiu Cirstea, Claude Kirchner. Rewriting and Multisets in Rho-calculus and ELAN. Romanian Journal of Information, Science and Technology, 2001, 4 (1-2), pp.33--48. 〈inria-00100656〉
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen. Rewriting with strategies in ELAN: a functional semantics. International Journal of Foundations of Computer Science, World Scientific Publishing, 2001, 12 (1), pp.69--95. 〈inria-00100655〉
  • Eric Domenjoud, Claude Kirchner, Jianyang Zhou. Generating feasible schedules for a pick-up and delivery problem. Electronic Notes in Discrete Mathematics, Elsevier, 1999, 1. 〈inria-00098910〉
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen. Rewriting with strategies in ELAN: a functional semantics. International Journal of Foundations of Computer Science, World Scientific Publishing, 1999, 27 p. 〈inria-00098778〉
  • Claude Kirchner, Hubert Comon, Mehmet Dincbas, Jean-Pierre Jouannaud. A Methodological View of Constraint Solving. Constraints, Springer Verlag, 1999, 4 (4), pp.337-361. 〈inria-00098856〉
  • Claus Hintermeier, Claude Kirchner, Hélène Kirchner. Dynamically-Typed Computations for Order-Sorted Equational Presentations. Journal of Symbolic Computation, Elsevier, 1998, 25 (4), pp.455-526. 〈inria-00098625〉
  • Claude Kirchner, Christophe Ringeissen. Rule-Based Constraint Programming. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 34 (3), pp.225--262. 〈inria-00098476〉

Communication dans un congrès58 documents

  • Alice Allen, Cecilia Aragon, Christoph Becker, Jeffrey Carver, Andrei Chis, et al.. Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic Software. Gabrielle Allen; Jeffrey Carver; Michael Heroux; Lorraine J. Hwang; Daniel S. Katz; Kyle E. Niemeyer; Manish Parashar; Colin C. Venters; Sou-Cheng T. Choi; Tom Crick; Michael R. Crusoe; Sandra Gesing; Robert Haines. Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom. CEUR, 1686, Proceedings of the Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4). 〈http://ceur-ws.org/Vol-1686/WSSSPE4_paper_15.pdf〉. 〈hal-01367344〉
  • Christine Berthaud, Laurent Capelli, Jens Gustedt, Claude Kirchner, Kevin Loiseau, et al.. EPISCIENCES - an overlay publication platform. Dr. Panayiota Polydoratou. ELPUB2014 - International Conference on Electronic Publishing, Jun 2014, Thessalonique, Greece. IOS Press, pp.78-87, 2014, 〈http://www.ebooks.iospress.nl/publication/36552〉. 〈10.3233/978-1-61499-409-1-78〉. 〈hal-01002815v2〉
  • Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares. A Type System for Tom. Ian Mackie and Anamaria Martins Moreira. Proceedings Tenth International Workshop on Rule-Based Programming - RULE 2009, Jun 2009, Brasilia, Brazil. 21, 2010, Rule-Based Programming. 〈10.4204/EPTCS.21.5〉. 〈inria-00426439v2〉
  • Helene Kirchner, Kirchner Florent, Claude Kirchner. Constraint Based Strategies. Santiago Escobar. 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. Springer Berlin / Heidelberg, 5979, pp.13-26, 2010, Lecture Notes in Computer Science. 〈inria-00494531〉
  • Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching Modulo. Carlos Mart\'n-Vide and Friedrich Otto and Henning Fernau. Second International Conference on Language and Automata Theory and Applications - LATA 2008, Mar 2008, Tarragone, Italy. Springer-Verlag, 5196, pp.275-286, 2008, Lecture Notes in Computer Science. 〈10.1007/978-3-540-88282-4_26〉. 〈inria-00337722〉
  • Anderson Santana de Oliveira, Claude Kirchner, Hélène Kirchner. Analysis of Rewrite-Based Access Control Policies. 3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States. 2008. 〈inria-00335088〉
  • Paul Brauner, Clement Houtmann, Claude Kirchner. Principles of Superdeduction. Twenty-Second Annual IEEE Symposium on Logic in Computer Science - LiCS 2007, Jul 2007, Wroclaw, Poland. IEEE Computer Society, 2007, 〈10.1109/LICS.2007.37〉. 〈inria-00133557v3〉
  • Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching. Rocco De Nicola. 16th European Symposium on Programming - ESOP'07, Mar 2007, Braga, Portugal. Springer-Verlag, 4421, pp.110-124, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-71316-6_9〉. 〈inria-00129419〉
  • Clara Bertolissi, Claude Kirchner. The Rewriting Calculus as a Combinatory Reduction System. Helmut Seidl. Tenth International Conference on Foundations of Software Science and Computations Structures - FoSSaCS 2007, Mar 2007, Braga, Portugal. Springer-Verlag, 4423, pp.78-92, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-71389-0_7〉. 〈inria-00121792〉
  • Paul Brauner, Clément Houtmann, Claude Kirchner. Superdeduction at work. Hubert, Comon-Lundh and Kirchner, Claude and Kirchner, Hélène. Colloquium in honor of Jean-Pierre Jouannaud, Jun 2007, Cachan, France. Springer, 4600, pp.132-166, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-73147-4〉. 〈inria-00141672v2〉
  • Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching Modulo. Évelyne Contejean. 21th International Workshop on Unification - UNIF'07, 2007, Paris, France. 2007. 〈inria-00176055〉
  • Fabrice Nahon, Claude Kirchner, Hélène Kirchner. Inductive Proof Search Modulo. Silvio Ranise. 6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. Technical report ULCS-07-018 Department of Computer Science University of Liverpool, pp.4-19, 2007, Proceedings of the 6th International Workshop on First-Order Theorem Proving FTP 2007. 〈inria-00187458〉
  • Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. Towards a sharing strategy for the graph rewriting calculus. Jürgen Giesl. 7th International Workshop on Reduction Strategies in Rewriting and Programming - WRS 2007, Jun 2007, Paris, France. Elsevier, 204, 2008, Electronic Notes in Theoretical Computer Science. 〈inria-00186141〉
  • Guillaume Burel, Claude Kirchner. Cut Elimination in Deduction Modulo by Abstract Completion. Sergei Artemov and Anil Nerode. Symposium on Logical Foundations of Computer Science LFCS'07, Jun 2007, New York, United States. Springer Verlag, 4514, pp.115-131, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-72734-7_9〉. 〈inria-00115556v3〉
  • Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira. Modular Access Control via Strategic Rewriting. Joachim Biskup, Javier Lopez. 12th European Symposium On Research In Computer Security - ESORICS 2007, Sep 2007, Dresden, Germany. Springer Berlin / Heidelberg, 4734, pp.578-593, 2007, Lecture Notes in Computer Science. 〈10.1007/978-3-540-74835-9_38〉. 〈inria-00185697〉
  • Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner. Weaving Rewrite-Based Access Control Policies. Heiko Mantel, Virgil Gligor. The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, Nov 2007, Alexandria, United States. 2007. 〈inria-00185710〉
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Decidable Type Inference for the Polymorphic Rewriting Calculus. 17è Journées Francophones des Langages Applicatifs - JFLA 2006, Jan 2006, Pauillac, France. INRIA, pp.57-69, 2006. 〈inria-00000817〉
  • Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau. Formal Islands. Michael Johnson and Varmo Vene. 11th International Conference on Algebraic Methodology and Software Technology - AMAST '06, Jul 2006, Kuressaare, Estonia. Springer, 4019, pp.51-65, 2006, Lecture Notes in Computer Science. 〈inria-00001146〉
  • Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau, Anderson Santana de Oliveira. Modular Formal Islands: Embed theory in your practice. Third Taiwanese-French Conference on Information Technology - TFIT 2006, Mar 2006, Nancy/France, 2006. 〈inria-00001186〉
  • Frédéric Blanqui, Claude Kirchner, Colin Riba. On the confluence of lambda-calculus with conditional rewriting. Foundations of Software Science and Computation Structures, Mar 2006, Vienne, Austria. 3921 (3921), 2006, Lecture Notes in Computer Science. 〈10.1007/11690634_26〉. 〈inria-00000729v2〉
  • Guillaume Burel, Claude Kirchner. Completion is an Instance of Abstract Canonical System Inference. Kokichi Futatsugi and Jean-Pierre Jouannaud and José Meseguer. Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego/USA, Springer Verlag, 4060, pp.497-520, 2006, Lecture Notes in Computer Science. 〈10.1007/11780274_26〉. 〈inria-00000775v2〉
  • Claude Kirchner, Pierre-Etienne Moreau, Antoine Reilles. Formal Validation of Pattern Matching Code. Barahone, Pedro and Felty, Amy. Proceedings of the 7th ACM SIGPLAN International Conference on Principles and Practice of Declarative Programming - PPDP'2005, Jul 2005, Lisbon/Portugal, ACM, ISBN 1-59593-090-6 (ISBN 1-59593-090-6), pp.187--197, 2005. 〈inria-00000701〉
  • Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira. Anchoring modularity in HTML.. 1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151, 2005. 〈inria-00000750〉
  • Clara Bertolissi, Paolo Baldan, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. Maribel Fernandez. 2nd International Workshop on Term Graph Rewriting - TERMGRAPH'2004, Oct 2004, Rome, Italy, 20 p, 2004, Electronic Notes in Theoretical Computer Science. 〈inria-00100095〉
  • Claude Kirchner, Hélène Kirchner. Rule-based programming and proving: the ELAN experience outcomes. Ninth Asian Computing Science Conference - ASIAN'04, 2004, Chiang Mai, Thailand, 17 p, 2004. 〈inria-00107801〉
  • Claude Kirchner. Strategic Rewriting. 4th International Workshop on Reduction Strategies in Rewriting and Programming - WRS'2004, 2004, Aachen, Germany, 2004. 〈inria-00107802〉
  • Horatiu Cirstea, Germain Faure, Claude Kirchner. A rho-calculus of explicit constraint application.. Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain. 117, 2004, ENTCS. 〈inria-00095626〉
  • Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. Translating Combinatory Reduction Systems into the Rewriting Calculus. 4th International Workshop on Rule-Based Programming - RULE 2003, 2003, Valencia, Spain, 2003. 〈inria-00107640〉
  • Nachum Dershowitz, Claude Kirchner. Abstract Saturation-based Inference. Eighteenth Annual IEEE Symposium on Logic in Computer Science - LICS'2003), Jun 2003, Ottawa, Canada, 10 p, 2003. 〈inria-00099466〉
  • Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang-Huy Nguyen. Proof Search and Proof Check for Equational and Inductive Theorems. Conference on Automated Deduction - CADE-19, Jul 2003, Miami, USA, 20 p, 2003. 〈inria-00099470〉
  • Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz. The QSL platform at LORIA. First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p, 2003. 〈inria-00099497〉
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. Rewrite Strategies in the Rewriting Calculus. Elsevier. WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings, Jun 2003, Valencia, Spain. Electronic Notes in Theoretical Computer Science, 86 (issue 4), pp.593-624, 2003, 〈10.1016/S1571-0661(05)82613-1〉. 〈inria-00099586〉
  • Gilles Barthe, Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Pure Patterns Type Systems. ACM. 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, 2003, 〈10.1145/604131.604152〉. 〈inria-00099463v2〉
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Rewriting Calculus with(out) Types. WRLA 2002, 4th International Workshop on Rewriting Logic and Its Applications, Pisa, Italy 19–21 September 2002, Sep 2002, Pisa, Italy. Elsevier, Electronic Notes in Theoretical Computer Science, 71, pp.3-19, 2002, 〈10.1016/S1571-0661(05)82526-5〉. 〈inria-00100858〉
  • Claude Kirchner. Proceedings of the 4th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02). Kirchner, Claude. Conference on Principles and Practice of Declarative Programming (PPDP'02), Oct 2002, Pittsburgh, USA, 2002. 〈inria-00101023〉
  • Olivier Bournez, Claude Kirchner. Probabilistic rewrite strategies. Applications to ELAN. S. Tison. 13th International Conference on Rewriting Techniques and Applications - RTA'2002, Jul 2002, Copenhagen, Denmark, Springer, 2378, pp.252-266, 2002, Lecture Notes in Computer Science. 〈inria-00100883〉
  • Gilles Dowek, Thérèse Hardin, Claude Kirchner. Binding Logic: proofs and models. M. Baaz, A. Voronkov. 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR'2002, Oct 2002, Tbilisi, Georgia. Springer, 2514, pp.130-144, 2002, Lecture notes in Artificial Intelligence. 〈inria-00101012〉
  • Eric Deplagne, Claude Kirchner. Deduction versus Computation: the Case of Induction. J. Calmet, B. Benhamou, O. Caprotti, L. Henocque, V. Sorge. Sixth International Conference on Artificial Intelligence and Symbolic Computation - AISC'2002, Jul 2002, Marseille, France, Springer, 2385, pp.4-6, 2002, Lecture notes in Artificial Intelligence. 〈inria-00101024〉
  • Nachum Dershowitz, Claude Kirchner. Abstract Canonical Inference Systems. 16th International Workshop on Unification - UNIF'2002, Jul 2002, Copenhagen, Denmark, 20 p, 2002. 〈inria-00107627〉
  • Germain Faure, Claude Kirchner. Exceptions in the rewriting calculus. Sophie Tison. 13th International Conference on Rewriting Techniques and Applications - RTA 2002, Jul 2002, Copenhagen/Denmark, Springer-Verlag, 2378, pp.66--82, 2002, Lecture Notes in Computer Science. 〈inria-00101011v2〉
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori, Benjamin Wack. The rho cube : some results, some problems. First International Workshop on Higher-Order Rewriting Copenhagen, Denmark, July 21st, 2002 Affiliated with RTA 2002, Jul 2002, Copenhague, Denmark. 2002. 〈inria-00099411〉
  • Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner. Verification of Timed Automata Using Rewrite Rules and Strategies. ERCIM Working Group on Constraints, Jun 2001, Prague, Czech Republic, 15 p, 2001. 〈inria-00100534〉
  • Claude Kirchner. ELAN : Modélisation et preuve en calcul de réécriture. Approches Formelles dans l'Assistance au Développement de Logiciels, 2001, Nancy, France, 2 p, 2001. 〈inria-00100560〉
  • Emmanuel Beffara, Olivier Bournez, Hassen Kacem, Claude Kirchner. Verification of Timed Automata Using Rewrite Rules and Strategies. The Seventh Biennal Bar-Ilan Symposium on the Foundations of Artificial Intelligence - BISFAI'01, Jun 2001, Bar-Ilan University, Ramat-Gan, Israel, 15 p, 2001. 〈inria-00100535〉
  • Nachum Dershowitz, Claude Kirchner. Inversion Strategies. Third Workshop on Rule-Based Constraint Reasoning and Programming - RCoRP'01, Dec 2001, Paphos, Cyprus, 15 p, 2001. 〈inria-00100570〉
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power. 12th International Conference, RTA 2001 Utrecht, The Netherlands, May 22–24, 2001 Proceedings, May 2001, Utrecht, Netherlands. Springer Verlag, 2051, pp.77-92, 2001, Lecture Notes in Computer Science. 〈10.1007/3-540-45127-7_8〉. 〈inria-00107876v2〉
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. The Rho Cube. 4th International Conference on Foundations of Software Science and Computation Structures - FOSSACS 2001, Apr 2001, Genova, Italy. 15 p, 2001, 〈10.1007/3-540-45315-6_11 〉. 〈inria-00107877〉
  • Claude Kirchner. ELAN ou la programmation par réécriture. FAC 2000, May 2000, Toulouse, France, 96 p, 2000. 〈inria-00107865〉
  • Horatiu Cirstea, Claude Kirchner. Rewriting and Multisets in the Rewriting Calculus and ELAN. Workshop on Multiset Processing, Aug 2000, Curtea de Arges, Romania, 17 p, 2000. 〈inria-00099053〉
  • Horatiu Cirstea, Claude Kirchner. The simply typed rewriting calculus. 3rd International Workshop on Rewriting Logic & its Applications - WRLA2000, Sep 2000, none, 19 p, 2000. 〈inria-00099052〉
  • Claude Kirchner. Deduction and theorem proving modulo. School of logic & computation, May 1999, Edinburgh, United Kingdom, 1999. 〈inria-00098921〉
  • Gilles Dowek, Thérèse Hardin, Claude Kirchner. HOL-$\lambda \sigma$ an intentional first-order expression of higher-order logic. Tenth International Conference on Rewriting Techniques & Applications - RTA'99, Jul 1999, Trento, Italy, 14 p, 1999. 〈inria-00098847〉
  • Claude Kirchner. 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, 1999. 〈inria-00098922〉
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner. A functional view of rewriting and strategies for a semantics of ELAN. The Third Fuji International Symposium on Functional and Logic Programming, 1998, Kyoto (Japan), World Scientific, pp.143-167, 1998. 〈inria-00098628〉
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner. Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language. Second International Workshop on the Theory and Practice of Algebraic Specifications, 1998, Amsterdam, N.L., Springer Verlag, 10 p, 1998, Electronic Workshops in Computing, eWiC web site: http://ewic.springer.co.uk/. 〈inria-00098626〉
  • Horatiu Cirstea, Claude Kirchner. Combining Higher-Order and First-Order Computation Using Rho Calculus: Towards a Semantics of ELAN. FroCoS'98, 1998, Amsterdam, The Netherlands, 25 p, 1998. 〈inria-00098808〉
  • Horatiu Cirstea, Claude Kirchner. Using Rewriting and Strategies for Describing the B Predicate Prover. Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, 1998, Lindau, Germany, pp.23-34, 1998. 〈inria-00098715〉
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen. An Overview of ELAN. Kirchner, Claude & Kirchner, Hélène. Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, Elsevier Science B. V., 15, 16 p, 1998, Electronic Notes in Theoretical Computer Science. 〈inria-00098518〉

Ouvrage (y compris édition critique et traduction)2 documents

  • Stéphanie Lacour, Claude Kirchner, Gildas Avoine, Pierre Trudel, El Hassan Bezzazi, et al.. La sécurité de l'individu numérisé : Réflexions internationales et prospectives. sous la direction de Stéphanie Lacour. l'Harmattan, pp.300, 2009. 〈halshs-00345394〉
  • Véronique Cortier, Claude Kirchner, Mitsuhiro Okada, Hideki Sakurada. Formal to practical Security. Springer, 5458, pp.200, 2009, Lecture Notes in Computer Science, 978-3-642-02001-8. 〈inria-00426617〉

Chapitre d'ouvrage3 documents

  • Claude Kirchner, Hélène Kirchner. Equational logic and rewriting. 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. 〈hal-01183817〉
  • Claude Kirchner, Florent Kirchner, Helene Kirchner. Strategic Computation and Deduction. 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. 〈inria-00433745〉
  • Claude Kirchner. Sécurité Informatique: Introduction. Akoka, Jacky and Comyn-Wattiau, Isabelle. Encyclopédie de l'informatique et des systèmes d'information, Vuibert, 2006, 978-27117-4846-4. 〈inria-00121763〉

Direction d'ouvrage, Proceedings, Dossier2 documents

  • Sansom Abramski, Cyril Gavoille, Claude Kirchner, Friedhelm Meyer auf Der Heide, Paul G. Spirakis. 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. 〈hal-01009675〉
  • Claude Kirchner, Hélène Kirchner. Automated Deduction - CADE-15. Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence. 〈inria-00098417〉

Autre publication3 documents

  • Claude Kirchner, Helene Kirchner, Fabrice Nahon. Narrowing Based Inductive Proof Search. Version finale envoyé a Springer. 2011. 〈hal-00692193〉
  • Olivier Bournez, Florent Garnier, Claude Kirchner. Termination in finite mean time of a CSMA/CA rule-based model. 2006. 〈inria-00000774〉
  • Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for REWERSE reasoning and query languages I3-D4. 1 Introduction
    2 Descriptive typing for Xcerpt
    3 Prescriptive type inference for .. 2005, 71p. 〈hal-01149625〉

Rapport37 documents

  • Jos Baeten, Pascal Estraillier, Claude Kirchner, Alexandre Moatti, Laurent Romary. Open Access in Japan – a multi-institutional perspective. [Research Report] Ambassade de France au Japon. 2016. 〈hal-01290936〉
  • Antoine Rousseau, Aurélie Darnaud, Brice Goglin, Céline Acharian, Christine Leininger, et al.. Médiation Scientifique : une facette de nos métiers de la recherche. [Interne] none. 2013, pp.34. 〈hal-00804915〉
  • Claude Kirchner, Radu Kopetz, Pierre-Etienne Moreau. Anti-Pattern Matching Modulo. [Research Report] 2007, pp.21. 〈inria-00129421v3〉
  • Olivier Bournez, Garnier Florent, Claude Kirchner. Application d'une méthode de preuve probabiliste pour prouver la terminaison en temps moyen fini du protocole CSMA/CA 802.11b. [Research Report] AVERROES/Lot 4.2/Fourniture 4.2, 2006, pp.13. 〈inria-00104120〉
  • Paolo Baldan, Clara Bertolissi, Horatiu Cirstea, Claude Kirchner. A rewriting calculus for cyclic higher-order term graphs. [Intern report] 2005. 〈inria-00000825〉
  • Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production Systems and Rete Algorithm Formalisation. [Research Report] 2004, pp.21. 〈inria-00280938〉
  • Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production and Rewrite Systems. [Research Report] 2004, pp.23. 〈inria-00280939〉
  • Olivier Bournez, Florent Garnier, Claude Kirchner. Stratégies de réécriture probabiliste dans ELAN4. [Rapport de recherche] 2004, pp.17. 〈inria-00104091〉
  • Horatiu Cirstea, Emmanuel Coquery, Wlodzimierz Drabent, Francois Fages, Claude Kirchner, et al.. Types for Web Rule Languages: a preliminary study. [Contract] A04-R-560 || cirstea04e, Inria. 2004, 33 p. 〈inria-00099859〉
  • Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production Systems and Rewrite Systems. [Contract] A04-R-563 || cirstea04f, 2004, 28 p. 〈inria-00099860〉
  • Horatiu Cirstea, Claude Kirchner, Michael Moossen, Pierre-Etienne Moreau. Production Systems and Rete Algorithm Formalisation. [Contract] A04-R-546 || cirstea04d, 2004, 26 p. 〈inria-00099850〉
  • Eric Deplagne, Claude Kirchner. Induction as Deduction Modulo. [Intern report] A04-R-468 || deplagne04a, 2004, 80 p. 〈inria-00099871〉
  • Gilles Dowek, Thérèse Hardin, Claude Kirchner. Theorem Proving Modulo Revised Version. [Research Report] RR-4861, INRIA. 2003, pp.54. 〈inria-00071722〉
  • Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner. External rewriting for skeptical proof assistants (extended version). [Intern report] A02-R-099 || nguyen02a, 2002, 45 p. 〈inria-00101055〉
  • Carlos Castro, Claude Kirchner. Towards a Methodology for Rule-Based Programming. [Intern report] A02-R-529 || castro02a, 2002, 24 p. 〈inria-00099428〉
  • Claude Kirchner, Zhebin Qian, Preet Kamal Singh, Jürgen Stuber. Xemantics: a Rewriting Calculus-Based Semantics of XSLT. [Intern report] A01-R-386 || kirchner01c, 2001, 50 p. 〈inria-00107547〉
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. A Rho Cube. [Intern report] A00-R-344 || cirstea00d, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p. 〈inria-00099309〉
  • Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Matching Power. [Intern report] A00-R-363 || cirstea00c, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy. 2000, 18 p. 〈inria-00099308〉
  • Horatiu Cirstea, Claude Kirchner. The Rewriting Calculus. [Intern report] A00-R-444 || cirstea00f, 2000. 〈inria-00099076〉
  • Horatiu Cirstea, Claude Kirchner. Introduction to the Rewriting Calculus. [Research Report] RR-3818, INRIA. 1999, pp.50. 〈inria-00072840〉
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau. ELAN from the rewriting logic point of view. [Intern report] 99-R-284 || borovansky99b, 1999, 39 p. 〈inria-00107841〉
  • Horatiu Cirstea, Claude Kirchner. Using Rewriting and Strategies for Describing the B Predicate Prover. [Intern report] 99-R-249 || cirstea99d, 1999, 23 p. 〈inria-00098748〉
  • Gilles Dowek, Thérèse Hardin, Claude Kirchner, Frank Pfenning. Unification via Explicit Substitutions: The Case of Higher-Order Patterns. [Research Report] RR-3591, INRIA. 1998, pp.33. 〈inria-00077203〉
  • Gilles Dowek, Thérèse Hardin, Claude Kirchner. Theorem Proving Modulo. [Research Report] RR-3400, INRIA. 1998, pp.27. 〈inria-00077199〉
  • Gilles Dowek, Thérèse Hardin, Claude Kirchner. Holls: an Intentional First-Order Expression of Higher-Order Logic. [Research Report] RR-3556, INRIA. 1998, pp.26. 〈inria-00077202〉
  • Horatiu Cirstea, Claude Kirchner. $\rho$-Calculus. Its Syntax and Basic Properties. [Intern report] 98-R-218 || cirstea98a, 1998, 16 p. 〈inria-00098735〉
  • Horatiu Cirstea, Claude Kirchner. Combining Higher-Order & First-Order Computation Using $\rho$-calculus: Towards a semantics of ELAN Full-version. [Intern report] 98-R-220 || cirstea98b, 1998. 〈inria-00098736〉
  • Eric Domenjoud, Claude Kirchner, Jianyang Zhou. Generating feasible schedules for a pick-up and delivery problem. [Intern report] 98-R-142 || domenjoud98b, 1998, 15 p. 〈inria-00098611〉
  • Claude Kirchner, Christopher Lynch, Christelle Scharff. A Fine-Grained Concurrent Completion Procedure. [Research Report] RR-2990, INRIA. 1996, pp.56. 〈inria-00073707〉
  • Iliès Alouini, Claude Kirchner. Conditional Concurrent Rewriting. [Research Report] RR-2777, INRIA. 1996, pp.24. 〈inria-00073915〉
  • Gilles Dowek, Thérèse Hardin, Claude Kirchner. Higher Order Unification via Explicit Substitutions. [Research Report] RR-2709, INRIA. 1995, pp.42. 〈inria-00077197〉
  • Francis Klay, Eric Domenjoud, Claude Kirchner. Vérification sémantique de spécifications métallurgiques. [Rapport de recherche] RR-2226, INRIA. 1994. 〈inria-00074444〉
  • Claus Hintermeier, Hélène Kirchner, Claude Kirchner. Dynamically-typed computations for order-sorted equational presentations. [Research Report] RR-2208, INRIA. 1994, pp.114. 〈inria-00074463〉
  • Hélène Kirchner, Claude Kirchner. Proofs in parameterized specifications. [Research Report] RR-1424, INRIA. 1991. 〈inria-00075136〉
  • Claude Kirchner, Hélène Kirchner, Michaël Rusinowitch. Deduction with symbolic constraints. [Research Report] RR-1358, INRIA. 1990, pp.46. 〈inria-00077103〉
  • Claude Kirchner. Order-sorted equational unification. [Research Report] RR-0954, INRIA. 1988. 〈inria-00075605〉
  • Claude Kirchner, Pierre Lescanne. Solving disequations. [Research Report] RR-0686, INRIA. 1987. 〈inria-00075867〉