2011
Journal articles
- titre
- Proving Weak Properties of Rewriting
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- Theoretical Computer Science, 2011, 412, pp.4405-4438. ⟨10.1016/j.tcs.2011.04.028⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Strategy Language for Graph Rewriting
- auteur
- Helene Kirchner, Olivier Namet, Maribel Fernandez
- article
- LOPSTR 2011 - 21st International Symposium on Logic-Based Program Synthesis and Transformation, Jul 2011, Odense, Denmark
- Accès au texte intégral et bibtex
-
- titre
- Formal Specification and Validation of Security Policies
- auteur
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
- article
- FPS - 4th Canada-France MITACS Workshop on Foundations and Practice of Security - 2011, May 2011, Paris, France. pp.148-163, ⟨10.1007/978-3-642-27901-0_12⟩
- Accès au texte intégral et bibtex
-
- titre
- Runtime Verification for Biochemical Programs
- auteur
- Hélène Kirchner, Oana Andrei
- article
- HAS - First Workshop on Hybrid Autonomous Systems ETAPS 2011, Apr 2011, Saarbrucken, Germany
- Accès au texte intégral et bibtex
-
- titre
- PORGY: Strategy-Driven Interactive Transformation of Graphs
- auteur
- Oana Andrei, Maribel Fernandez, Hélène Kirchner, Guy Melançon, Olivier Namet, Bruno Pinaud
- article
- 6th International Workshop on Computing with Terms and Graphs (TERMGRAPH 2011), Apr 2011, Saarbrücken, Germany. pp.54-68, ⟨10.4204/EPTCS.48.7⟩
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Narrowing Based Inductive Proof Search
- auteur
- Claude Kirchner, Helene Kirchner, Fabrice Nahon
- article
- 2011
- Accès au texte intégral et bibtex
-
2010
Journal articles
- titre
- Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
- auteur
- Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
- article
- Journal of Symbolic Computation, 2010, Automated Deduction: Decidability, Complexity, Tractability, 45 (2), pp.261-286. ⟨10.1016/j.jsc.2008.10.006⟩
- Accès au bibtex
-
- titre
- Extensional and Intensional Strategies
- auteur
- Tony Bourdier, Horatiu Cirstea, Daniel J. Dougherty, Hélène Kirchner
- article
- Electronic Proceedings in Theoretical Computer Science, 2010, Reduction Strategies in Rewriting and Programming, 15, pp.1-19. ⟨10.4204/EPTCS.15.1⟩
- Accès au bibtex
-
Conference papers
- titre
- Rule-based Specification and Analysis of Security Policies
- auteur
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
- article
- 5th International Workshop on Security and Rewriting Techniques - SecReT 2010, Jun 2010, Valencia, Spain
- Accès au bibtex
-
- titre
- On Formal Specification and Analysis of Security Policies
- auteur
- Tony Bourdier, Horatiu Cirstea, Mathieu Jaume, Hélène Kirchner
- article
- 2010 Grande Region Security and Reliability Day, Mar 2010, Saarbrücken, Germany
- Accès au texte intégral et bibtex
-
Reports
- titre
- Semi-Automatic Synthesis of Security Policies by Invariant-Guided Abduction - Full version
- auteur
- Clément Hurlin, Helene Kirchner
- article
- [Research Report] 2010, pp.19
- Accès au texte intégral et bibtex
-
2009
Journal articles
- titre
- Analysis of Rewrite-Based Access Control Policies
- auteur
- Claude Kirchner, Helene Kirchner, Anderson Santana de Oliveira
- article
- 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⟩
- Accès au bibtex
-
- titre
- Inductive Proof Search Modulo
- auteur
- Fabrice Nahon, Claude Kirchner, Hélène Kirchner, Paul Brauner
- article
- 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⟩
- Accès au texte intégral et bibtex
-
- titre
- Termination of Rewriting under Strategies
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- ACM Transactions on Computational Logic, 2009, 10 (2), pp.1-52. ⟨10.1145/1462179.1462182⟩
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Component-based Security Policy Design with Colored Petri Nets
- auteur
- Helene Kirchner, Hejiao Huang
- article
- Semantics and Algebraic Specification, Marina Lenisa, Sep 2009, Udine, Italy. pp.21-42
- Accès au bibtex
-
- titre
- Policy Composition based on Petri Nets
- auteur
- Hejiao Huang, Helene Kirchner
- article
- 33rd Annual IEEE International Computer Software and Applications Conference COMPSAC2009, Jul 2009, Seattle, United States. pp.416--421, ⟨10.1109/COMPSAC.2009.169⟩
- Accès au bibtex
-
- titre
- Constraint Based Strategies
- auteur
- Helene Kirchner, Kirchner Florent, Claude Kirchner
- article
- 18th International Workshop on Functional and Constraint Logic Programming - WFLP 2009, Jun 2009, Brasilia, Brazil. pp.13-26
- Accès au bibtex
-
- titre
- A Port Graph Calculus for Autonomic Computing and Invariant Verification
- auteur
- Oana Andrei, Helene Kirchner
- article
- TERMGRAPH 2009, 5th International Workshop on Computing with Terms and Graphs, Satellite Event of ETAPS 2009, A. Corradini, Mar 2009, York, United Kingdom
- Accès au texte intégral et bibtex
-
Reports
- titre
- Proving weak properties of rewriting
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- [Research Report] 2009, pp.50
- Accès au bibtex
-
- titre
- Modeling reducibility on ground terms using constraints
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- [Research Report] 2009, pp.9
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- titre
- Secure Interoperation in Heterogeneous Systems based on Colored Petri Nets
- auteur
- Hejiao Huang, Helene Kirchner
- article
- 2009
- Accès au texte intégral et bibtex
-
- titre
- Modular Security Policy Design based on Extended Petri Nets
- auteur
- Hejiao Huang, Helene Kirchner
- article
- 2009
- Accès au texte intégral et bibtex
-
2008
Journal articles
- titre
- 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.
- auteur
- Hélène Kirchner, Claude Kirchner, Isabelle de Lamberterie
- article
- Les Cahiers de l'INRIA - La Recherche, 2008, Les nouveaux défis de la cryptologie, 420 juin 2008
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- A Higher-Order Graph Calculus for Autonomic Computing
- auteur
- Oana Andrei, Hélène Kirchner
- article
- Graph Theory, Computational Intelligence and Thought. A Conference Celebrating Martin Charles Golumbic's 60th Birthday, Sep 2008, Haifa, Israel
- Accès au texte intégral et bibtex
-
- titre
- A Biochemical Calculus Based on Strategic Graph Rewriting
- auteur
- Oana Andrei, Hélène Kirchner
- article
- The Third International Conference on Algebraic Biology - AB'08, Jul 2008, Hagenberg, Austria
- Accès au texte intégral et bibtex
-
- titre
- Analysis of Rewrite-Based Access Control Policies
- auteur
- Anderson Santana de Oliveira, Claude Kirchner, Hélène Kirchner
- article
- 3rd International Workshop on Security and Rewriting Techniques, Jun 2008, Pittsburgh, United States
- Accès au bibtex
-
- titre
- Strategic Port Graph Rewriting for Autonomic Computing
- auteur
- Oana Andrei, Hélène Kirchner
- article
- The Fourth Taiwanese-French Conference on Information Technology - TFIT'08, Mar 2008, Taipei, Taiwan
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Strategic Computation and Deduction
- auteur
- Claude Kirchner, Florent Kirchner, Helene Kirchner
- article
- 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
- Accès au texte intégral et bibtex
-
Reports
- titre
- Combination of Convex Theories: Modularity, Deduction Completeness, and Explanation
- auteur
- Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner
- article
- [Research Report] RR-6688, INRIA. 2008, pp.34
- Accès au texte intégral et bibtex
-
2007
Journal articles
- titre
- Handling Inheritance Violation for Secure Interoperation of Heterogeneous Systems
- auteur
- Hejiao Huang, Helene Kirchner, Songyun Liu, Weili Wu
- article
- International Journal of Security and Networks, 2007, 4 (4), pp.223-233
- Accès au bibtex
-
Conference papers
- titre
- Weaving Rewrite-Based Access Control Policies
- auteur
- Anderson Santana de Oliveira, Eric Ke Wang, Claude Kirchner, Hélène Kirchner
- article
- The 5th ACM Workshop on Formal Methods in Security Engineering - FMSE 2007, ACM, Nov 2007, Alexandria, United States
- Accès au bibtex
-
- titre
- Graph Rewriting and Strategies for Modeling Biochemical Networks
- auteur
- Oana Andrei, Hélène Kirchner
- article
- International Workshop on Natural Computing and Applications - NCA 2007, Sep 2007, Timisoara, Romania
- Accès au texte intégral et bibtex
-
- titre
- Modular Access Control via Strategic Rewriting
- auteur
- Daniel J. Dougherty, Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
- article
- 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⟩
- Accès au bibtex
-
- titre
- Inductive Proof Search Modulo
- auteur
- Fabrice Nahon, Claude Kirchner, Hélène Kirchner
- article
- 6th International Workshop on First-Order Theorem Proving - FTP 2007, Sep 2007, Liverpool, United Kingdom. pp.4-19
- Accès au texte intégral et bibtex
-
- titre
- A Rewriting Calculus for Multigraphs with Ports
- auteur
- Oana Andrei, Hélène Kirchner
- article
- The Eighth International Workshop on Rule-Based Programming (RULE 2007), Jun 2007, Paris, France. pp.20
- Accès au texte intégral et bibtex
-
- titre
- Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- Rewriting, Computation and Proof - Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday, Jun 2007, Paris, France. pp.44-67
- Accès au bibtex
-
2006
Conference papers
- titre
- Automatic Combinability of Rewriting-Based Satisfiability Procedures
- auteur
- Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
- article
- 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning - LPAR 2006, Nov 2006, Phnom Penh/Cambodia, pp.542--556, ⟨10.1007/11916277⟩
- Accès au bibtex
-
- titre
- Computing Constructor Forms with Non Terminating Rewrite Programs
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- Symposium on Principles and Practice of Declarative Programming - PPDP'06, Jul 2006, Venise/Italie
- Accès au texte intégral et bibtex
-
- titre
- Non-intrusive formal methods and strategic rewriting for a chemical application
- auteur
- Oana Andrei, Liliana Ibanescu, Hélène Kirchner
- article
- Algebra, Meaning, and Computation: A Festschrift Symposium in Honor of Joseph Goguen, Jun 2006, San Diego, USA, pp.194-215, ⟨10.1007/11780274⟩
- Accès au texte intégral et bibtex
-
- titre
- Building and Combining Satisfiability Procedures for Software Verification
- auteur
- Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
- article
- Third Taiwanese-French Conference on Information Technology (TFIT), Mar 2006, Nancy, France, pp.125--139
- Accès au bibtex
-
Reports
- titre
- Computing Constructor Forms with Non Terminating Rewrite Programs - Extended version
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- [Research Report] 2006, pp.17
- Accès au texte intégral et bibtex
-
- titre
- Termination of rewriting under strategies: a generic approach
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- [Research Report] 2006
- Accès au texte intégral et bibtex
-
2005
Conference papers
- titre
- On Superposition-Based Satisfiability Procedures and their Combination
- auteur
- Hélène Kirchner, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran
- article
- 2nd International Colloquium on Theoretical Aspects of Computing - ICTAC'05, Oct 2005, Hanoi/Vietnam, pp.594--608, ⟨10.1007/11560647⟩
- Accès au bibtex
-
- titre
- Termination of rewriting strategies: a generic approach
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- Proceedings of the third Workshop on Applied Semantics APPSEM'05, APPSEM II & Ludwig Maximilians Universität München, Sep 2005, Chiemsee, Germany
- Accès au texte intégral et bibtex
-
- titre
- From Chemical Rules to Term Rewriting
- auteur
- Olivier Bournez, Liliana Ibanescu, Hélène Kirchner
- article
- 6th International Workshop on Rule-Based - RULE'05, Apr 2005, Nara/Japan
- Accès au bibtex
-
- titre
- Anchoring modularity in HTML.
- auteur
- Claude Kirchner, Hélène Kirchner, Anderson Santana de Oliveira
- article
- 1st International Workshop on Automated Specification and Verification of Web Sites - WWV'05, Mar 2005, Valencia/Spain, pp.139-151
- Accès au texte intégral et bibtex
-
Reports
- titre
- Termination of rewriting strategies: a generic approach
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- [Research Report] 2005, pp.49
- Accès au bibtex
-
2004
Conference papers
- titre
- A proof of weak termination providing the right way to terminate
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- First International Colloquium on Theoretical Aspects of Computing, 2004, Guiyang, Chine, France. 15 p, ⟨10.1007/978-3-540-31862-0⟩
- Accès au texte intégral et bibtex
-
- titre
- Rule-based programming and proving: the ELAN experience outcomes
- auteur
- Claude Kirchner, Hélène Kirchner
- article
- Ninth Asian Computing Science Conference - ASIAN'04, 2004, Chiang Mai, Thailand, 17 p
- Accès au texte intégral et bibtex
-
Reports
- titre
- Proving weak termination also provides the right way to terminate - Extended version
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- [Intern report] A04-R-522 || fissore04b, 2004, 54 p
- Accès au texte intégral et bibtex
-
2003
Journal articles
- titre
- Outermost ground termination
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- Electronic Notes in Theoretical Computer Science, 2003, 71, 20 p
- Accès au bibtex
-
Conference papers
- titre
- Simplification and Termination of Strategies in Rule-Based Languages
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- Proceedings of the Fifth International Conference on Principles and Practice of Declarative Programming - PPDP'2003, Aug 2003, Uppsala, Sweden, pp.124-135
- Accès au bibtex
-
- titre
- Proof Search and Proof Check for Equational and Inductive Theorems
- auteur
- Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen
- article
- Conference on Automated Deduction - CADE-19, Jul 2003, Miami (FL), United States. 20 p, ⟨10.1007/978-3-540-45085-6_26⟩
- Accès au texte intégral et bibtex
-
- titre
- Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
- auteur
- Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu
- article
- International Conference on Computational Science - ICCS 2003, Jun 2003, Melbourne, Australie, pp.367-376
- Accès au bibtex
-
- titre
- A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
- auteur
- Olivier Bournez, Guy-Marie Côme, Valérie Conraud, Hélène Kirchner, Liliana Ibanescu
- article
- 14th International Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.30-45
- Accès au bibtex
-
- titre
- CARIBOO: A Multi-Strategy Termination Proof Tool Based on Induction
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- 6th International Workshop on Termination 2003 - WST'03, Albert Rubio, 2003, Valencia, Spain, pp.77-79
- Accès au texte intégral et bibtex
-
- titre
- The QSL platform at LORIA
- auteur
- Mohamed El Habib, Claude Kirchner, Hélène Kirchner, Jean-Yves Marion, Stephan Merz
- article
- First QPQ Workshop on Deductive Software Components, 2003, Miami, Floride, 3 p
- Accès au texte intégral et bibtex
-
Reports
- titre
- Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 5
- auteur
- Liliana Ibanescu, Hélène Kirchner, Olivier Bournez, Guy-Marie Côme, Gérard Scacchi, Valérie Conraud
- article
- [Contrat] A03-R-541 || ibanescu03b, 2003, 42 p
- Accès au bibtex
-
- titre
- Proving weak termination also provides the right way to terminate
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- [Intern report] A03-R-413 || fissore03d, 2003, 23 p
- Accès au bibtex
-
- titre
- Proving weak termination also provides the right way to terminate - extended version
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- [Intern report] A03-R-361 || fissore03c, 2003, 34 p
- Accès au texte intégral et bibtex
-
- titre
- Innermost sufficient completeness
- auteur
- Isabelle Gnaedig, Hélène Kirchner
- article
- [Intern report] A03-R-131 || gnaedig03a, 2003, 22 p
- Accès au bibtex
-
- titre
- Termination of ELAN strategies by simplification - Extended version
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- [Intern report] A03-R-360 || fissore03b, 2003, 47 p
- Accès au texte intégral et bibtex
-
- titre
- Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 4
- auteur
- Liliana Ibanescu, Olivier Bournez, Hélène Kirchner, Guy-Marie Côme, Gérard Scacchi, Valérie Conraud
- article
- [Contrat] A03-R-540 || ibanescu03a, 2003, 20 p
- Accès au bibtex
-
2002
Journal articles
- titre
- ELAN from a rewriting logic point of view
- auteur
- Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
- article
- Theoretical Computer Science, 2002, 285 (2), pp.155-185. ⟨10.1016/S0304-3975(01)00358-9⟩
- Accès au bibtex
-
- titre
- External rewriting for skeptical proof assistants
- auteur
- Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner
- article
- Journal of Automated Reasoning, 2002, 29 (3-4), pp.309-336
- Accès au bibtex
-
- titre
- CASL: The Common Algebraic Specification Language
- auteur
- Egidio Astesiano, Michel Bidoit, Hélène Kirchner, Bernd Krieg-Brückner, Peter D. Mosses, Donald Sannella, Andrzej Tarlecki
- article
- Theoretical Computer Science, 2002, 286 (2), pp.153-196. ⟨10.1016/S0304-3975(01)00368-1⟩
- Accès au bibtex
-
Conference papers
- titre
- CARIBOO: An Induction Based Proof Tool for Termination with Strategies
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- Fourth International Conference on Principles and Practice of Declarative Programming - PPDP'02, Oct 2002, Pittsburgh, USA, 12 p
- Accès au texte intégral et bibtex
-
- titre
- An algebraic semantics for objects in a rule-based language
- auteur
- Hubert Dubois, Hélène Kirchner
- article
- 16th International Workshop on Algebraic Development Techniques - WADT'2002, Sep 2002, Frauenchiemsee, Germany, 3 p
- Accès au texte intégral et bibtex
-
- titre
- Algebraic Methodology And Software Technology
- auteur
- Hélène Kirchner, Christophe Ringeissen
- article
- 9th International Conference on Algebraic Methodology And Software Technology - AMAST'2002, Sep 2002, Saint-Gilles-les-Bains, Reunion Island, France, XI-501 p
- Accès au bibtex
-
- titre
- Object Programming in a Rule-Based Language with Strategies
- auteur
- Hubert Dubois, Hélène Kirchner
- article
- Workshop on Multiparadigm Programming with OO Languages - ECOOP'02, Jun 2002, Malaga, Spain, 25 p
- Accès au texte intégral et bibtex
-
- titre
- Outermost ground termination
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- 4th International Workshop on Rewriting Logic and its Applications - WRLA' 02, 2002, Pisa, Italy, 16 p
- Accès au bibtex
-
Reports
- titre
- Outermost ground termination - Extended version
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- [Intern report] A02-R-493 || fissore02d, 2002, 38 p
- Accès au bibtex
-
- titre
- External rewriting for skeptical proof assistants (extended version)
- auteur
- Quang-Huy Nguyen, Claude Kirchner, Hélène Kirchner
- article
- [Intern report] A02-R-099 || nguyen02a, 2002, 45 p
- Accès au bibtex
-
- titre
- Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 2
- auteur
- Liliana Ibanescu, Olivier Bournez, Hélène Kirchner, Guy-Marie Côme, Valérie Conraud
- article
- [Contrat] A02-R-559 || ibanescu02a, 2002, 26 p
- Accès au bibtex
-
- titre
- CARIBOO: An Induction Based Proof Tool for Termination with Strategies -- Extended version
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- [Intern report] A02-R-077 || fissore02b, 2002
- Accès au texte intégral et bibtex
-
- titre
- Induction for weak termination
- auteur
- Isabelle Gnaedig, Olivier Fissore, Hélène Kirchner
- article
- [Intern report] A02-R-111 || gnaedig02a, 2002, 23 p
- Accès au bibtex
-
- titre
- Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 3
- auteur
- Liliana Ibanescu, Olivier Bournez, Hélène Kirchner, Guy-Marie Côme, Gérard Scacchi, Valérie Conraud
- article
- [Contrat] A02-R-560 || ibanescu02b, 2002, 26 p
- Accès au bibtex
-
2001
Journal articles
- titre
- Induction for termination with local strategies
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- Electronic Notes in Theoretical Computer Science, 2001, 58 (2), pp.155-188. ⟨10.1016/S1571-0661(04)00284-1⟩
- Accès au bibtex
-
- titre
- Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories
- auteur
- Hélène Kirchner, Pierre-Etienne Moreau
- article
- Journal of Functional Programming, 2001, 11 (3), pp.207-251
- Accès au bibtex
-
- titre
- Rewriting with strategies in ELAN: a functional semantics
- auteur
- Peter Borovansky, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen
- article
- International Journal of Foundations of Computer Science, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
- Accès au texte intégral et bibtex
-
- titre
- Algebraic Specifications, Higher-order Types and Set-theoretic Models
- auteur
- Hélène Kirchner, Peter D. Mosses
- article
- Journal of Logic and Computation, 2001, 11 (3), pp.453-481
- Accès au bibtex
-
Conference papers
- titre
- Prototyping and verfication with rules and strategies
- auteur
- Hélène Kirchner
- article
- Cyber Assist International Symposium, 2001, Tokyo, Japan
- Accès au bibtex
-
Reports
- titre
- Induction for termination with local strategies - Extended version
- auteur
- Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner
- article
- [Intern report] A01-R-177 || fissore01b, 2001, 29 p
- Accès au texte intégral et bibtex
-
- titre
- Induction for innermost and outermost ground termination
- auteur
- Isabelle Gnaedig, Hélène Kirchner, Olivier Fissore
- article
- [Intern report] A01-R-178 || gnaedig01a, 2001, 38 p
- Accès au bibtex
-
- titre
- Projet GasEl. Elaboration d'un logiciel de génération de mécanismes détaillés d'oxydation et de combustion de molécules d'hydrocarbures. Rapport No 1
- auteur
- Liliana Ibanescu, Olivier Bournez, Hélène Kirchner, Guy-Marie Côme, Valérie Conraud
- article
- [Contrat] A01-R-457 || ibanescu01a, 2001, 32 p
- Accès au bibtex
-
2000
Journal articles
- titre
- Combining assisted and automated deduction
- auteur
- Hélène Kirchner
- article
- Annals of Mathematics and Artificial Intelligence, 2000, 28 (1-4), pp.21-26. ⟨10.1023/A:1018987702427⟩
- Accès au bibtex
-
Conference papers
- titre
- Algebraic Specifications, Higher-Order Types and Set-Theoretic Models
- auteur
- Hélène Kirchner
- article
- Winter Workshop in Logics, Types & Rewriting 2000, Feb 2000, Edinburgh, United Kingdom
- Accès au bibtex
-
- titre
- Frontiers of Combining Systems
- auteur
- Hélène Kirchner, Christophe Ringeissen
- article
- Third International Workshop - FroCoS'2000, Hélène Kirchner, Christophe Ringeissen, 2000, Nancy, France, 290 p
- Accès au bibtex
-
- titre
- Objects, rules and strategies in ELAN
- auteur
- Hubert Dubois, Hélène Kirchner
- article
- 2nd AMAST Workshop on Algebraic Methods in Language Processing - AMILP'2000, 2000, Iowa City, Iowa, USA, 19 p
- Accès au texte intégral et bibtex
-
- titre
- Termination and normalisation under strategies--Proofs in ELAN
- auteur
- Hélène Kirchner, Isabelle Gnaedig
- article
- 3rd International Workshop on Rewriting Logic & Applications - WRLA'2000, 2000, Kanazawa, Japan, pp.93--115
- Accès au texte intégral et bibtex
-
Reports
- titre
- Induction for termination
- auteur
- Isabelle Gnaedig, Hélène Kirchner, Olivier Fissore
- article
- [Intern report] A00-R-357 || gnaedig00a, 2000, pp.22
- Accès au bibtex
-
- titre
- Rules, strategies and objects in ELAN
- auteur
- Hubert Dubois, Hélène Kirchner
- article
- [Intern report] A00-R-245 || dubois00c, 2000, 39 p
- Accès au texte intégral et bibtex
-
1999
Conference papers
- titre
- Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
- auteur
- Hélène Kirchner, Peter David Mosses
- article
- AMAST'98 - 7th International Conference on Algebraic Methodology & Software Technology, Jan 1999, Amazonia, Brazil. pp.373--388, ⟨10.1007/3-540-49253-4_27⟩
- Accès au bibtex
-
- titre
- ELAN
- auteur
- Hélène Kirchner
- article
- Journées Francophones de Programmation Logique et programmation par Contraintes - JFPLC'99, F.Fages, 1999, Lyon, France, pp.241--248
- Accès au bibtex
-
- titre
- Rule Based Programming with Constraints & Strategies
- auteur
- Hubert Dubois, Hélène Kirchner
- article
- Workshop of the ERCIM Working Group on Constraints, 1999, Paphos, Chypre, 13 p
- Accès au texte intégral et bibtex
-
Book sections
- titre
- Term Rewriting
- auteur
- Hélène Kirchner
- article
- Astesiano, E. & Kreowski, H.J. & Krieg-Brückner, B. Algebraic Foundations of Systems Specifications, Springer, pp.273--320, 1999, IFIP State-of-the-Art Reports
- Accès au bibtex
-
Books
- titre
- Algebraic System Specification and Developement:Survey and Annotated Bibliography
- auteur
- Maura Cerioli, Martin Gogolla, Hélène Kirchner, Bernd Krieg-Brückner, Zhenyu Qian, Markus Wolf
- article
- Shaker Verlag, 230 p, 1999, Monographs of the Bremen Institute of Safe Systems
- Accès au bibtex
-
Reports
- titre
- Executing CASL Equational Specifications with the ELAN Rewrite Engine
- auteur
- Hélène Kirchner, Christophe Ringeissen
- article
- [Intern report] 99-R-278 || kirchner99e, 1999, 15 p
- Accès au bibtex
-
- titre
- Induction for Termination
- auteur
- Isabelle Gnaedig, Hélène Kirchner, Thomas Genet
- article
- [Intern report] 99-R-338 || gnaedig99a, 1999, pp.21
- Accès au bibtex
-
- titre
- ELAN from the rewriting logic point of view
- auteur
- Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau
- article
- [Intern report] 99-R-284 || borovansky99b, 1999, 39 p
- Accès au texte intégral et bibtex
-
- titre
- Modelling Planning Problems with Rules & Strategies
- auteur
- Hubert Dubois, Hélène Kirchner
- article
- [Intern report] 99-R-029 || dubois99a, 1999, 16 p
- Accès au texte intégral et bibtex
-
1998
Journal articles
- titre
- Dynamically-Typed Computations for Order-Sorted Equational Presentations
- auteur
- Claus Hintermeier, Claude Kirchner, Hélène Kirchner
- article
- Journal of Symbolic Computation, 1998, 25 (4), pp.455-526
- Accès au bibtex
-
Conference papers
- titre
- Non-deterministic computations in ELAN
- auteur
- Hélène Kirchner, Pierre-Etienne Moreau
- article
- Recent Developments in Algebraic Development Techniques. 13th International Workshop - WADT'98, Jose Luiz Fiadeiro, 1998, Lisbone, 15 p
- Accès au bibtex
-
- titre
- An Overview of ELAN
- auteur
- Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen
- article
- Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p
- Accès au bibtex
-
- titre
- Rewriting as a Unified Specification Tool for Logic and Control: The ELAN Language
- auteur
- Peter Borovansky, Claude Kirchner, Hélène Kirchner
- article
- Second International Workshop on the Theory and Practice of Algebraic Specifications, 1998, Amsterdam, N.L., 10 p
- Accès au bibtex
-
- titre
- Actions & Plans in ELAN
- auteur
- Hubert Dubois, Hélène Kirchner
- article
- Proceedings of the Workshop on Strategies in Automated Deduction - CADE-15, B. GRAMLICH & F. PFENNING, 1998, Lindau, Germany, pp.35-45
- Accès au texte intégral et bibtex
-
- titre
- A Compiler for Rewrite Programs in Associative-Commutative Theories
- auteur
- Pierre-Etienne Moreau, Hélène Kirchner
- article
- ALP/PLILP: Principles of Declarative Programming, Palamidessi, C. & Glaser, H. & Meinke, K., 1998, Pisa, Italy, pp.230-249
- Accès au bibtex
-
- titre
- A functional view of rewriting and strategies for a semantics of ELAN
- auteur
- Peter Borovansky, Claude Kirchner, Hélène Kirchner
- article
- The Third Fuji International Symposium on Functional and Logic Programming, 1998, Kyoto (Japan), pp.143-167
- Accès au bibtex
-
Book sections
- titre
- Orderings in Automated Theorem Proving
- auteur
- Hélène Kirchner
- article
- Hoffman, Frederick. Mathematical Aspects of Artificial Intelligence, American Mathematical Society, pp.55-95, 1998, Proceedings of Symposia in Applied Mathematics
- Accès au bibtex
-
Books
- titre
- Trees in Algebra and Programming
- auteur
- Hélène Kirchner
- article
- Elsevier, 1 (1), 1998, Theoretical Computer Science: Logic, semantics and theory of programming
- Accès au bibtex
-
- titre
- Automated Deduction - CADE-15
- auteur
- Claude Kirchner, Hélène Kirchner
- article
- Kirchner, Claude and Kirchner, Hélène. Springer Verlag, 1998, Lecture Notes in Artificial Intelligence
- Accès au bibtex
-
1994
Reports
- titre
- Dynamically-typed computations for order-sorted equational presentations
- auteur
- Claus Hintermeier, Hélène Kirchner, Claude Kirchner
- article
- [Research Report] RR-2208, INRIA. 1994, pp.114
- Accès au texte intégral et bibtex
-
1991
Reports
- titre
- Proofs in parameterized specifications
- auteur
- Hélène Kirchner, Claude Kirchner
- article
- [Research Report] RR-1424, INRIA. 1991
- Accès au texte intégral et bibtex
-
1990
Reports
- titre
- Deduction with symbolic constraints
- auteur
- Claude Kirchner, Hélène Kirchner, Michaël Rusinowitch
- article
- [Research Report] RR-1358, INRIA. 1990, pp.46
- Accès au texte intégral et bibtex
-
1987
Reports
- titre
- Shematization of infinite sets of rewrite rules. Applications to the divergence of completion processes
- auteur
- Hélène Kirchner
- article
- [Research Report] RR-0680, INRIA. 1987
- Accès au texte intégral et bibtex
-