Algorithmes parallèles  Algorithmique distribuée  Analyse statique  Applications ponctuelles  Approche incrémentale  Certification  Coincidence, Théorie de la  Collision  Commutation, Théorie de la  Compilateurs  Compilateurs  Continuum d’ionisation  Coq  Corrélation  Corrélation vectorielle  Couche de valence  Couche interne  Coïncidence  Cristaux de Coulomb  Dissociation photonique  Démonstrateur Spike  Détection temps-Position  Fragmentation  Hydrocarbures  Ingénierie dirigée par les modèles  Intelligence artificielle  Interactions ion-atome  Interprétation abstraite  Ion Be+  Ion moléculaire  Ionisation multiphotonique  Ions piégés  Logiciels -- Vérification  Matière interstellaire  Milieu interstellaire  Méthodes formelles  Optimisation mathématique  Optimisations  Oracle  Paire d’ions  Photodissociation  Photoionisation  Preuve formelle  Preuves de terminaison  Preuves par récurrence  Problème de Satisfaction de Contraintes  Rapports de branchement  Refroidissement  Refroidissement laser  Refroidissement sympathique  Robots mobiles autonomes  Récurrence implicite  Réécriture, Systèmes de  Source d'ions  Source d'électrons  Sources d'ions  Spectroscopie à haute résolution  Spectroscopie électronique  Systèmes de Transition Symboliques Temporisés à Entrée Sortie  Systèmes, Analyse de  Test Distribué Temporisé  Test Off-line  Test à base de Contraintes  Test à base de Modèles  Tests fonctionnels  Théorèmes -- Démonstration automatique  Vérification de modèles  Électrons -- Corrélation  

Xavier Urbain a rédigé la thèse suivante :


Xavier Urbain a été président de jury de la thèse suivante :

Informatique
Soutenue le 26-09-2017
Thèse soutenue

Xavier Urbain a été rapporteur des 5 thèses suivantes :

Astrophysique nucléaire et nucléosynthèse
Soutenue le 18-09-2019
Thèse soutenue


Xavier Urbain a été membre de jury des 2 thèses suivantes :