Mohamed Elwakil

According to our database, Mohamed Elwakil authored at least 12 papers between 2010 and 2024.

Collaborative distances:

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

2024

The parallel stack loading problem of minimizing the exact number of relocations.

Shunji Tanaka, Mohamed Elwakil, Amr B. Eltawil

Comput. Oper. Res., 2024

2022

ARIMA-based time-series analysis for forecasting of COVID-19 cases in Egypt.

Ibrahim Sabry, Abdel-Hamid Ismail Mourad, Amir Hussain Idrisi, Mohamed Elwakil

Int. J. Simul. Process. Model., 2022

On the integration of the parallel stack loading problem with the block relocation problem.

Mohamed Elwakil, Amr B. Eltawil, Mohamed S. Gheith

Comput. Oper. Res., 2022

2020

A New Hybrid Salp Swarm-simulated Annealing Algorithm for the Container Stacking Problem.

Mohamed Elwakil, Mohamed S. Gheith, Amr B. Eltawil

Proceedings of the 9th International Conference on Operations Research and Enterprise Systems, 2020

2019

A New Simulated Annealing Based Method for the Container Relocation Problem.

Mohamed Elwakil, Mohamed S. Gheith, Amr B. Eltawil

Proceedings of the 6th International Conference on Control, 2019

Facility Layout Problem Using Salp Swarm Algorithm.

Ahmed El-Kassas, Mohamed Elwakil

Proceedings of the 6th International Conference on Control, 2019

2016

Refinement types in Jolie.

Alexander Tchitchigin, Larisa Safina, Manuel Mazzara, Mohamed Elwakil, Fabrizio Montesi, Victor Rivera

CoRR, 2016

2012

Deterministic replay for message-passing-based concurrent programs.

Mohamed Elwakil, Zijiang Yang

ACM Trans. Design Autom. Electr. Syst., 2012

2011

Deterministic replay for MCAPI programs.

Mohamed Elwakil, Zijiang Yang

Proceedings of the 9th Workshop on Parallel and Distributed Systems: Testing, 2011

2010

Debugging support tool for MCAPI applications.

Mohamed Elwakil, Zijiang Yang

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, 2010

CRI: Symbolic Debugger for MCAPI Applications.

Mohamed Elwakil, Zijiang Yang, Liqiang Wang

Proceedings of the Automated Technology for Verification and Analysis, 2010

Message Race Detection for Web Services by an SMT-Based Analysis.

Mohamed Elwakil, Zijiang Yang, Liqiang Wang, Qichang Chen

Proceedings of the Autonomic and Trusted Computing - 7th International Conference, 2010