Algorithmes  Algèbre partielle  Algèbre triée d'Ordre  Algèbre universelle  Aléatoire  Analyse diophantienne  Annotations sémantiques  Anti-filtrage  Anti-pattern  Architecture des ordinateurs  Architecture distribuée  Associativité  Automatique théorique  B  Biorthogonalité  Bureautique  Cadre logique  Calcul des séquents  Candidats de réductibilité  Cayley, Algèbres de  Certification  Chemin disjoint  Choix aléatoires  Choix non-déterministes  Commutativité  Compilation  Compilation  Complement  Complétion  Confiance  Confluence  Congruences et résidus  Constraint  Contacts métal-semiconducteur  Contrainte  Contraintes  Contraintes  Contraintes de type  Coopération  Coq  Decision making  Deductibility  Diodes à barrière de Schottky  Disjonction  Décomposition  Déductibilité  Déduction  Déduction  Déduction automatique  Déduction modulo  Déduction naturelle  Elan  Ensembles saturés  Equation  Equation resolution  Extension conservative  Filtrage  Filtrage algébrique  Filtrage de motifs  Filtrage modulo  Filtres  Filtres  Fonction partielle  Fonctions récursives -- Informatique  Formal language  Gestion  Graphe Cayley  Graphes, Théorie des  IEEE 802.11  Identity  Identité  Implementation  Implémentation  Induction  Infographie  Informatique  Isomorphismes  Lambda-calcul  Langage formel  Langage programmation  Langages de programmation -- Sémantique  Langages de programmation  Langages formels  Logic of equality  Logical programming  Logiciel  Logiciels -- Vérification  Logique combinatoire  Logique d'égalité  Luminance énergétique  Machine parallèle  Méthode B  Méthodes formelles  Negation  Non determinism  Non déterminisme  Normalisation  Normalisation forte  Optimalité  Optimisation combinatoire  Order-sorted algebra  Ordinateurs -- Accès -- Contrôle  Ordre supérieur  Ordre sur les démonstrations  Paires de dépendance  Parallélisme  Parallélisme  Partial algebra  Partial function  Passivité  Phosphure d'indium  Plasmas  Politiques de Sécurité  Prise décision  Production rule  Programmation logique  Programmation par contrainte  Programmation par contraintes  Programming language  Prémodèle  Radiance  Raisonnement automatique  Recherche opérationnelle  Reduction  Rewriting  Routage  Routage  Règle production  Règles de l'Atelier B  Récurrence noethérienne  Réduction  Réseau interconnexion  Résolution  Résolution de problème -- Logiciels  Résolution équation  Résolveur contrainte  Réécriture  Réécriture conditionnelle  Réécriture probabiliste  Réécriture, Systèmes de  Semantics  Semi-fonction  Semi-function  Software  Solveurs  Sous-typage  Sous-type  Stratégies  Stratégies de réécriture  Structures de données  Subtype  Superdéduction  Système formel  Systèmes  Systèmes de types  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Sémantique  Sémantique opérationnelle  Tailles  Termes  Terminaison  Terminaison en temps moyen fini  Terminaison presque sûre  Terminaison presque sûre positive  Théorie associative-commutative  Théorie de la démonstration  Théorie de la preuve  Théorie des types  Théorie graphe  Théorie syntaxique  Théorie équationnelle  Théorèmes -- Démonstration automatique  Typage  Types union  Unification  Unification modulo ac  Universal algebra  Vérification  analyse statique  langages embarqués  termes-graphes  transformation de programmes  Édition  Équation  Équation diophantienne  Équations diophantiennes  Équations, Théorie des  

Claude Kirchner a dirigé les 29 thèses suivantes :

Informatique
Soutenue le 23-03-2009
Thèse soutenue
Informatique
Soutenue le 26-10-2007
Thèse soutenue

Informatique
Soutenue en 2002
Thèse soutenue

Sciences appliquées
Soutenue en 1992
Thèse soutenue

Sciences appliquées
Soutenue en 1992
Thèse soutenue

Sciences appliquées
Soutenue en 1988
Thèse soutenue


Claude Kirchner a été rapporteur des 2 thèses suivantes :