ARN  Abstraction de données  Adaptativité en temps  Agents mobiles  Algorithme  Algorithme distribué  Algorithmes  Algorithmes distribués  Algorithmes probabilistes  Algorithmes répartis  Algorithmique répartie  Allocation de ressources locale  Analyse asymptomatique  Appareils électroniques élémentaires  Applications MPI  Apprentissage  Apprentissage automatique  Apprentissage en-ligne  Apprentissage statistique  Approximation  Architectures parallèles  Asynchrone  Authentification d’utilisateurs  Auto-stabilisant  Auto-stabilisation  Auto-stabilisation robuste  Automates  Autostabilisation  Axiomatique  Axiomatisation  Caching  Calcul haute performance  Calcul intensif  Checkpointing  Classe de complexité probabiliste  Collecte de données  Combinatoire énumérative  Commande automatique  Communication basique  Complexité  Complexité de calcul  Confidentialité  Connaissance des clusters voisins  Connectivité  Consensus  Consommation d'énergie  Consommation d’énergie  Contrôle des interférences  Courrier poubelle  Dataflow  Disponibilité du service minimum  Distribution  Données -- Transmission  Débogage  Décentralisé  Détection de changement séquentiel  Détection de défaut  Enregistrement de messages  Erreurs transitoires  Etat fini  Extension  FPT  Fonctions génératrices  Framac  Gestion des pannes  Gestion des ressources réseau  Grammaires hors-contexte pondérées  Graphe  Graphe de dépendance des tâches  Graphes,  Graphes, Théorie des  Génome  Hypergraphes  Intelligence artificielle  Intégrités  Invariants de données  Jeux Arthur-Merlin  Langage rationnel  Langages formels  Logiciels  Logique  Logique ordre  Machines séquentielles, Théorie des  Mariage Stable  Mobilité  Modèle de bips  Modèle de programmation des tâches parallèles  Modèles de séquences aléatoires  Modélisation  Mpich-v  Méthodes formelles  Méthodes formelles  Optimisation de code  Oracles  Parallélisme  Partitionnement  Perception des images  Points de reprise  Poste à poste  Preuve de programmes  Preuves modulaires  Probabilités  Procédure de décision  Programmation parallèle  Programmation semi-Définie sous contraintes en probabilités  Programmation stochastique  Programmes avec pointeurs  Propriété stable  Protocoles de population  Protocoles hiérarchiques  Prédiction  Prévision collaborative  Prévision, Théorie de la  Radiotéléphonie  Raffinement  Reconnaissance forme  Remote Procedure Call  Ressources dédiées  Réplication  Réseau anonyme  Réseau neural  Réseaux LTE-A  Réseaux ad hoc  Réseaux anonymes  Réseaux corporels sans fils  Réseaux d'ordinateurs  Réseaux de capteurs  Réseaux de capteurs  Réseaux de capteurs corporels  Réseaux de capteurs mobiles  Réseaux mobiles  Réseaux sans fil  Semi-supervisé de détection de changement  Solutions de Sécurité Légers  Solveur SMT  Solveurs  Sommet-coloré  Source semi-aléatoire  Spécifications algébriques  Structure de l'ARN  Suites aléatoires  Suivi d'objets couleur  Surveillance de bout-en-bout  Synchronisation  Système 2-consécutif  Système informatique  Système réparti  Systèmes Distribués  Systèmes concurrents  Systèmes d'exploitation répartis  Systèmes de grandes dimensions  Systèmes distribués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes à paramètres répartis  Sémantique algébrique  Séquence quasi-aléatoire  Séquentiel matrice factorisation  Théorie  Théorie des graphes  Théorie des jeux  Tolérance aux défaillances  Tolérance aux fautes  Tolérance aux fautes  Tolérance aux pannes  Traitement réparti  Transcendance  Transports et communications  Types de données  Vision par ordinateur  Visualisation  Volatilité  Vérification déductive  Webspam  Élection  Élection de leader  Émulation  Énumération  État global  

Joffroy Beauquier dirige actuellement les 2 thèses suivantes :

Informatique
En préparation depuis le 01-10-2016
Thèse en préparation

Soutenance prévue le 27-09-2019
Informatique
En préparation depuis le 01-10-2015
Thèse en préparation


Joffroy Beauquier a dirigé les 20 thèses suivantes :

Informatique
Soutenue le 15-12-2017
Thèse soutenue

Informatique
Soutenue en 2002
Thèse soutenue

Sciences et techniques
Soutenue en 2000
Thèse soutenue

Sciences et techniques
Soutenue en 2000
Thèse soutenue

Sciences et techniques
Soutenue en 2000
Thèse soutenue

Sciences appliquées
Soutenue en 1998
Thèse soutenue

Sciences appliquées
Soutenue en 1990
Thèse soutenue

Mathématiques
Soutenue en 1988
Thèse soutenue


Joffroy Beauquier a été président de jury des 13 thèses suivantes :

Informatique
Soutenue le 08-12-2014
Thèse soutenue

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

Mathématiques
Soutenue en 1985
Thèse soutenue


Joffroy Beauquier a été rapporteur de la thèse suivante :


Joffroy Beauquier a été membre de jury des 2 thèses suivantes :