Hélène Haug < Hélène Kirchner < Hélène Ogier

Facettes : Author.f AffOrg.f AffPays.f AffRegion.f AffVille.f Teeft.f

List of bibliographic references

Number of relevant bibliographic references: 43.
[0-20] [0 - 20][0 - 43][20-40]

Ident.	Authors (with country if any)	Title
000157 (2013)	Claude Kirchner [France] ; Hélène Kirchner [France] ; Fabrice Nahon [France]	Narrowing Based Inductive Proof Search
000423 (2012)	Tony Bourdier [France] ; Horatiu Cirstea [France] ; Mathieu Jaume [France] ; Hélène Kirchner [France]	Formal Specification and Validation of Security Policies
000A49 (2009)	Fabrice Nahon [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Paul Brauner [France]	Inductive proof search modulo
000B40 (2009)	Oana Andrei [France] ; Hélène Kirchner [France]	A Higher-Order Graph Calculus for Autonomic Computing
001005 (2007)	Isabelle Gnaedig ; Hélène Kirchner	Narrowing, Abstraction and Constraints for Proving Properties of Reduction Relations
001010 (2007)	Daniel J. Dougherty ; Claude Kirchner ; Hélène Kirchner ; Anderson Santana De Oliveira	Modular Access Control Via Strategic Rewriting
001284 (2006)	Oana Andrei [France] ; Liliana Ibanescu [France] ; Hélène Kirchner [France]	Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
001381 (2006)	Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc-Khanh Tran	Automatic Combinability of Rewriting-Based Satisfiability Procedures
001537 (2005)	Hélène Kirchner ; Silvio Ranise ; Christophe Ringeissen ; Duc Khanh Tran	On Superposition-Based Satisfiability Procedures and Their Combination
001633 (2005)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	A Proof of Weak Termination Providing the Right Way to Terminate
001746 (2004)	Claude Kirchner [France] ; Hélène Kirchner [France]	Rule-Based Programming and Proving: The ELAN Experience Outcomes
001998 (2003)	Eric Deplagne ; Claude Kirchner ; Hélène Kirchner [France] ; Quang Huy Nguyen	Proof Search and Proof Check for Equational and Inductive Theorems
001A83 (2003)	Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France]	Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
001B05 (2003)	Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Liliana Ib Nescu [France]	A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
001C40 (2002)	Quang Huy Nguyen ; Claude Kirchner ; Hélène Kirchner	External Rewriting for Skeptical Proof Assistants
001D21 (2001)	Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]	Promoting rewriting to a programming language: a compiler for non-deterministic rewrite programs in associative-commutative theories
001D36 (2001)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	Induction for termination with local strategies
001F59 (2000)	Hélène Kirchner [France] ; Isabelle Gnaedig [France]	Termination and normalisation under strategy Proofs in ELAN
002004 (2000)	Peter Borovansk ; Claude Kirchner ; Hélène Kirchner ; Pierre-Etienne Moreau ; Marian Vittek	ELAN
002008 (2000)	Peter Borovansk [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Controlling Rewriting by Rewriting
002022 (2000)	Hélène Kirchner [France] ; Pierre-Etienne Moreau [France]	A reflective extension of ELAN

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Author.i -k "Hélène Kirchner" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/Author.i  \
                -Sk "Hélène Kirchner" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd 

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Istex
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Hélène Kirchner
}}

---

This area was generated with Dilib version V0.6.33. Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022