Dissertations and habilitations - Laboratoire de Recherche en Informatique

#	Defence	Type	Name	Title

101.	30/01/2017	Ph.D		Random based testing of C program

102.	16/12/2016	Ph.D	JALAL Ghita	Reified visual properties for composition tasks

103.	16/12/2016	Ph.D	IBRAHIM Hassan	SAT-Based Diagnosability and Predictability Analysis in Centralized and Distributed Discrete Event Systems

104.	13/12/2016	Ph.D	MORTEROL Martin	Méthodes avancées de raisonnement en logique proppositionnelle : apllication aux réseaux métaboliques

105.	13/12/2016	Ph.D	GONDELMANS Levs	Un système de types pragmatique pour la vérification déductive des programmes

106.	06/12/2016	Ph.D	YU Jihong	Tag Counting and Monitoring in Large-scale RFID Systems:Theoretical Foundation and Algorithm Design

107.	05/12/2016	Ph.D	VIE Jill-Jênn	Construction et analyse de tests adaptatifs dans un cadre de crowdsourcing

108.	02/12/2016	Ph.D	DUMBRAVA Stéfania Gabriela	A Coq Formalization of Relational and Deductive Databases - and Mechanizations of Datalog

109.	25/11/2016	Ph.D	ZINENKO Oleksandr	Restructuration interactive des programmes

110.	19/10/2016	Ph.D	ALLESIARDO Robin	Bandits Manchots sur Flux de Données Non Stationnaires

111.	07/10/2016	Ph.D	ARALDO Andrea Giuseppe	Optimal design of secure and scalable next generation content-centric networks

112.	04/10/2016	Ph.D		Méthodes qualitatives pour la construction et l'analyse de réseaux moléculaires SBGN

113.	30/09/2016	Ph.D	BAGNERES Lénaïc	Adaptation automatique et semi-automatique des optimisations de programmes

114.	30/09/2016	Ph.D	CAUWET Marie-Liesse	Uncertainties in Optimization

115.	29/09/2016	Ph.D	BOURGAUX Camille	Algorithmique robuste pour l'accès aux données en présence d'ontologies

116.	29/09/2016	Ph.D	BOUFFARD Marc	Conception, modélisation et simulation in silico d’un nanosystème biologique artificiel pour le diagnostic médical

117.	28/09/2016	Ph.D	CABARET Laurent	Étiquetage en composantes connexes efficace pour les architectures hautes performances

118.	26/09/2016	Ph.D		L'annotation sématique de documents

119.	26/09/2016	Ph.D	MASLIAH Ian	Méthodes de génération automatique de code appliquées à l’algèbre linéaire numérique dans le calcul haute performance

120.	26/09/2016	Ph.D	ALEC Céline	Ontology enrichment and population from texts and data from LOD: Application to the automatic annotation of documents

121.	11/07/2016	Ph.D	LEMDANI Roza	Système hydride d'adaptation dans les systèmes de recommandation

122.	04/07/2016	Ph.D	SEGHIRI Rachida	Simulation orientée utilisateur des Systèmes d’Information des SmartGrids

123.	27/06/2016	Faculty habilitation	PERNELLE-MANSCOUR Nathalie	Semantic enrichment of data: annotation and data linking

124.	13/06/2016	Ph.D	VIRMAUX Aladin	Théorie des représentations combinatoires de tours de monoïdes, Application à la catégorification et aux fonctions de parking

125.	04/05/2016	Ph.D	SUN Qiang	A contribution to the theory of (signed) graph homomorphism bound and Hamiltonicity


Première page - Précédant - 1 - 2 - 3 - 4 - 5 - 6 - 7 - 8 - 9 - 10 - Suivant - Dernière page [Page 5 sur 41]