Research Activity 


  1. A. Azmi, et al, "A New Smoothing-based Global Optimization Algorithm for Protein Conformation Problems," in Global Optimization: Selected Case Studies, J.D. Pintér (editor), Springer, 2005.
  2. A. Azmi, et al, "Predicting Protein Tertiary Structure Using a Global Optimization Algorithm with Smoothing," in Optimization in Computational Chemistry and Molecular Biology: Local and Global Approaches (Nonconvex Optimization and Its Applications, Vol. 40), C.A. Floudas and P.M. Pardalos (editors), Kluwer Academic Publishers, 2000.
  3. "Use of Smoothing Methods with Stochastic Perturbation for Global Optimization (a study in the context of molecular chemistry)," Doctoral dissertation, University of Colorado, Boulder, December 1998.
  4. A. Morfeq, R. King and A.M. Azmi, "Bayan: A Text Database Management System which Supports a Full Representation of Arabic Language," Data Engineering, vol. 12, no. 4, 1989.
  5. "A Floating Point System with a Variable Length Exponent," Master's thesis, University of Colorado, Boulder, August 1987.
  6. I. El-Azhari, A.M. Azmi and S.M.A Suliman, "Simulation of Typing Process on Different Layouts with Emphasis on Distance and Motion Issues," IEEE Transaction on Systems, Man and Cybernetics, vol. SMC-15, no. 3, November/December 1985.



  1. "Computer Analysis for the Authentication of Early Islamic Literatures," in preparation.
  2. R. Schnabel, A. Azmi, R. Byrd, E. Eskow and C. Shao, "Global Optimization Methods for Protein Folding Problems," 16th International Symposium on Mathematical Programming (ismp 97), Lausanne, Switzerland, August 24-9, 1997. (Abstract)
  3. "A Stochastic-Perturbation Method for Predicting Protein Structure using Global Energy Minimization of a Smoothed Energy Function," First Annual Conference on Research in Computational Molecular Biology (RECOMB 97), Santa Fe, New Mexico, January 20-22, 1997.
  4. A. Azmi, R. Byrd, E. Eskow, T. Ettes and R. Schnabel, "A Stochastic-Perturbation Method for Global Energy Minimization of Proteins," 212th American Chemical Society (ACS) National Meeting, Orlando, Florida, August 25-9, 1996. (Abstract)
  5. Prof. M.M. Al-Azami and A. Azmi, "Analyzing for the Recognition of Written Source in Classical Hadith Literature," Second International Conference on Computer Technology in Service of Islam (ICCTSI), San Jose, California, April 25-6, 1992
  6. Prof. M.M. Al-Azami and A. Azmi, "Computerization of Hadith, Hadith Library on a Compact-Laserdisc," Second Cambridge Conference, Bilingual Computing in Arabic and English, Cambridge, England, September 5-7, 1990.
  7. A. Azmi and F. Lombardi, "On a Tapered Floating Point System," IEEE 1989 Proceeding 9th Symposium on Computer Arithmetic, Santa Monica, California, September 6-8, 1989.


Research Funded:

  1. "Computer Analysis for Authentication of Early Islamic Literatures," CCIS Research Center, King Saud University, project number: RC3/424-425. (Abstract)