Number of documents

29

Claude Kirchner


Hélène Kirchner   

Journal articles8 documents

  • 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〉
  • 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⟩
  • 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, 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⟩
  • 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⟩
  • 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⟩

Conference papers12 documents

  • Helene Kirchner, Kirchner Florent, Claude Kirchner. Constraint Based Strategies. 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. pp.13-26. ⟨inria-00494531⟩
  • 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. ⟨inria-00335088⟩
  • Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira. Modular Access Control via Strategic Rewriting. 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⟩. ⟨inria-00185697⟩
  • Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner. Weaving Rewrite-Based Access Control Policies. The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States. ⟨inria-00185710⟩
  • Fabrice Nahon, Claude Kirchner, Hélène Kirchner. Inductive Proof Search Modulo. 6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. pp.4-19. ⟨inria-00187458⟩
  • 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. ⟨inria-00000750⟩
  • 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. ⟨inria-00107801⟩
  • 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. ⟨inria-00099497⟩
  • 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. ⟨inria-00099470⟩
  • 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., 10 p. ⟨inria-00098626⟩
  • 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), pp.143-167. ⟨inria-00098628⟩
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen. An Overview of ELAN. Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p. ⟨inria-00098518⟩

Book sections2 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⟩

Directions of work or proceedings1 document

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

Other publications1 document

  • Claude Kirchner, Helene Kirchner, Fabrice Nahon. Narrowing Based Inductive Proof Search. 2011. ⟨hal-00692193⟩

Reports5 documents

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