( en | de | ru )

 

Disambiguation of "Tounsi, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling and Proving Distributed Algorithms for Dynamic Graphs.

, , and . Future Gener. Comput. Syst., (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Wiem Tounsi

Mohamed Mohamed

Mohamed Mohamed Gibry

Mohamed Mohamed Halawa

Mohamed Suliman Mohamed

 

Other publications of authors with the same name

Cybersecurity attacks on CAN bus based vehicles: a review and open challenges., , and . Libr. Hi Tech, 40 (5): 1179-1203 (2022)Modeling and Proving Distributed Algorithms for Dynamic Graphs., , and . Future Gener. Comput. Syst., (2020)Enhancing Proofs of Local Computations through Formal Event-B Modularization., , , and . WETICE, page 50-55. IEEE Computer Society, (2014)Distributed Computations in Wireless Sensor Networks by Local Interactions., , , and . ADHOC-NOW, volume 11104 of Lecture Notes in Computer Science, page 293-304. Springer, (2018)Towards an Evolutionary Solving of SAT Problems.. IC-AI, page 890-896. CSREA Press, (2002)The role of BPR in the implementation of ERP systems., , and . Bus. Process. Manag. J., 15 (5): 653-668 (2009)A Comprehensive Survey on Broadcasting Emergency Messages., , and . IWCMC, page 1983-1988. IEEE, (2019)Proving Distributed Algorithms for Wireless Sensor Networks by Combining Refinement and Local Computations., , , and . WETICE, page 217-222. IEEE Computer Society, (2018)Local Search Algorithm to Improve the Local Search., and . ICTAI, page 438-. IEEE Computer Society, (2002)COROS: A Multi-Agent Software Architecture for Cooperative and Autonomous Service Robots., , , , , , , , and . Advances in Social Media Analysis, volume 604 of Studies in Computational Intelligence, Springer, (2015)