Knowledge Tree

researcher / Hélène Kirchner

Hélène Kirchner

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Intégration de politiques de sécurité dans les systèmes ubiquitaires

Un calcul de réécriture de graphes : applications à la biologie et aux systèmes autonomes

Réécriture et modularité pour les politiques de sécurité

Conception de procédures de décision par combinaison et saturation

Programmation par règles et stratégies pour la génération automatique de mécanismes de combustion d'hydrocarbures polycycliques

Terminaison de la réécriture sous stratégies

Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve

Système de règles de production et calcul de réécriture

Compilation de règles de réécriture et de stratégies non-déterministes

Contraintes d'ordre et automates d'arbres pour les preuves de terminaison

Le contrôle de la réécriture : étude et implantation d'un formalisme de stratégies

Déduction avec sortes ordonnées et égalités

Combinaison de résolutions de contraintes