Recherche
-
Développement de méthodes bioinformatiques dédiées à la prédiction et l'analyse des réseaux métaboliques et des ARN non codants
(Bordeaux 1, 2012-11-20)Thèses de doctorat -
Contribution à la théorie des langages de tuiles
(Bordeaux, 2016-07-12)Thèses de doctorat -
Approche réseau basée sur la conscience du contenu pour l’optimisation de l’exploitation des ressources au sein d’environnements virtualisés
(Bordeaux, 2014-12-19)Thèses de doctorat -
Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions
(Bordeaux 1, 2011-06-27)Thèses de doctorat -
Algorithmique et applications pour les flottes hétérogènes multiniveaux de matériels mobiles communicants autonomes
(Bordeaux, 2016-10-03)Thèses de doctorat -
Algorithmes pour l'exploration parallèle d'un graphe déterminé
(Bordeaux, 2014-06-13)Thèses de doctorat -
Découverte de services et collaboration au sein d'une flotte hétérogène et hautement dynamique d'objets mobiles communicants autonomes
(Bordeaux, 2015-10-26)Thèses de doctorat -
Analyse symbolique et inférence de modèles métaboliques
(Bordeaux, 2015-07-10)Thèses de doctorat -
Étude de l’effet de la réplication de fichiers d’entrée sur l’efficacité et la robustesse d’un ensemble de calculs
(Bordeaux, 2017-09-08)Thèses de doctorat -
Partitions interactives structurées
(Bordeaux 1, 2012-09-25)Thèses de doctorat