Extensions of Hilbert's Tenth Problem. - Thanases Pheidas (J. Symb. Log., 1994)

An Analogue of Hilbert's Tenth Problem for p-adic Entire Functions. - Leonard Lipshitz; Thanases Pheidas (J. Symb. Log., 1995)

Elimination theory for addition and the Frobenius map in polynomial rings. - Thanases Pheidas; Karim Zahidi (J. Symb. Log., 2004)

The Analogue of Büchi's Problem for Polynomials. - Thanases Pheidas; Xavier Vidaux (CiE, 2005)

Notes on the decidability of addition and the Frobenius map for polynomials and rational functions. - Dimitra Chompitaki; Manos Kamarianakis; Thanases Pheidas (Reports Math. Log., 2022)