L'industrie face à un double défi : les nouveaux usages numériques et l'argent facile – In Réalités Industrielles, les Annales des Mines (novembre 2016)
L'intelligence collective d'usage – In Jean-Max Noyer et Brigitte Juanals, Technologies de l'information et Intelligences collectives, éditions Hermès-Lavoisier (avril 2010)
Recherche d'aiguilles dans une botte de liens – La Recherche, numéro 328 (février 2000)
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)