Buscar
-
A study on the expressive power of some fragments of the modal µ-calculus
(Bordeaux 1, 2010)Thèses de doctorat -
Partitionnement de grands graphes : mesures, algorithmes et visualisation
(Bordeaux 1, 2013-10-10)Thèses de doctorat -
Étude et proposition de services dans les réseaux mobiles militaires de type MANet
(Bordeaux 1, 2009-07-09)Thèses de doctorat -
Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles
(Bordeaux 1, 2010-11-13)Thèses de doctorat -
Modèles de représentation multi-résolution pour le rendu photo-réaliste de matériaux complexes
(Bordeaux 1, 2010-01-11)Thèses de doctorat -
Construction, manipulation et visualisation de processus sonores dans des environnements virtuels immersifs pour la performance musicale
(Bordeaux 1, 2010-10-07)Thèses de doctorat -
Nouvelles méthodes multi-échelles pour l'analyse non-linéaire de la parole
(Bordeaux 1, 2013-01-16)Thèses de doctorat -
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 -
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 -
Exploiter la structure des modèles pour la vérification par la méthode CEGAR
(Bordeaux 1, 2012-11-27)Thèses de doctorat