Mohamed Ghanem

According to our database, Mohamed Ghanem authored at least 13 papers between 2020 and 2026.

Collaborative distances:

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

2026

Less Effort, Shorter Proofs: Reinforcement Learning for Security Protocol Analysis in Tamarin.

Matthias Cosler, Cas Cremers, Bernd Finkbeiner, Mohamed Ghanem, Niklas Medinger

CoRR, May, 2026

Natural Synthesis: Outperforming Reactive Synthesis Tools with Large Reasoning Models.

Frederik Schmitt, Matthias Cosler, Niklas Metzger, Julian Siber, Vladimir Krsmanovic, Mohamed Ghanem, Bernd Finkbeiner

CoRR, May, 2026

2025

Learning Representations Through Contrastive Neural Model Checking.

Vladimir Krsmanovic, Matthias Cosler, Mohamed Ghanem, Bernd Finkbeiner

CoRR, October, 2025

Adapt3R: Adaptive 3D Scene Representation for Domain Transfer in Imitation Learning.

Albert Wilcox, Mohamed Ghanem, Masoud Moghani, Pierre Barroso, Benjamin Joffe, Animesh Garg

CoRR, March, 2025

SuFIA-BC: Generating High Quality Demonstration Data for Visuomotor Policy Learning in Surgical Subtasks.

Masoud Moghani, Nigel Nelson, Mohamed Ghanem, Andres Diaz-Pinto, Kush Hari, Mahdi Azizian, Ken Goldberg, Sean Huver, Animesh Garg

Proceedings of the IEEE International Conference on Robotics and Automation, 2025

2024

A privacy-preserving federated learning framework for blockchain networks.

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

Clust. Comput., July, 2024

NeuRes: Learning Proofs of Propositional Satisfiability.

Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner

CoRR, 2024

Learning Better Representations From Less Data For Propositional Satisfiability.

Mohamed Ghanem, Frederik Schmitt, Julian Siber, Bernd Finkbeiner

Proceedings of the Advances in Neural Information Processing Systems 37: Annual Conference on Neural Information Processing Systems 2024, 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