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  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é  Sûreté  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 :