= Livrables du projet INEX =

== Rapports annuels ==

* '''RS''', Rapport scientifique du projet 


== Mémoires ==

* '''M1''' Abdeljalil Abajjane, [http://frederic.loulergue.eu/ftp/inex_m1.pdf Parallélisme et évaluation de performances des jointures et semi-jointures sur des architectures Cloud], Mémoire de Master, septembre 2012

* '''M2.1''' Jérôme Richard, [http://frederic.loulergue.eu/ftp/inex_m2-1.pdf Étude et parallélisation d’algorithmes pour l’analyse de grands graphes de réseaux sociaux], Mémoire de Master, septembre 2013

* '''M2.2''' Simon Robillard, [http://frederic.loulergue.eu/ftp/inex_m2-2.pdf Dérivation formelle et extraction de programmes parallèles], Mémoire de Master, septembre 2013

== Rapports de recherche ==

* '''L1''', Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre, [http://frederic.loulergue.eu/ftp/inex_l1.pdf Vers des environnements infonuagiques vérifiés], novembre 2012

* '''L2''', Nicolas Dugué, Anthony Perez, [http://frederic.loulergue.eu/ftp/inex_l2.pdf  Les capitalistes sociaux sur Twitter : détection via mesures de similarité], novembre 2012

* '''L3''', Yohan Boichut, Benoît Boyer, Thomas Genet, Axel Legay, [http://frederic.loulergue.eu/ftp/inex_l3.pdf Raffinement équationnel d'abstraction pour le ''model checking'' régulier], décembre 2012

* '''L4''', Mohamad Al Hajj Hassan, Mostafa Bamha, Frédéric Loulergue, [http://frederic.loulergue.eu/ftp/inex_l4.pdf Gérer les déséquilibres de données lors des opérations de jointure avec MapReduce], 2013

* '''L5''', Nicolas Dugué, Vincent Labatut et Anthony Perez, [http://frederic.loulergue.eu/ftp/inex_l5.pdf Identification de rôles communautaires dans des réseaux orientés appliquée à Twitter], 2013

* '''L6''', Kento Emoto, Frédéric Loulergue, Julien Tesson, [http://frederic.loulergue.eu/ftp/inex_l6.pdf Une bibliothèque Générer-Tester-Agréger pour l’extraction de programmes parallèles en Coq], 2013

* '''L7''', Nicolas Dugué, Anthony Perez, [http://frederic.loulergue.eu/ftp/inex_l7.pdf Capitalistes sociaux de Twitter: détection, évolution et analyse comportementale], 2013