A New Approach to Constructive Topology and Measure Theory. - Ahmed K. Khalifa (Math. Log. Q., 1989)

A constructive version of Sperner's lemma and Brouwer's fixed point theorem. - Ahmed K. Khalifa (Math. Log. Q., 1990)

Collocation finite element and spectral methods for one dimensional biharmonic equations. - Ahmed K. Khalifa; M. A. Aziz (Int. J. Comput. Math., 2000)

Numerical treatment of the nerve conduction equation. - Ahmed K. Khalifa; Hussain A. Farea (Int. J. Comput. Math., 2000)

Chebyshev expansion method for solving second and fourth-order elliptic equations. - Ahmed K. Khalifa; Elsayed M. E. Elbarbary; Mohamed A. Abd Elrazek (Appl. Math. Comput., 2003)

The decomposition method for one dimensional biharmonic equations. - Ahmed K. Khalifa (Int. J. Simul. Process. Model., 2006)

A finite difference scheme for the MRLW and solitary wave interactions. - Ahmed K. Khalifa; Kamal R. Raslan; H. M. Alzubaidi (Appl. Math. Comput., 2007)