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

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

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

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

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

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