Alg?bre  Analyse Static  Analyse statique  Arithmétique affine  Arithmétique en virgule flottante  Automates temporisés  Calcul de point fixe  Calculs de processus  Catégorie fondamentale  Catégories de composantes  Catégories dérivées  Catégories sans boucles  Catégorification  Code exécutable  Cohérence  Cohérence  Commutation, Théorie de la  Confidentialité différentielle  Congruences généralisées  Contraintes  Convergence de suites numériques  Domaine numérique abstrait  Ensembles invariants  Exploration  Fiabilit?  Fonction support  Groupoïde fondamental  Helmholtz, Équation d'  Homologie  Homotopie  Idéaux  Ing?nierie dirig?e par les mod?les  Ing?nierie dirig?e par les mod?les,IDM  Interprétation abstraite  Langages synchrones  Logiciels -- R?utilisation  Logiciels -- Vérification  Logique math?matique  Logique modale  Logiques ?pist?miques  Mesures de s?ret?  Modalit?  Méthodes de transformation  Méthodes formelles  Nombres à virgule flottante  Optimisation  Ordonnancement  Ordonnancement  Parallélisme  Parallélisme  Problème inverse de diffusion  Problèmes inverses  Programmation par contraintes  Programmes logico-numériques  Propriété de Wazewski  Précision finie  Reconstruction de modèles  Réécriture de dimension supérieure  Réécriture linéaire  Réécriture, Systèmes de  S?ret?  Système de morphismes  Systèmes commutés  Systèmes continus  Systèmes dynamiques  Systèmes hybrides  Systèmes informatiques -- Mesures de sûreté  Systèmes à commutations  Sécurité  Th?orie d'ordre  Théorie de l'indice de Conley  Théorie de l'interprétation abstraite  Théorie du contrôle  Tomographie en océanographie  Topologie algébrique  Topologie algébrique dirigée  Transformation  Treillis, Th?orie des  Vraie concurrence  Vérification  Vérification de programmes  Yoneda inversible  Zonotopes  

Éric Goubault a rédigé la thèse suivante :

Sciences appliquées
Soutenue en 1995
Thèse soutenue


Éric Goubault a dirigé les 5 thèses suivantes :

Informatique
Soutenue le 02-12-2016
Thèse soutenue

Informatique théorique
Soutenue en 2005
Thèse soutenue

Éric Goubault a été président de jury des 3 thèses suivantes :


Éric Goubault a été rapporteur des 3 thèses suivantes :


Éric Goubault a été membre de jury des 3 thèses suivantes :