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

Complexité du Calcul du Développement d'un Nombre Réel en Fractions Continues. - Salah Labhalla (Theor. Comput. Sci., 1991)

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

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)

Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents. - Bouchaib Bounabat; Rahal Romadi; Salah Labhalla (PRIMA, 1999)

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

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)

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)