Factorization of Polynomials and GCD Computations for Finding Universal Denominators. - Sergei A. Abramov; Amal Gheffar; Denis E. Khmelnov (CASC, 2010)

Linear differential, difference and q-difference homogeneous equations having no rational solutions. - Amal Gheffar (ACM Commun. Comput. Algebra, 2010)

Valuations of rational solutions of linear difference equations at irreducible polynomials. - Amal Gheffar; Sergei A. Abramov (Adv. Appl. Math., 2011)

Rational solutions of linear difference equations: Universal denominators and denominator bounds. - Sergei A. Abramov; Amal Gheffar; Denis E. Khmelnov (Program. Comput. Softw., 2011)

Detecting Nonexistence of Rational Solutions of Linear Difference Equations in Early Stages of Computation. - Amal Gheffar (ACM Commun. Comput. Algebra, 2014)