A Programming Language for Local Computations in Graphs: Computational Completeness. - Mohamed Mosbah 001; Rodrigue Ossamy (ENC, 2004)

Checking Global Properties for Local Computations in Graphs with Applications to Invariant Testing. - Mohamed Mosbah 001; Rodrigue Ossamy (ENC, 2004)

Synchronizers for Local Computations. - Yves Métivier; Mohamed Mosbah 001; Rodrigue Ossamy; Afif Sellami (ICGT, 2004)

A Simple Randomized k-Local Election Algorithm for Local Computations. - Rodrigue Ossamy (WEA, 2005)

Mobile Agent Algorithms Versus Message Passing Algorithms. - Jérémie Chalopin; Emmanuel Godard; Yves Métivier; Rodrigue Ossamy (OPODIS, 2006)