Analyse combinatoire énumérative  Analyse des données  Analyse fractale  Arithmétique en virgule flottante  Automates cellulaires  Automates mathématiques, Théorie des  Base d’implications  Bases de données -- Interrogation  Bases de données  Bases d’implications  Bornes inférieures  Calculabilité  Catégories  Circuits arithmétiques  Cluster  Clé candidate  Complexité  Complexité algorithmique  Complexité algébrique  Complexité de calcul  Complexité descrptive  Comportement de service web  Composantes connexes  Composition de service web  Corps finis  Degrés Turing  Dominants minimaux  Dualisation dans les treillis  Décidabilité  Délai constant  Délai incrémental  Délai polynomial  Déterminant  Ensemble régulier  Exptime-complet  Extension maximale  Factorisation  Fonctions calculables  Formules de Horn  Grammaires algébriques  Grammaires conjonctives  Graphes  Graphes, Théorie des  Hausdorff, Mesures de  Hypergraphes  Induction  Information imparfaite  Jeux  Logiciels -- Vérification  Logique  Logique du premier ordre  Logique du second ordre existentiel  Logique mathématique  Lévy, Processus de  Machine BSS  Matroïdes  Meet-irréductibles  Modèle de Valiant  Modèle de calcul parallèle et local  Multifractales  Multiplicité  Multiplicité  Nulle-part dense  Ondelettes  Permanent  Problèmes de satisfaction de contraintes  Programmation logique  Relation binaire  Récursivité  Récursivité, Théorie de la  Réseaux de capteurs  Résilience  Service web  Services Web  Simulation des automates  Sous-Récursion  Stables maximaux  Synthèse distribuée  Système de fermeture  Systèmes polynomiaux  Temps-réel  Test d'identité polynomiale  Théorie de Valiant  Théorie des catégories  Théorie des ensembles  Théorie des jeux  Théorie d’ordre  Transversaux minimaux  Treillis  Treillis, Théorie des  Vérification  Énumeration  Énumération  Énumération algorithmique  

Arnaud Durand a rédigé la thèse suivante :


Arnaud Durand a dirigé les 3 thèses suivantes :

Mathématiques. Logique et fondements de l'informatique
Soutenue le 27-09-2018
Thèse soutenue
Mathématiques
Soutenue en 2010
Thèse soutenue


Arnaud Durand a été président de jury des 3 thèses suivantes :

Informatique
Soutenue le 06-12-2013
Thèse soutenue

Arnaud Durand a été rapporteur des 4 thèses suivantes :


Arnaud Durand a été membre de jury des 5 thèses suivantes :