Hélène François < Hélène Kirchner < Hélène Malet

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

List of bibliographic references

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

Ident.	Authors (with country if any)	Title
000078 (2008-07-31)	Oana Andrei [France] ; Hélène Kirchner [France]	A Biochemical Calculus Based on Strategic Graph Rewriting
000118 (1998)	Pierre-Etienne Moreau [France] ; Hélène Kirchner [France]	A Compiler for Rewrite Programs in Associative-Commutative Theories
000255 (2008-09-19)	Oana Andrei [France] ; Hélène Kirchner [France]	A Higher-Order Graph Calculus for Autonomic Computing
000434 (2007-06-29)	Oana Andrei [France] ; Hélène Kirchner [France]	A Rewriting Calculus for Multigraphs with Ports
000445 (2003-06)	Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France]	A Rule-Based Approach for Automated Generation of Kinetic Chemical Mechanisms
000684 (1998)	Peter Borovansky [France] ; Claude Kirchner ; Hélène Kirchner	A functional view of rewriting and strategies for a semantics of ELAN
000839 (2004)	Olivier Fissore [France] ; Isabelle Gnaedig [France] ; Hélène Kirchner [France]	A proof of weak termination providing the right way to terminate
000A89 (1998)	Hubert Dubois [France] ; Hélène Kirchner [France]	Actions & Plans in ELAN
000B86 (2002-09)	Hélène Kirchner [France] ; Christophe Ringeissen [France]	Algebraic Methodology And Software Technology
000B88 (2000-02)	Hélène Kirchner [France]	Algebraic Specifications, Higher-Order Types and Set-Theoretic Models
000B89 (1999-01)	Hélène Kirchner [France] ; Peter D. Mosses	Algebraic Specifications, Higher-Order Types, and Set-Theoretic Models
000B90 (2001)	Hélène Kirchner [France] ; Peter D. Mosses	Algebraic Specifications, Higher-order Types and Set-theoretic Models
000B91 (1999)	Maura Cerioli ; Martin Gogolla ; Hélène Kirchner [France] ; Bernd Krieg-Brückner ; Zhenyu Qian ; Markus Wolf	Algebraic System Specification and Developement:Survey and Annotated Bibliography
000D40 (1998)	Peter Borovansky [France] ; Claude Kirchner [France] ; Hélène Kirchner [France] ; Pierre-Etienne Moreau [France] ; Christophe Ringeissen [France]	An Overview of ELAN
000D57 (2002-09)	Hubert Dubois [France] ; Hélène Kirchner [France]	An algebraic semantics for objects in a rule-based language
000E54 (2008-06-22)	Anderson Santana De Oliveira [France] ; Claude Kirchner [France] ; Hélène Kirchner [France]	Analysis of Rewrite-Based Access Control Policies
000E89 (2005-03-14)	Claude Kirchner [France] ; Hélène Kirchner [France] ; Anderson Santana De Oliveira [France]	Anchoring modularity in HTML.
001057 (1998)	Claude Kirchner [France] ; Hélène Kirchner	Automated Deduction - CADE-15
001065 (2003-06)	Olivier Bournez [France] ; Guy-Marie Côme [France] ; Valérie Conraud [France] ; Hélène Kirchner [France] ; Mariana-Liliana Ibanescu [France]	Automated Generation of Kinetic Chemical Mechanisms Using Rewriting
001100 (2006-11)	Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France]	Automatic Combinability of Rewriting-Based Satisfiability Procedures
001331 (2006-03)	Hélène Kirchner [France] ; Silvio Ranise [France] ; Christophe Ringeissen [France] ; Duc-Khanh Tran [France]	Building and Combining Satisfiability Procedures for Software Verification

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

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

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

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |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