Proving distributed algorithms for mobile agents: Examples of spanning tree computation in dynamic networks. - Mouna Ktari; Mohamed Amine Haddar; Ahmed Hadj Kacem; Mohamed Mosbah 001 (AICCSA, 2015)

Distributed Computation and Maintenance of a Spanning Tree in Dynamic Networks by Mobile Agents. - Mouna Ktari; Mohamed Amine Haddar; Mohamed Mosbah 001; Ahmed Hadj Kacem (AINA Workshops, 2016)

Electing a Leader in Dynamic Networks using Mobile Agents and Local Computations. - Mouna Ktari; Mohamed Mosbah 001; Ahmed Hadj Kacem (ANT/SEIT, 2017)

Leader election and computation of a spanning tree in dynamic distributed networks using local computations and mobile agents. - Mouna Ktari; Mohamed Mosbah 001; Ahmed Hadj Kacem (Int. J. Space Based Situated Comput., 2017)

Maintenance of a Spanning Tree For Dynamic Graphs by Mobile Agents and Local Computations. - Mouna Ktari; Mohamed Amine Haddar; Mohamed Mosbah 001; Ahmed Hadj Kacem (RAIRO Theor. Informatics Appl., 2017)

iAgent fault-tolerance approach (iAFTA) based on optimization algorithms in wireless sensor networks. - Mouna Ktari; Raïda Ktari; Yassine Khemakhem; Ahmed Hadj Kacem (J. Supercomput., 2025)