Some publications of my group, not signed by me.
[Chantry2008M2] Validation of Security Protocols under the Rational Attacker Threat Model par X. Chantry, Rapport de stage M2-SSI, Université de Paris-12 Val de Marne et SAP Labs France, septembre 2008.
[Merlin2004these] Modèles opérationnels communicants, performances et algèbres de chemins par Armelle Merlin
Thèse de doctorat merlin2004these.ps.zip , et référence bibtex.
[Paroux2003] Conception et implantation d'une nouvelle
version de l'analyseur BNAI par Guilhem
Paroux
Rapport de stage de maîtrise paroux2003.doc.gz .
[Ameur2002] Parallélisation de l'algorithme Particle
Mesh Ewald pour le calcul des interactions électrostatiques entre les molécules
chimiques par Mohamed Ameur
Rapport de DEA ameur2002.ps.gz .
[Merlin2000] BSlambda simplement typé: Typage et
Sémantique Naturelle par Armelle Merlin
Rapport de DEA merlin.ps.gz .
[Loulergue2000these] Conception de langages fonctionnels pour la
programmation massivement parallèle par Frédéric Loulergue
Thèse de doctorat.
[Bamha2000these] Parallélisme et équilibrage de charges dans le traitement de la jointure et
de la multi-jointure sur des architectures SN par Mostafa Bamha
Résumé (bilingual abstract), référence bibtex, et thèse de doctorat bamha2000these.ps.gz.
[jfla99] Extension du BSlambda-calcul par
Frédéric Loulergue
résumé, référence bibtex, et article jfla99.ps.gz
[debourges1998] Parallélisation de DyALog: étude... par Isabelle Debourges
Résumé, abstract in English. Rapport de DEA debourges1998.ps.gz
,
[renpar98] BSML : programmation BSP purement
fonctionnelle par Frédéric Loulergue
Résumé, article renpar10.ps.gz et référence bibtex.
[gdr97] Un langage fonctionnel pur d'ordre
supérieur explicitement parallèle
par Frédéric Loulergue
Résumé et article gdr97.ps.gz
[Elajraoui1997] Algorithmes matrice creuse x vecteur plein: comparaison de l'extensibilité
des performances dans le modèle BSP par Abdelhak El Ajraoui
Rapport de DEA elajraoui1997.ps.gz , référence bibtex et résumé .
[Bamha1996] L'implémentation d'un langage portable à
parallélisme emboîté en processus statiques par Mostafa Bamha
Rapport de DEA bamha1996.ps.gz et référence bibtex . English
abstract .
[Charloton1996] Le problème des types sommes dans les structures concrètes réparties par Olivier Charloton
Rapport de DEA charloton1996.ps.gz et référence bibtex . English
abstract .
[Loulergue1996] Programmation parallèle fonctionnelle en processus statiques: une approche
dénotationnelle par Frédéric Loulergue
Rapport de DEA loulergue1996.ps.gz et référence bibtex . English
abstract .