Message Race Detection for Web Services by an SMT-Based Analysis. - Mohamed Elwakil; Zijiang Yang 006; Liqiang Wang; Qichang Chen (ATC, 2010)

CRI: Symbolic Debugger for MCAPI Applications. - Mohamed Elwakil; Zijiang Yang 006; Liqiang Wang (ATVA, 2010)

Debugging support tool for MCAPI applications. - Mohamed Elwakil; Zijiang Yang 006 (PDATAD, 2010)

Deterministic replay for MCAPI programs. - Mohamed Elwakil; Zijiang Yang 006 (PADTAD, 2011)

Deterministic replay for message-passing-based concurrent programs. - Mohamed Elwakil; Zijiang Yang 006 (ACM Trans. Design Autom. Electr. Syst., 2012)

Refinement types in Jolie. - Alexander Tchitchigin; Larisa Safina; Manuel Mazzara; Mohamed Elwakil; Fabrizio Montesi; Victor Rivera (CoRR, 2016)

Facility Layout Problem Using Salp Swarm Algorithm. - Ahmed El-Kassas; Mohamed Elwakil (CoDIT, 2019)

A New Simulated Annealing Based Method for the Container Relocation Problem. - Mohamed Elwakil; Mohamed S. Gheith; Amr B. Eltawil (CoDIT, 2019)

A New Hybrid Salp Swarm-simulated Annealing Algorithm for the Container Stacking Problem. - Mohamed Elwakil; Mohamed S. Gheith; Amr B. Eltawil (ICORES, 2020)

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)

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)

The parallel stack loading problem of minimizing the exact number of relocations. - Shunji Tanaka; Mohamed Elwakil; Amr B. Eltawil (Comput. Oper. Res., 2024)