PHOTOGRAPHIE
 
VIE ÉCONOMIQUE

L'intelligence collective d'usage – Jean-Max Noyer et Brigitte Juanals, Technologies de l'information et Intelligences collectives, éditions Hermès-Lavoisier (avril 2010)
 
TECHNOLOGIE
Recherche d'aiguilles dans une botte de liens – La Recherche numéro 328 (février 2000)
 
ARTICLES SCIENTIFIQUES
Type-Checking Higher Order Polymorphic Multi-Methods – 24th ACM Symposium on Principles of Programming Languages (1997)

Abstract Debugging of Higher-Order Imperative Languages – SIGPLAN Conference on Programming Language Design and Implementation (1993)

Efficient Chaotic Iterations With Widening – International Conference on Formal Methods in Programming and their Applications (1993)

Abstract Interpretation By Dynamic Partitioning – Journal of Functional Programming, 2(4) (1992)

Thèse de Doctorat – Sémantiques des Langages Impératifs d'Ordre Supérieur et Interprétation Abstraite (École Polytechnique, 1992)