- Durand, A. Byzantine consensus and blockchain: Models unification and new protocols, IP Paris, Nov.21
- Donat-Bouillud, P. Models, Analysis and Execution of Audio Graphs in Interactive Multimedia Systems, Sorbonne Université, Dec.19 (Président du jury)
- Cheng, T. Analyse statique d'applications tableurs, Ecole polytechnique, Sep.15
- Ngo, B. H. Système de fichiers sémantique basé sur le
contexte. TELECOM
& Management SudParis, Jun. 2009 (Président du jury)
- Huggins, K. LINEA : une méthode de calcul par graphes de la
proximité des objets sur Internet. Ecole des mines de Paris, Apr. 2005
- Charles, C. SearchXQ : une méthode d'aide à la
navigation fondée sur Omega-means, algorithme de classification
non-supervisée. Application sur un corpus juridique francais.
Ecole des mines de Paris, Dec. 2004
- Redon, X. Détection et exploitation des récurrences
dans les programmes scientifiques en vue de leur parallélisation.
Paris 6, Jan. 1995
- Ericsson-Zenith, S. Process Interaction Models. Paris 6,
Jui. 1992
- Tawbi, N. Parallélisation automatique : Estimation des
durées d'exécution et allocation statique de processeurs. Paris 6,
Apr. 1991