Sturm-Habicht Sequence. - Laureano González; Henri Lombardi; Tomás Recio; Marie-Françoise Roy (ISSAC, 1989)

Real Numbers, Continued Fractions and Complexity Classes. - Salah Labhalla; Henri Lombardi (Ann. Pure Appl. Log., 1990)

Spécialisation de la suite de Sturm et sous-résulants. - Laureano González-Vega; Henri Lombardi; Tomás Recio; Marie-Françoise Roy (RAIRO Theor. Informatics Appl., 1990)

Représentations des nombres réels par développements en base entière et complexité. - Salah Labhalla; Henri Lombardi (Theor. Comput. Sci., 1991)

Constraints over Homogeneous Hereditarily Finite Sets. - Fabrice Ambert; Mohamed Hibti; Henri Lombardi; Bruno Legeard (ICLP Workshop on Logic Programming with Sets, 1993)

Set-Unification from Another Point of View. - Mohamed Hibti; Henri Lombardi; Bruno Legeard (ICLP Workshop on Logic Programming with Sets, 1993)

Deciding in HFS-Theory via Linear Integer Programming. - Mohamed Hibti; Henri Lombardi; Bruno Legeard (LPAR, 1993)

Spécialisation de la suite de Sturm. - Laureano González-Vega; Henri Lombardi; Tomás Recio; Marie-Françoise Roy (RAIRO Theor. Informatics Appl., 1994)

Analyse de complexité pour un théorème de Hall sur les fractions continues. - Salah Labhalla; Henri Lombardi (Math. Log. Q., 1996)

Algorithmes de calcul de la réduction de Hermite d'une matrice à coefficients polynomiaux. - Salah Labhalla; Henri Lombardi; Roger Marlin (Theor. Comput. Sci., 1996)

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini. - Mohamed Hibti; Bruno Legeard; Henri Lombardi (RAIRO Theor. Informatics Appl., 1997)

Relecture constructive de la théorie d'Artin-Schreier. - Henri Lombardi (Ann. Pure Appl. Log., 1998)

Étude constructive de problèmes de topologie pour les réels irrationnels. - Mohamed Khalouani; Salah Labhalla; Henri Lombardi (Math. Log. Q., 1999)

New Structure Theorem for Subresultants. - Henri Lombardi; Marie-Françoise Roy; Mohab Safey El Din (J. Symb. Comput., 2000)

Dynamical method in algebra: effective Nullstellensätze. - Michel Coste; Henri Lombardi; Marie-Françoise Roy (Ann. Pure Appl. Log., 2001)

Espaces métriques rationnellement présentés et complexité, le cas de l'espace des fonctions réelles uniformément continues sur un intervalle compact. - Salah Labhalla; Henri Lombardi; E. Moutai (Theor. Comput. Sci., 2001)

An elementary characterisation of Krull dimension. - Thierry Coquand; Henri Lombardi; Marie-Françoise Roy (From sets and types to topology and analysis, 2005)

05021 Abstracts Collection – Mathematics, Algorithms, Proofs. - Thierry Coquand; Henri Lombardi; Marie-Françoise Roy (Mathematics, Algorithms, Proofs, 2005)

A Nilregular Element Property. - Thierry Coquand; Henri Lombardi; Peter Schuster 001 (Mathematics, Algorithms, Proofs, 2005)

Henselian Local Rings: Around a Work in Progress. - Hervé Perdry; Mariemi Alonso; Henri Lombardi (Mathematics, Algorithms, Proofs, 2005)

Generalized Budan-Fourier theorem and virtual roots. - Michel Coste; Tomás Lajous-Loaeza; Henri Lombardi; Marie-Françoise Roy (J. Complex., 2005)

Suslin's algorithms for reduction of unimodular rows. - Henri Lombardi; Ihsen Yengui (J. Symb. Comput., 2005)

Generalizing Cramer's Rule: Solving Uniformly Linear Systems of Equations. - Gema M. Diaz-Toca; Laureano González-Vega; Henri Lombardi (SIAM J. Matrix Anal. Appl., 2005)

A Short Proof for the Krull Dimension of a Polynomial Ring. - Thierry Coquand; Henri Lombardi (Am. Math. Mon., 2005)

The Berlekamp-Massey Algorithm revisited. - Nadia Ben Atti; Gema M. Diaz-Toca; Henri Lombardi (Appl. Algebra Eng. Commun. Comput., 2006)

Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert. - Henri Lombardi (Ann. Pure Appl. Log., 2006)

A logical approach to abstract algebra. - Thierry Coquand; Henri Lombardi (Math. Struct. Comput. Sci., 2006)

Elementary constructive theory of Henselian local rings. - Maria Emilia Alonso; Henri Lombardi; Hervé Perdry (Math. Log. Q., 2008)

A note on the axiomatisation of real numbers. - Thierry Coquand; Henri Lombardi (Math. Log. Q., 2008)

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)

Spectral schemes as ringed lattices. - Thierry Coquand; Henri Lombardi; Peter Schuster 001 (Ann. Math. Artif. Intell., 2009)

Local Bézout Theorem. - Maria Emilia Alonso; Henri Lombardi (J. Symb. Comput., 2010)

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

Dynamic Galois Theory. - Gema M. Diaz-Toca; Henri Lombardi (J. Symb. Comput., 2010)

The syzygy theorem for Bézout rings. - Maroua Gamanda; Henri Lombardi; Stefan Neuwirth; Ihsen Yengui (Math. Comput., 2020)

Rationally presented metric spaces and complexity, the case of the space of uniformly continuous real functions on a compact interval. - Henri Lombardi; Salah Labhalla; E. Moutai (CoRR, 2025)