Acteurs  Algorithmes  Algorithmes parallèles  Analyse de coût  Analyse statique  Applications mobiles  Apprentissage automatique  Architecture -- Informatique  Architecture Hiérarchique  Architecture de services  Architecture des réseaux d'ordinateurs  Architectures hiérarchiques, hybrides et hétérogènes  Architectures parallèles  Assistants de preuve  Automate  Automatique theorique  BSP  Benchmark  Biométrie  Bulk Synchronous Parallelism  Calcul de risque  Calcul intensif  Cell BE  Charge dynamique  Cluster hybride hétérogène de GPUs/CPUs  Communication  Communication Simplifiée  Compilation  Compilation  Composition  Concurrence  Cryptographie  Distribution  Distribution  Données -- Transmission  Données XML  Données massives  Débogage  Entrepot donnee  Entreprises -- Systèmes d'information  Equilibrage charge  Estimation de sélectivité  Expression régulière  Exécution multi-coeurs  Futurs  GPGPU  Génération automatique  Génération de code  Imagerie tridimensionnelle  Informatique  Informatique dans les nuages  Informatique en nuage  Ingénierie dirigée par les modèles  Interprétation abstraite  Langages de programmation fonctionnelle  Langages dédiés  Logiciels -- Vérification  MPI  Mathématiques financières  Mesures de sûreté  Meta-Langages  Microprocesseurs multi-coeurs  Mobile Cloud Computing  Model-checking  Modele bsp  Modularité  Modèle de Transition  Modèle de performance  Modèles de programmation  Modélisation tridimensionnelle  Monte-Carlo  Monte-Carlo, Méthode de  Méthodes formelles  Méthodes formelles  OSGi  OSGi  Objets actifs  OpenCL  OpenMP  Optimisation  Optimisation de requêtes  Option américaine  Orchestration  Ordinateurs -- Programmation  Outils et modèles de programmation parallèle haut niveau  Parallelisme  Parallélisme  Parallélisme  Parallélisme de donnée  Parallélisme de tache  Petri, Réseaux de  Politiques de sécurité  Poste à poste  Processus métiers  Programmation  Programmation Parallèle  Programmation par contraintes  Programmation parallèle  Programmation parallèle  Propriétés de sécurité  Protocoles  Protocoles Cryptographiques  Protocoles de réseaux d'ordinateurs  Prédiction de Performance  Requêtes XPath  Réalité virtuelle  Réalité virtuelle distribuée  Réputation  Réseaux de Petri colorés de haut niveau  Réseaux de neurones  Réseaux neuronaux  Réutilisation de processus  SOA  SPMD  Sciences de la Terre  Sciences et techniques  Services Web  Services mobiles  Servlets  Simulation  Streaming  Supervision et hypervision informatique  Synchronisation  Systeme gestion base donnee  Systemes  Systèmes d'exploitation  Systèmes d’exploitation temps réel  Systèmes virtuels  Sécurité des systèmes  Sécurité et vie privée  Sémantique  Sémantique de Langage  Sémantique opérationnelle  Temps réel  Traitement de flux  Transformation de programmes  Vérification  Vérification de modèles  Vérification d’OS AUTOSAR  Vérification formelle  XML  XPath  Évaluation du risque  

Gaétan Hains a dirigé les 8 thèses suivantes :


Gaétan Hains a été président de jury des 2 thèses suivantes :

Informatique temps réel, robotique et automatique
Soutenue le 26-11-2018
Thèse soutenue

Gaétan Hains a été rapporteur des 2 thèses suivantes :


Gaétan Hains a été membre de jury des 9 thèses suivantes :

Automatique, productique et robotique
Soutenue le 30-11-2022
Thèse soutenue
Informatique
Soutenue le 28-06-2019
Thèse soutenue