Univariate Polynomial Factorization Over Finite Fields. - Patrice Naudin; Claude Quitté (Theor. Comput. Sci., 1998)

Comparison of Picard groups in dimension 1. - Henri Lombardi; Claude Quitté (Math. Log. Q., 2008)

Seminormal rings (following Thierry Coquand). - Henri Lombardi; Claude Quitté (Theor. Comput. Sci., 2008)

Curves and coherent Prüfer rings. - Thierry Coquand; Henri Lombardi; Claude Quitté (J. Symb. Comput., 2010)