Agents mobiles  Agents mobiles  Algorithme distribué  Algorithmes  Algorithmes Distribués  Algorithmes distribués  Algorithmes parallèles  Algorithmique distribuée  Allemagne  Analyse de complexité  Analyse de réseau  Approche "correct-par-construction"  Assistants de preuve  Assistants de preuves  Asynchrone  Auto-assemblage  Automates  Automates cellulaires  Calculs locaux  Commutation  Commutation, Théorie de la  Conservatisme  Copolymères à blocs "rigide-flexible"  Coq  Coq  Diode organique électroluminescente  Distribution  Diviseur  Débogage  Envoi de message  Graphe  Graphes, Théorie des  Grilles informatiques  Homomorphismes  Kronecker, Produits de  Langages de programmation  Langages formels  Logiciels  Logique mathématique  Machines séquentielles, Théorie des  Marche aléatoire  Mode de transfert asynchrone  Modélisation  Monoïdes  Mémoire partagée  Mémoire partagée répartie  Méthode B évènementielle  Méthodes formelles  Méthodes formelles  Panne  Parallélisme  Partis politiques -- Allemagne -- Länder  Partitions  Politique et gouvernement -- Allemagne  Polymérisation par couplage oxydant  Pratiques politiques  Processeurs graphiques  Propriété stable  Registre  Registres  Renommage  Réseau anonyme  Réseaux anonymes  Réécriture, Systèmes de  Synchronisation  Systèmes informatiques -- Pannes  Systèmes à paramètres répartis  Technique du raffinement  Théorie des calculs locaux  Théorie des modèles  Tolérance aux fautes  Tolérance aux pannes  Traitement réparti  Visidia  Visualisation  Élection  Énumération  État global  

Yves Métivier a rédigé les 2 thèses suivantes :


Yves Métivier a dirigé les 11 thèses suivantes :

Informatique et mathématiques
Soutenue en 2007
Thèse soutenue

Informatique et mathématiques
Soutenue en 2006
Thèse soutenue

Informatique et mathématiques
Soutenue en 2002
Thèse soutenue

Informatique
Soutenue en 1997
Thèse soutenue

Informatique
Soutenue en 1994
Thèse soutenue


Yves Métivier a été président de jury de la thèse suivante :

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

Yves Métivier a été membre de jury des 2 thèses suivantes :

Informatique
Soutenue le 04-07-2012
Thèse soutenue