A Verification Method for Solutions of Linear Programming Problems. - Ismail I. Idriss (PARA, 2004)

Validated Infeasible Interior-Point Predictor-Corrector Methods for Linear Programming. - Ismail I. Idriss; Wolfgang V. Walter (Numer. Algorithms, 2004)

Guaranteed Parameter Set Estimation for Exponential Sums: The Three-Terms Case. - Jürgen Garloff; Ismail I. Idriss; Andrew P. Smith 001 (Reliab. Comput., 2007)