Kirchner, Hélène.
Kirchner, Hélène, 1952-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Kirchner, H. (Hélène)
Kirchner, Hélène, wiskunde
Hélène Kirchner chercheur
VIAF ID: 27156885 (Personal)
Permalink: http://viaf.org/viaf/27156885
Preferred Forms
-
100 0 _
‡a
Hélène Kirchner
‡c
chercheur
-
200 _ |
‡a
Kirchner
‡b
Hélène
‡f
1952-....
-
100 1 _ ‡a Kirchner, H. ‡q (Hélène)
-
100 1 _ ‡a Kirchner, H. ‡q (Hélène)
-
100 1 0
‡a
Kirchner, H.
‡q
(Hélène)
-
100 1 _ ‡a Kirchner, H. ‡q (Hélène)
-
100 1 _
‡a
Kirchner, Hélène
‡d
1952-
-
100 1 _ ‡a Kirchner, Hélène, ‡c wiskunde
-
100 1 _
‡a
Kirchner, Hélène,
‡d
1952-....
-
100 1 _ ‡a Kirchner, Hélène
-
100 1 _ ‡a Kirchner, Hélène
-
100 1 _
‡a
Kirchner, Hélène
-
100 1 _
‡a
Kirchner, Hélène
-
100 1 _ ‡a Kirchner, Hélène.
4xx's: Alternate Name Forms (10)
Works
| Title | Sources |
|---|---|
| Algebraic and logic programming... |
|
| Algebraic methodology and software technology : 9th international conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002 : proceedings |
|
| AMAST 2002 |
|
| Analyse de codes auto-modifiants pour la sécurité logicielle |
|
| Analyse de programmes malveillants par abstraction de comportements |
|
| Automated deduction - CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings |
|
| CAAP '96 |
|
| Combinaison de résolutions de contraintes |
|
| Combination of constraint solvers. |
|
| Contraintes d'ordre et automates d'arbres pour les preuves de terminaison |
|
| Controlling Rewriting : Study and Implementation of a Strategy Formalism. |
|
| Déduction avec sortes ordonnées et égalités |
|
| Deduction with symbolic constaints |
|
| Design of decision procedures by combination and saturation. |
|
| Embedding security policies into pervasive computing systems. |
|
| Frontiers of combining systems : third international workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings |
|
| Intégration de politiques de sécurité dans les systèmes ubiquitaires |
|
| Malware Analysis by Behavior Abstraction. |
|
| Order-sorted deduction with equalities. |
|
| Ordering constraints and tree automata for proving termination. |
|
| Preuves par complétion dans les variétés d'algèbres |
|
| Production Rule Systems and Rewriting calculus. |
|
| Proof by completion in algevra varieties. |
|
| Proof by induction in sequent calculus modulo. |
|
| Réécriture et modularité pour les politiques de sécurité |
|
| Rewriting and modularity for security policies. |
|
| Rewriting, computation and proof : essays dedicated to Jean-Pierre Jouannaud on the occasion of his 60th birthday |
|
| Rule-based programming and strategies for automated generation of detailed kinetic models for gas phase combustion of polycyclic hydrocarbon molecules. |
|
| Self-modifying code analysis for software security. |
|
| Shematization of infinite sets of rewrite rules : applications to the divergence of completion processes |
|
| Study of the k-bounded term rewriting strategy. |
|
| Système de règles de production et calcul de réécriture |
|
| Terminaison de la réécriture sous stratégies |
|
| Trees in algebra and programming - CAAP'96 : 21st international colloquium, Linköping, Sweden, April 22-24, 1996 : proceedings |
|
| Vérification formelle de protocoles de routage sécurisés. |
|
| Where Social Networks, Graph Rewriting and Visualisation Meet : Application to Network Generation and Information Diffusion |
|
