Mohamed Ghanem

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 7

Top Topics

Dynamic Bayesian Networks

Propositional Satisfiability

Advanced Research Projects Agency

Top Venues

BMC Medical Informatics Decis. Mak.

Publications

Youssif Abuzied, Mohamed Ghanem, Fadi Dawoud, Habiba Gamal, Eslam Soliman, Hossam Sharara, Tamer A. ElBatt
A privacy-preserving federated learning framework for blockchain networks. Clust. Comput. 27 (4) (2024)
Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner
NeuRes: Learning Proofs of Propositional Satisfiability. CoRR (2024)
Alaa A. Anani, Mohamed Ghanem, Lotfy Abdel Khaliq
Breaking the De-Pois Poisoning Defense. CoRR (2022)
Mohamed Ghanem, Fadi Dawoud, Habiba Gamal, Eslam Soliman, Tamer El-Batt
FLoBC: A Decentralized Blockchain-Based Federated Learning Framework. BCCA (2022)
Mohamed Ghanem, Fadi Dawoud, Habiba Gamal, Eslam Soliman, Hossam Sharara, Tamer El-Batt
FLoBC: A Decentralized Blockchain-Based Federated Learning Framework. CoRR (2021)
Mohamed Ghanem, Dauod Siniora
On Theoretical Complexity and Boolean Satisfiability. CoRR (2021)
Juliane Neumann, Christine Angrick, Celina Höhn, Dirk Zajonz, Mohamed Ghanem, Andreas Roth, Thomas Neumuth
Surgical workflow simulation for the design and assessment of operating room setups in orthopedic surgery. BMC Medical Informatics Decis. Mak. 20 (1) (2020)