Thèses et habilitations (Production) - Laboratoire de Recherche en Informatique

#	Soutenance	Type	Nom	Titre

1.	30/01/2012	Doctorat	LOU Feng	Algorithmes pour l'étude de la structure secondaire des ARN et l'alignement de séquences

2.	21/12/2011	Thèse en cours	BAHI Mouad	Coût énergétique, coût mémoire du calcul réversible

3.	16/12/2011	Doctorat	BENTAKOUK Lina	Test symbolique de services Web composites

4.	15/12/2011	Doctorat	DIOUF Boubacar	Compilation optimisante pour un modèle de calcul parallèle en flux

5.	15/12/2011	Doctorat	FAURE Guillaume	Sur le contexte spatial en gestion de fenêtres et en interaction homme-machine

6.	13/12/2011	Doctorat	BATTEUX Michel	Diagnosticabilité et diagnostic de systèmes technologiques pilotés (Développement d'une chaîne de conception outillée d'un système de diagnostic appliquée aux systèmes technologiques pilotés

7.	12/12/2011	Thèse en cours	KHEMIRI Wael	Data-intensive interactive workflows for visual analytics

8.	12/12/2011	Doctorat	BOBOT François	Logique de séparation et vérification déductive

9.	12/12/2011	Doctorat	MEKHALDI Fouzi	Partitionnement dans les réseaux mobiles Ad-hoc : Conception et évaluation de protocoles auto-stabilisants robustes.

10.	09/12/2011	Doctorat	KRIEGER Matthias	Test Generation and Animation Based on Object-Oriented Specifications

11.	08/12/2011	Doctorat	TEYTAUD Fabien	Optimisation évolutionnaire parallèle

12.	06/12/2011	Doctorat	GUERMOUCHE Amina	Nouveaux protocoles de tolérance aux pannes pour les applications de calcul haute performance

13.	05/12/2011	Doctorat	MAGNIN Loïck	Calculs et communications quantiques avec des variables continues

14.	02/12/2011	Doctorat	HAMDI Fayçal	Améliorer l'interopérabilité sémantique : Applicabilité et utilité de l'alignement d'ontologies

15.	28/11/2011	Doctorat	SALEM DA SILVA Paulo	Multi-Agent Systems Verification by Means of Simulation Analysis

16.	24/11/2011	HDR	POIZAT Pascal	Formal Model-Based Approaches for the Development of Composite Systems

17.	10/11/2011	Doctorat	HAMIDOUCHE Khaled	Programmation des architectures hiérarchiques et hétérogènes

18.	26/10/2011	Doctorat	AWAL Mohammad Abdul	Efficient CQI Feedback Resource Utilization for Multi-user Multi-Carrier Wireless Systems

19.	14/10/2011	Doctorat	BARDOU Romain	Vérification de programmes avec pointeurs à l'aide de régions et de permissions

20.	10/10/2011	Doctorat	BORGHI Alexandre	Adaptation de l'algorithmique aux architectures parallèles

21.	30/09/2011	Doctorat	BOROZAN Valentin	Arbres proprement et faiblement arêtes-coloriées dans des graphes et multigraphes arêtes-coloriées

22.	28/09/2011	Doctorat	MENDY Gervais	Chaînes alternées dans les graphes arête-coloriés: k-linkage et arbres couvrants

23.	16/09/2011	Doctorat	SIMONENKO Ekaterina	Optimisation de requêtes olap et visualisation de résultats

24.	08/09/2011	HDR	COLAZZO Dario	Schemas for safe and efficient XML processing

25.	07/07/2011	Doctorat	YE Lina	Optimized Diagnosability of Distributed Discrete Event Systems Through Abstraction


1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 1 sur 27]