Contribution à la validation des spécifications algébriques et à l’étude des spécifications
algébriques avec contraintes / par Sylvie Calabretto ; sous la dir. de Guy Boulaye
[Thèse doctorat : Génie informatique : Lyon, INSA : 1993]
Eléments de droit pour informaticiens / Guy Boulaye, 1990
Modélisation et simulation pour l'aide à la conception des systèmes de convoyage /
par Patrick Woiret ; sous la dir. de Guy Boulaye [Thèse doctorat : Informatique et
automatique appliquée : Lyon, INSA : 1988]
Méthodes et outils d'aide à la configuration et à l'optimisation d'applications transactionnelles
/ par Mario Polo ; sous la dir. de Guy Boulaye [Thèse doctorat : Ingénierie informatique
: Lyon, INSA : 1995]
Prototypage : méthodes et outils d'aide à la conception et à la réalisation des systèmes
d'information / par Serge Montero ; sous la dir. de Guy Boulaye [Thèse doctorat :
Informatique appliquée : Lyon, INSA : 1991]
Prototypage de logiciels avec le langage PROLOG : méthode et outils / par Bruno Legeard
; sous la dir. de Guy Boulaye et Michel Rueher [Thèse doctorat : Informatique : Lyon,
INSA : 1987]
Résolution dans les systèmes formels abstraits : applications a la programmation en
logique, aux systemes de reecriture et aux grammaires formelles / par Pascal Yim ;
sous la dir. de Guy Boulaye [Thèse doctorat : Informatique : Lyon, INSA : 1989]
Un modèle informatique des produits manufactures pour la fabrication : application
à l’élaboration de devis / par Christian Monteix ; sous la dir. de Guy Boulaye [Thèse
doctorat : Informatique et automatique appliquées : Lyon, INSA : 1985]
Étude et réalisation d'une balance de translation automatique : 1re thèse. Dynamique
des colonnes à distiller : propositions données par la faculté : 2e thèse / par Guy
Boulaye, 1962. - Thèse de docteur-ingénieur : Sciences de l'ingénieur : Grenoble,
Faculté des sciences : 1962