Fondements algébriques pour l'optimisation de la programmation itérative avec des
collections de données distribuées / Sara Chlyah ; sous la direction de Pierre Geneves
et Nabil Layaida. Thèse de doctorat : Informatique : Université Grenoble Alpes : 2022
MADEUS : système d'édition et de présentation de documents structurés multimédia /
Nabil Layaida ; sous la direction de Vincent Quint, 1997. - Thèse de doctorat : Informatique
: Grenoble 1 : 1997
Raisonnement automatisé sur les arbres avec des contraintes de cardinalité/ Ismael
Barcenas ; sous la dir. de Nabil Layaida, 2011