Dissertations and habilitations - Laboratoire de Recherche en Informatique

#	Defence	Type	Name	Title

1.	30/01/2012	Ph.D	LOU Feng	.

2.	21/12/2011	Thesis in progress	BAHI Mouad	.

3.	16/12/2011	Ph.D	BENTAKOUK Lina	Symbolic Testing of Composite Web Services

4.	15/12/2011	Ph.D	FAURE Guillaume	.

5.	15/12/2011	Ph.D	DIOUF Boubacar	Decoupled approaches to Register and Software-controlled memory allocations

6.	13/12/2011	Ph.D	BATTEUX Michel	.

7.	12/12/2011	Ph.D	BOBOT François	.

8.	12/12/2011	Ph.D	MEKHALDI Fouzi	A Robust and Self-Stabilzing Hierarchical Routing Protocol for dynamic networks

9.	12/12/2011	Thesis in progress	KHEMIRI Wael	Data-intensive interactive workflows for visual analytics

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

11.	08/12/2011	Ph.D	TEYTAUD Fabien	Introduction of Statistics in Optimization

12.	06/12/2011	Ph.D	GUERMOUCHE Amina	.

13.	05/12/2011	Ph.D	MAGNIN Loïck	MAGNIN.01-10-2007

14.	02/12/2011	Ph.D	HAMDI Fayçal	.

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

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

17.	10/11/2011	Ph.D	HAMIDOUCHE Khaled	Programming hierarchical and heterogenous architectures

18.	26/10/2011	Ph.D	AWAL Mohammad Abdul	Feedback resource optimization for ofdma systems

19.	14/10/2011	Ph.D	BARDOU Romain	Verification of Programs With Pointers Using Regions and Permissions

20.	10/10/2011	Ph.D	BORGHI Alexandre	.

21.	30/09/2011	Ph.D	BOROZAN Valentin	Proper and Weak Proper Trees in edge-colored graphs and multigraphs

22.	28/09/2011	Ph.D	MENDY Gervais	MENDY.20-11-2006

23.	16/09/2011	Ph.D	SIMONENKO Ekaterina	.

24.	08/09/2011	Faculty habilitation	COLAZZO Dario	.

25.	07/07/2011	Ph.D	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]