Mohamed Ghanem

According to our database, Mohamed Ghanem authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

NeuRes: Learning Proofs of Propositional Satisfiability.

Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner

CoRR, 2024

2022

Breaking the De-Pois Poisoning Defense.

Alaa A. Anani, Mohamed Ghanem, Lotfy Abdel Khaliq

CoRR, 2022

FLoBC: A Decentralized Blockchain-Based Federated Learning Framework.

Mohamed Ghanem, Fadi Dawoud, Habiba Gamal, Eslam Soliman, Tamer A. ElBatt

Proceedings of the Fourth International Conference on Blockchain Computing and Applications, 2022

2021

FLoBC: A Decentralized Blockchain-Based Federated Learning Framework.

Mohamed Ghanem, Fadi Dawoud, Habiba Gamal, Eslam Soliman, Hossam Sharara, Tamer A. ElBatt

CoRR, 2021

On Theoretical Complexity and Boolean Satisfiability.

Mohamed Ghanem, Daoud Siniora

CoRR, 2021

2020

Surgical workflow simulation for the design and assessment of operating room setups in orthopedic surgery.

Juliane Neumann, Christine Angrick, Celina Höhn, Dirk Zajonz, Mohamed Ghanem, Andreas Roth, Thomas Neumuth

BMC Medical Informatics Decis. Mak., 2020