Les thèses en informatique à Nancy de 1960 à 1990

Sommaire

Introduction

Cette page rassemble l'essentiel des thèses en informatique soutenues à Nancy entre 1960 et 1990. J'ai distingué les thèses fondamentales, qui développent la science ou des outils informatiques, et les thèses d'applications qui se bornent à utiliser l'outil informatique. Je me suis concentré sur les premières.

Motivations

J'ai créé cette page pour plusieurs raisons :

La période

Pour la numérisation des thèses fondamentales en informatique, je me suis arrêté en 1990, notamment parce que le nombre de thèses devenait de plus en plus considérable et que cela commençait à me prendre beaucoup de temps, mais aussi parce qu'il était de plus en plus difficile de circonscrire l'informatique. Les premières thèses des années 1960 étaient souvent (du côté de Jean Legras) des applications de l'informatique à la physique et finalement n'étaient pas purement informatiques. L'informatique comme science indépendante a pris son essor avec Claude Pair, mais la branche de Jean Legras a tout de même occasionnellement comporté des thèses purement algorithmiques. Par la suite, l'informatique s'est diversifiée en des applications aux réseaux, aux bases de données, elle est sortie vers la médecine, la chimie, la linguistique, la géologie, etc. Beaucoup de thèses sont classées en informatique, bien que leur apport à la science informatique soit faible ou nul.

Une autre raison pour m'arrêter en 1990 a été qu'un certain nombre de thèses de sciences à Nancy après 1990 ont déjà été numérisées. Ces numérisations ne sont pas systématiques, mais on peut espérer que toute la période de 1991 à aujourd'hui sera comblée dans un futur proche, avec beaucoup moins d'efforts

On peut trouver étonnant qu'une liste telle que celle-ci n'ait pas encore été faite. Je ne crois pas que d'autres universités comme Grenoble, Toulouse ou Paris aient réalisé une synthèse de leurs thèses en informatique (ou d'autres domaines), mais j'espère qu'elles seront aussi amenées à le faire.

La liste que je présente n'est certainement pas complète. J'ai inclus toutes les thèses dirigées par Claude Pair, sauf deux thèses qui n'ont pas été soutenues à Nancy. Pour Jean Legras, je n'ai retenu qu'une sélection des thèses et il y en a peut-être d'autres qu'il faudrait inclure. N'hésitez pas à me signaler des lacunes ou des erreurs. De même, les directeurs de thèse n'ont pas toujours été indiqués, car ils ne sont pas toujours clairement explicités dans les remerciements. J'ai préféré ne mettre aucun nom plutôt que d'en indiquer un incorrect. Là aussi, je suis preneur de tous compléments.

J'ai inclus quelques thèses non informatiques, pour des chercheurs qui ont par la suite eu une activité informatique à Nancy, par exemple Jacques Guyard ou Amédéo Napoli.

Le procédé de numérisation

Les numérisations ont été réalisées comme suit. Toutes les thèses ont d'abord été photocopiées. Celles qui étaient en recto ont été photocopiées en A4. Les autres ont été photocopiées en réduction A3 vers A4 à raison de deux pages originales sur une finale. Quelques thèses étaient dans un mini-format A5 et ont été photocopiées en mettant deux pages en A4. Toutes les pages ont été copiées en noir et blanc, sauf pour les rares cas où il y avait des insertions en couleur. Les feuilles intercalaires, souvent en couleur, ont été copiées en noir et blanc. Les doubles pages vides n'ont pas été copiées. On notera que certaines pages étaient manquantes dans l'une ou l'autre thèse, ou que la numérotation des pages y est irrégulière. Toutes les copies ont été vérifiées et si un numéro de page manque, c'est qu'il manquait dans l'original que j'avais en main.

Toutes ces copies ont été faites soit dans des bibliothèques universitaires, soit au LORIA. On voudra bien me pardonner d'avoir consommé beaucoup de papier et d'encre, mais je pense que la dépense est bien modique par rapport au résultat.

Enfin, les couvertures ont été numérisées en couleur, mais seulement si elles contenaient du texte. Les photocopies ont ensuite été numérisées, quelques unes ont fait l'objet de rotations, puis elles ont été assemblées avec les numérisations des couvertures. Enfin, les fichiers PDF ont encore subi un traitement par OCR avant d'être mis en ligne. Au final, les numérisations me semblent satisfaisantes, même si ça et là elles pourraient encore être améliorées.

Un travail utile ?

Il me reste à espérer que ce travail sera utile à certains. Il devrait être utile aux historiens de l'informatique, mais permettra peut-être aussi à l'un ou l'autre de mieux connaître son domaine, et peut-être de trouver des antécédants à certains travaux actuels. Et surtout, c'est peut-être une contribution à la conservation de la mémoire du LORIA, donc de son patrimoine, dont une partie a disparu avec la suppression de sa bibliothèque.

Le présent travail fournit en tous cas une perspective inédite sur l'informatique à Nancy, sur 30 ans, soit pratiquement la moitié de son existence. Je remercie les personnes qui m'ont aidé, notamment en attirant mon attention sur des travaux auxquels je n'avais pas pensé.

Sources complémentaires

Pour des sources complémentaires sur l'informatique en France et en particulier à Nancy, on pourra notamment consulter :

N'oubliez pas de consulter aussi mes autres pages sur l'histoire des tables mathématiques et astronomiques.

D. Roegel, 4 juin 2025.

Thèses numérisées

À quelques exceptions près, cette liste donne les thèses comportant un apport à la science informatique. Par apport, j'entends que la thèse n'illustre pas simplement une application de l'informatique à un domaine, mais cherche à mieux comprendre l'informatique, à en développer les outils, etc.

Dans ce qui suit, T3=Thèse de 3e cycle, TE=Thèse d'état. Toutes les thèses ont été soutenues à Nancy, sauf mention contraire en notes. Je n'ai pas distingué les thèses de Docteur-Ingénieur et le ferai peut-être par la suite. Les dates indiquées sont les dates de soutenance.

Auteur Titre Type Date Directeur PDF Notes
1960
François Thomas Étude détaillée du FLEX. Application de la méthode de modelage au calcul d'un correcteur T3 21 juin 1960 Jean Legras télécharger
Gilles Tissier L'équation de la chaleur. Méthode des différences finies. Transformation de Fourier. Une méthode numérique de calcul. T3 21 juin 1960 Jean Legras télécharger
1961
Marion Créhange Structure du code de programmation T3 mars 1961 Jean Legras télécharger
Jacqueline Léonard (Giannesini) Calculateur à arithmétique binaire. Coda. Affectation de mémoires T3 17 juin 1961 Jean Legras télécharger
Claude Colas Opérations en triple précision. Code de programmation matriciel. Moments centrés. Courbe de K. Pearson T3 17 juin 1961 Jean Legras télécharger
Maurice Vargaftig Un problème de programmation non linéaire : réalisation pratique de la méthode du minimax T3 17 juin 1961 Jean Legras télécharger
1964
Pascal Berland Programmation dynamique. Distributions de Kolmogorov-Smirnov. Étude d'un test non paramétrique T3 21 octobre 1964 Jean Legras ? télécharger
Jean-Pierre Decamps Optimalisation d'une installation industrielle à l'aide d'un calculateur numérique T3 23 octobre 1964 Jean Legras télécharger
Michel Cusey Construction d'un compilateur Algol pour I.B.M. 1620 T3 27 octobre 1964 Claude Pair télécharger
Raymond Romac Étude de méthodes de tri T3 21 décembre 1964 Claude Pair télécharger
1965
Jacques André Contribution à la construction d'un compilateur Algol pour I.B.M. 1620 T3 22 février 1965 Claude Pair télécharger
Albert Edmond Application de la notion de pile à des problèmes portant sur les chemins des graphes T3 30 octobre 1965 Claude Pair télécharger
Claude Pair Étude de la notion de pile. Application à l'analyse syntaxique TE 21 décembre 1965 Jean Legras volume 1  |  volume 2Version imprimée en 1966
1966
Alain Floc'h Achèvement d'un compilateur Algol pour I.B.M. 1620. Traitement des procédures T3 4 mars 1966 Claude Pair télécharger
Maryse Tommasini (Quéré) Sur la théorie des fonctions sphériques T3 1er juin 1966 ??? télécharger
Jean-Claude Derniame Étude d'algorithmes pour les problèmes de cheminement dans les graphes finis T3 20 décembre 1966 Claude Pair télécharger
1968
François Charles Optimisation d'une fonction d'une variable. Contribution à la méthode du minimax T3 27 septembre 1968 Jean Legras télécharger
Hervé Schivi Étude de Cogent, langage de traitement de structures arborescentes T3 30 novembre 1968 Claude Pair télécharger
1969
Françoise Mathé Étude et simulation sur ordinateur de différents procédés de codage pour un canal binaire avec effaçage T3 20 mai 1969 M. Feix télécharger
Alain Quéré Étude des ramifications et des bilangages T3 3 juillet 1969 Claude Pair télécharger
J. Villard Emploi de PL/1 pour les problèmes de linguistique T3 3 juillet 1969 Claude Pair télécharger
Jean-Marie Dirand Les langages A.T.F.-L.M.U. Applications aux problèmes linguistiques. Mise en œuvre sur C.I.I. 10070 T3 4 septembre 1969 Claude Pair télécharger
Ziang Kuang Yu Usage des techniques d'approximation en programmation dynamique T3 13 septembre 1969 Jean Legras télécharger
Odile Foucaut Ajustement de paramètres variables sur des systèmes différentiels non linéaires par la programmation dynamique T3 15 novembre 1969 Jean Legras télécharger
Jean-Marie Martin Un mode d'exploitation du dossier médical. Structure arborescente. Système modulaire d'interrogation T3 15 novembre 1969 Claude Pair télécharger
Daniel Rinaldi Contribution à l'étude des systèmes d'électrons Sigma par une méthode L.C.A.O. --- Application à la détermination des propriétés électriques de molécules et d'associations moléculaires T3 28 novembre 1969 Jean-Louis Rivail télécharger
1970
Jacqueline Chabrier Étude d'une télétransmission par terminal T3 17 mars 1970 Claude Pair télécharger
Raymond Khalil Essai de formalisation de la description des compilateurs. Application à Algol 60 T3 8 mai 1970 Claude Pair télécharger
Jean-Marie Leclaire Définition de la syntaxe des langages de programmation T3 8 mai 1970 Claude Pair télécharger
1971
Jean-Marie Proth Recherche de règles d'ordonnancement par traitement sur ordinateur T3 25 janvier 1971 Jean Legras télécharger
Colette Rolland Mise en œuvre numérique de la méthode des sources : Application à l'étude d'un champ évolutif de température et d'un champ de contraintes thermo-élastiques TE 22 avril 1971 Jean Legras télécharger
Pierre Lescanne Étude de quelques théories des langages et généralisation du théorème de Kleene T3 22 juin 1971 Claude Pair télécharger
Marie-Claude Dendien Simulation de machines pour l'enseignement de la programmation T3 26 juin 1971 Jean Legras télécharger
Jean-Laurent Mallet Étude numérique de l'équation de la diffusion : problème direct - problème inverse T3 30 juin 1971 Jean Legras télécharger
Claude Lemaire Système général d'analyse syntaxique T3 6 novembre 1971 Claude Pair télécharger
Jean-François Dufourd Traitement automatique de la gestion scolaire d'une université. Réalisation et extensions prévues T3 9 décembre 1971 Jean Legras télécharger
Claude Iung Commande optimale en temps réel d'un processus non linéaire échantillonné T3 17 décembre 1971 Jean Legras télécharger
1972
Jacques Guyard Invariants adiabatiques à tout ordre pour l'oscillateur harmonique T3 26 février 1972 ??? télécharger
Pierre Ladure Recherche de règles d'affectation et d'ordonnancement pour un système de ponts-roulants T3 23 mars 1972 Jean Legras télécharger
Mahmoud Payafar Modification des fichiers et des textes dans le projet ``CIVA'' T3 27 avril 1972 Jean-Claude Derniame télécharger
Daniel Ory Software d'aide à l'analyse et à la programmation de gestion T3 21 octobre 1972 Colette Rolland télécharger
Françoise Bellegarde FACE : Langage d'écriture de compilateurs. Définition et implémentation T3 26 octobre 1972 Claude Pair télécharger
Jean Maroldt Définition de FACE, langage pour l'écriture des compilateurs. Implémentation d'un sous-ensemble T3 28 novembre 1972 Claude Pair télécharger
Patrick Germain Système de gestion et d'exploitation documentaire d'un corpus de dossiers médicaux T3 9 décembre 1972 Claude Pair télécharger
1973
Roger Mohr Modèle algébrique pour l'analyse syntaxique de figures T3 28 février 1973 Claude Pair télécharger
Bernard Aubry Traduction des tables de décision T3 10 mars 1973 Jean-Claude Derniame télécharger
Jacques Dendien Gestion statique de mémoire dans un système de programmation modulaire T3 10 mars 1973 Jean-Claude Derniame télécharger
Jacques Ducloy Compilation dans le projet CIVA T3 10 mars 1973 Jean-Claude Derniame télécharger
Dominique Liegey L'algorithme hongrois et son application à l'affectation du personnel auxiliaire au rectorat T3 17 mars 1973 ??? télécharger
René Savary Un système de stockage de l'information géotechnique sur ordinateur T3 3 mai 1973 ??? volume 1  |  volume 2
Noëlle Carbonell Rôle des fonctions récursives primitives de ramifications dans la définition d'une langue naturelle : application à la syntaxe française T3 15 mai 1973 Claude Pair volume 1  |  volume 2
Hervé Havard Constitution d'un système d'information géologique et géotechnique sur ordinateur T3 12 juin 1973 ??? télécharger
Lahoucine Ben Am Ghar Instruction d'affectation et définition d'un métalangage dans le projet CIVA T3 30 juin 1973 Jean-Claude Derniame télécharger
Jean-Bernard Jouin Reconnaissance des fonctions primaires de la phrase anglaise T3 27 octobre 1973 Claude Pair télécharger
Alain Mirgaux Contribution à l'étude de l'universalisation des équations de couche limite T3 2 novembre 1973 M. Lucius télécharger
Nicole Mignot Système de gestion d'ensembles d'informations semi-variables T3 8 novembre 1973 Jean Legras volume 1  |  volume 2
Jean-Jacques Chabrier Acquisition et édition des fichiers, analyse des données dans le projet CIVA T3 19 décembre 1973 Jean-Claude Derniame télécharger
1974
Jean-Paul Haton Contribution à l'analyse, la paramétrisation et la reconnaissance automatique de la parole TE 8 janvier 1974 ??? télécharger
Jean-Claude Derniame Le projet CIVA. Un système de programmation modulaire TE 25 janvier 1974 Claude Pair volume 1  |  volume 2
Monique Grandbastien Un programme qui résoud formellement des équations trigonométriques par des procédés heuristiques T3 juin 1974 Jacques Pitrat téléchargerParis VI.
Christine de Bary Conception et réalisation d'un logiciel de gestion et d'interrogation d'une banque de données géologiques T3 8 juin 1974 Claude Pair télécharger
Jean-Laurent Mallet Étude d'une méthode d'estimation et d'une méthode de filtrage. Application à la Cartographie Automatique TE 15 juin 1974 ??? télécharger
Yves Schnepf Système informatique de documentation pour l'assistance cardio-circulatoire T3 22 juin 1974 ??? télécharger
Jean-Pierre Finance Contribution à la formalisation de la sémantique d'un langage de programmation. Application à Algol 68 T3 25 juin 1974 Claude Pair télécharger
Jean-Luc Rémy Structures d'information --- Formalisation des notions d'accès et de modification d'une donnée T3 25 juin 1974 Claude Pair télécharger
Norbert Hertschuh L'analyse dans le projet CIVA T3 27 juin 1974 Jean-Claude Derniame télécharger
André Schaff Connexion et coopération de deux ordinateurs CII.10070 - IBM.1800 T3 27 juin 1974 Claude Pair téléchargerThèse commune avec Jean-Pierre Thomesse.
Jean-Pierre Thomesse Connexion et coopération de deux ordinateurs CII.10070 - IBM.1800 T3 27 juin 1974 Claude Pair téléchargerThèse commune avec André Schaff.
Marie-Claude Portmann Utilisation des hypergraphes pour l'évaluation automatique des tailles de données. Réalisation des logiciels correspondants pour le projet REMORA T3 30 septembre 1974 Colette Rolland télécharger
Pierre Marchand Étude et classification des bigrammaires. Applications à l'étude des systèmes transformationnels T3 27 novembre 1974 Claude Pair télécharger
1975
Daniel Viault Définition et interprétation des modules de commande dans le projet CIVA T3 4 mars 1975 Jean-Claude Derniame télécharger
Jean-Paul Gelin Analyse de la gestion d'une entreprise de fabrication, affectation du personnel aux opérations de montage T3 14 mars 1975 Jean Legras télécharger
Hubert Pistré L'analyse syntaxique dans FACE, langage pour l'écriture des compilateurs T3 15 mars 1975 Claude Pair télécharger
Jacques Jaray Le langage Snobol 4. Ses applications, son implémentation T3 7 juin 1975 Claude Pair télécharger
Jean-Marie Pierrel Contribution à la compréhension automatique du discours continu. Mise en œuvre d'un système paramétrable aux niveaux morphologique, syntaxique et sémantique T3 21 novembre 1975 Claude Pair télécharger
Dominique Goepp Adaptation et extension de la méthode de Little pour une application sur ordinateur. Solution optimale et solutions sous-optimales T3 28 novembre 1975 Jean Legras télécharger
Marc Rocher Programmes d'optimisation. Application au contrôle optimal avec contrainte T3 28 novembre 1975 Jean Legras télécharger
Marion Créhange Description formelle, représentation, interrogration des informations complexes. Système PIVOINES TE 2 décembre 1975 Claude Pair télécharger
Olivier Bezaut Programmation linéaire à variables booléennes par la méthode S.E.P. T3 5 décembre 1975 Jean Legras télécharger
Charles Jenner Le Pert-Cout. Méthode et programme T3 12 décembre 1975 Jean Legras télécharger
1976
Bernard Marchal Usage d'une méthode de simulation pour la formulation mathématique d'un modèle de gestion de stock T3 28 janvier 1976 Jean Legras télécharger
Anne-Marie Rasser-Bouchet Outils d'aide à la mise au point d'un compilateur écrit dans le langage FACE T3 22 juin 1976 Claude Pair télécharger
Roger Cohen Méthode du gradient en programmation linéaire T3 23 juin 1976 Jean Legras télécharger
Walter David Perea-Villacorta Méthode d'analyse dans le projet REMORA T3 24 juin 1976 Colette Rolland télécharger
Monique Mazaud Système d'aide à la production de traducteurs T3 27 septembre 1976 Claude Pair télécharger
Jean-Claude Mersdorf Compilation conversationnelle sur petite machine T3 27 septembre 1976 ??? télécharger
Jean-Jacques Girardot Réalisation d'un interprète complet du langage APL sur un mini-ordinateur T3 27 septembre 1976 Claude Pair téléchargerThèse commune avec François Mireaux.
François Mireaux Réalisation d'un interprète complet du langage APL sur un mini-ordinateur T3 27 septembre 1976 Claude Pair téléchargerThèse commune avec Jean-Jacques Girardot.
Odile Thiery L'aide à la conception dans le projet REMORA T3 29 septembre 1976 ??? télécharger
Jean-Claude Glotz Construction automatique de menus T3 26 novembre 1976 Jean Legras télécharger
1977
Francis Prusker Aspects théoriques et pratiques du tri par fusion sur disque T3 6 janvier 1977 Claude Pair télécharger
Tay Kim Ann Traitement du problème de voyageur de commerce par une méthode de programmation linéaire T3 22 avril 1977 Jean Legras télécharger
Dominique Lamy Les traitements : leurs structures et leur génération dans le projet REMORA T3 27 mai 1977 ??? télécharger
Bernard Huc Mise en œuvre de la méthode de programmation déductive T3 31 mai 1977 Claude Pair télécharger
Georges Anfré Problèmes d'acquisition dans le système PIVOINES T3 5 juillet 1977 Marion Créhange télécharger
Daniel Atlan Méthode du gradient en programmation linéaire et quadratique T3 10 décembre 1977 Jean Legras télécharger
Alain Tisserant Compilateur du langage Pascal pour miniordinateurs. Réalisation sur Solar 16 T3 16 décembre 1977 Claude Pair télécharger
1978
Patrick Bonnet Assistance informatique à la stratégie de synthèse en chimie des organophosphorés T3 27 février 1978 Jean-Claude Derniame télécharger
H. Sabourin Serveurs et consommateurs dans un protocole full-duplex T3 27 février 1978 Jean-Claude Derniame télécharger
Jacques Lonchamp Contribution à l'analyse des structures externes et internes et de leur correspondance dans un S.G.B.D. (système PIVOINES) T3 12 mai 1978 Marion Créhange télécharger
Michel Dubuit Le système SAFRAN T3 23 juin 1978 Jean-Claude Derniame télécharger
Martine Chesseron Modèle de représentation et méthode de construction des composantes dynamiques d'un système d'information dans le projet Remora T3 28 juin 1978 ??? télécharger
Monique Krieguer Projet REMORA : Modèle de représentation et méthode de construction des composantes statiques d'un S.I. T3 28 juin 1978 ??? télécharger
Claude Bientz Le système D.E.C.I.M.O. (Dossiers enregistrés et codifiés d'informations médicales sur ordinateur). Étude à partir de son application dans le service des examens de la fonction respiratoire du C.H.U. de Nancy-Brabois T3 28 septembre 1978 ??? télécharger
Mohamed Yehia Youssef Méthodes et programmes d'optimisation dans les problèmes non linéaires de flot et de transport TE 2 octobre 1978 Jean Legras télécharger
Gérald Masini Réalisation d'un système de reconnaissance structurelle et d'interprétation de dessins T3 6 octobre 1978 Roger Mohr télécharger
Didier Merle Contribution à l'étude d'un analyseur de modèles à réseaux de files d'attente. Algorithmes de calcul et applications T3 16 octobre 1978 Dominique Potier télécharger
Jacques Bernad Planification assistée par ordinateur. Application à l'ordonnancement de chaînes de travaux dans l'industrie et dans les ateliers T3 25 octobre 1978 ??? volume 1  |  volume 2Thèse commune avec Marko Paker
Marko Paker Planification assistée par ordinateur. Application à l'ordonnancement de chaînes de travaux dans l'industrie et dans les ateliers T3 25 octobre 1978 ??? volume 1  |  volume 2Thèse commune avec Jacques Bernad
Alain Cochet-Muchy La production de programmes dans le projet SYGARE T3 16 novembre 1978 Claude Pair télécharger
Philippe Nonn Le système d'exploitation dans le projet SYGARE T3 16 novembre 1978 Claude Pair télécharger
Jocelyne Martin (Bientz) Application pratique du système D.E.C.I.M.O. (Dossiers enregistrés et codifiés d'informations médicales sur ordinateur) à une consultation d'allergologie orientée vers les « Rhinites et Polyposes Nasales ». T3 12 décembre 1978 ??? télécharger
1979
Dominique Banon Projet REMORA : Un outil pour la gestion des systèmes d'information T3 22 mai 1979 ??? télécharger
François Schwaab Contribution à l'étude d'un processeur de consultation de données. Les communications et l'évaluation T3 12 juin 1979 ??? télécharger
Jean-François Mari Contribution à l'analyse syntaxique et à la recherche lexicale en reconnaissance du discours continu T3 13 juin 1979 Jean-Paul Haton télécharger
Roger Mohr Descriptions structurées et analyse de formes complexes. Application à la reconnaissance de dessins TE 13 juin 1979 Claude Pair télécharger
Pierre Lescanne Étude algébrique et relationnelle des types abstraits et de leurs représentations TE 11 septembre 1979 Claude Pair télécharger
Jean-Pierre Finance Étude de la construction des programmes : méthodes et langages de spécification et de résolution de problèmes TE 11 octobre 1979 Claude Pair télécharger
Abdel Belaïd Reconnaissance structurelle de caractères manuscrits et de formules mathématiques T3 29 octobre 1979 ??? télécharger
1980
Maryse Quéré Contribution à l'amélioration des processus d'enseignement, d'apprentissage et d'organisation de l'éducation. L'ordinateur outil et objet de formation. Application au projet Satire. TE 22 janvier 1980 Claude Pair télécharger
Denis Deramaut SCAPA : Un Système de Correction Automatique des Plans de vol, avec Apprentissage T3 1er février 1980 ??? télécharger
Marie Claude Gaudel Génération et preuve de compilateurs basées sur une sémantique formelle des langages de programmation TE 10 mars 1980 Claude Pair télécharger
Jean-Pierre Thomesse SYGARE : une structuration pour la conception d'applications en temps réel et réparties TE 9 mai 1980 ??? télécharger
Pierre Leduc Système de comptes-rendus et de dossiers médicaux informatisés réalisé en milieu hospitalier sur un petit ordinateur local T3 4 juillet 1980 ??? télécharger
Philippe Deschamp Production de compilateurs à partir d'une description sémantique des langages de programmation : le système Perluette T3 24 octobre 1980 Claude Pair télécharger
Jean-Marie David Simulation de l'activité d'un documentaliste T3 3 décembre 1980 ??? télécharger
Michel Scoutelis Optimisation en radiothérapie cinétique par programmation linéaire en variables booléennes T3 17 décembre 1980 ??? télécharger
1981
Jean-Marie Pierrel Étude et mise en œuvre de contraintes linguistiques en compréhension automatique du discours continu. Application aux langes artificiels : le système myrtille I. Application aux langages pseudo naturels : le système myrtille II TE 27 mars 1981 Jean-Paul Haton télécharger
Pierre Marchand Langages d'arbres. Langages dans les algèbres libres TE 16 mai 1981 Claude Pair télécharger
Françoise Simonot-Lion Technique informatique de représentation en perspective d'un objet défini par des sections planes parallèles T3 4 juin 1981 Jean Legras télécharger
Claude Godart « SGMB » Un système de gestion multibase T3 3 juillet 1981 ??? télécharger
Eugène Chouraqui Contribution à l'étude théorique de la représentation des connaissances. Le système symbolique Arches TE 16 octobre 1981 Claude Pair télécharger
Fernand Reinig Les ordres de décomposition : un outil incrémental pour prouver la terminaison finie de systèmes de réécriture de termes T3 30 octobre 1981 Jean-Pierre Jouannaud télécharger
1982
Pierre Bouchet Définition et implantation d'un langage de manipulation de données T3 12 mars 1982 ??? télécharger
Jeanine Souquières Construction et transformations d'algorithmes itératifs T3 26 mars 1982 ??? télécharger
Claude Kirchner Contribution à la résolution d'équations dans les algèbres libres et les variétés équationnelles d'algèbres T3 27 mars 1982 Jean-Pierre Jouannaud téléchargerThèse commune avec Hélène Kirchner.
Hélène Kirchner Contribution à la résolution d'équations dans les algèbres libres et les variétés équationnelles d'algèbres T3 27 mars 1982 Jean-Pierre Jouannaud téléchargerThèse commune avec Claude Kirchner.
Jean-Luc Rémy Étude des systèmes de réécriture conditionnels et applications aux types abstraits algébriques TE 3 juillet 1982 Claude Pair télécharger
Magda Mourad (Tantawy) Une approche pour la conception de systèmes de traitement de textes extensibles et interconnectables T3 8 juillet 1982 ??? télécharger
Laurence Haux (Vogin) Mise en œuvre informatique de la modélisation de réactions chimiques T3 1er octobre 1982 G. M. Côme, M. Griffiths télécharger
Jean-Jacques Chabrier Spécifications et construction de systèmes orientés bases de données : techniques et langages basés sur le concept de type abstrait T3 29 octobre 1982 Jean-Claude Derniame télécharger
Karol Proch ORSEC : un Outil de Recherche de Spécifications Equivalentes par Comparaison d'exemples T3 10 décembre 1982 ??? télécharger
Amédéo Napoli Contributions à l'étude des variétés lorentziennes et des espaces-temps T3 10 décembre 1982 Lionel Bérard-Bergery télécharger
Gilles Karcher Implantation et évaluation d'une nouvelle méthode de reconstruction d'image en tomographie d'émission T3 13 décembre 1982 Jean Legras télécharger
1983
Jean-Pierre Jung Un prototype d'analyseur sémantique pour un sous-ensemble de Pascal T3 31 mai 1983 Patrick Cousot télécharger
Dominique Méry Une méthode axiomatique de preuve de propriétés de fatalité de programmes parallèles avec hypothèse d'exécution équitable T3 31 mai 1983 Patrick Cousot télécharger
Mohamed Lazrek Décodage acoustico-phonétique en compréhension automatique de la parole continue T3 14 juin 1983 Jean-Paul Haton télécharger
Ghislaine Choque Problème du choix de la précédence pour l'ordre de décomposition T3 17 septembre 1983 Jean-Pierre Jouannaud télécharger
Miguel Muñoz Problème de terminaison finie des systèmes de réécriture équationnels T3 17 septembre 1983 ??? télécharger
Rodolphe J. Nassif Projet ADONIS. Conception et réalisation d'un système de gestion de multibases de données T3 30 septembre 1983 Jean-Jacques Chabrier télécharger
1984
Abdelouahed Zakari FLEXI : Langage de conception d'application de conduite de procédés industriels. Contribution à l'étude de la communication entre processus coopérants T3 2 mars 1984 Jean-Claude Derniame télécharger
Mekki Boukakiou Spécifications algébrique à l'aide de types abstraits du système EXPRIM (EXpert Pour la Recherche d'IMages) T3 3 mars 1984 Marion Créhange télécharger
Mohamed Saïd Ouerghi Sémantique algébrique d'un langage de programmation supportant le concept de processus communiquants T3 3 mars 1984 Jean-Pierre Finance télécharger
Mohamed Benmaïza Le concept d'événement dans la spécification et la programmation d'applications temps réel T3 12 mars 1984 Jean-Pierre Thomesse télécharger
Éric Dubois Cadre et méthode de spécification de systèmes d'information fondés sur les types de données T3 22 mars 1984 Jean-Pierre Finance télécharger
Joseph Di Martino Contribution à la reconnaissance globale de la parole : mots isolés et mots enchaînés T3 9 avril 1984 Jean-Paul Haton télécharger
Yolande Muller (Belaïd) Détection de surfaces par transformée de Hough en vision tridimensionnelle T3 7 mai 1984 Roger Mohr télécharger
Nacer Boudjlida SINDBAD : Un système expérimental d'aide à la spécification et à l'utilisation de bases de données déductives (Concepts et techniques basés sur les types abstraits de données) T3 9 mai 1984 Jean-Jacques Chabrier télécharger
Christine Pister (Bourjot) Adaptation au locuteur par apprentissage automatique. Application à un système de reconnaissance automatique de la parole T3 5 juin 1984 Jean-Paul Haton télécharger
Michaël Rusinowitch Systèmes différentiels non anticipatifs T3 19 juin 1984 Claude George télécharger
Philippe Renauld Étude et réalisation d'un système d'aide à la programmation évoluée pour la commande directe d'une machine outil T3 28 juin 1984 J. P. Musse télécharger
Nicole Lévy Outils d'aide à la construction et transformation de types abstraits algébriques T3 12 juillet 1984 Jean-Pierre Finance télécharger
Mohammed Bennani Adjonction d'E/S vocales et graphiques en E.A.O. : amélioration du dialogue et nouveaux champs d'applications T3 13 septembre 1984 Jean-Marie Pierrel télécharger
Jean-Pierre Jacquot Étude d'un outil d'assistance à la conception méthodique de programmes. Réalisation et évaluation d'une maquette T3 15 septembre 1984 Jean-Pierre Finance télécharger
Ahmed Chtayti Étude d'un système d'aide à la programmation d'applications conversationnelles : spécification et réalisation d'une maquette T3 8 novembre 1984 ??? télécharger
Jacques Durand LOGRE : Un prototype de système de programmation en logique utilisant des techniques de réécriture T3 26 novembre 1984 Jean-Jacques Chabrier télécharger
Loutfi Soufi Un système d'aide à la construction de programmes itératifs T3 11 décembre 1984 ??? télécharger
Bernard Curien MEDECIM : Un système de description et de manipulation d'images appliqué à l'imagerie médicale T3 17 décembre 1984 ??? télécharger
1985
Marie-Christine Haton Contribution à l'éducation vocale assistée par ordinateur : étude des voix et réalisation du système SIRENE TE 19 février 1985 Jean-Paul Haton télécharger
Abdelaziz El Fazziki Contribution à la structuration et à la programmation des applications de contrôle de procédés industriels T3 20 février 1985 Jean-Claude Derniame télécharger
Catherine Mongenet Une méthode de conception d'algorithmes systoliques, résultats théoriques et réalisation T3 7 mai 1985 Jean-Pierre Finance téléchargerThèse composée avec TeX à Strasbourg, mais soutenue à Nancy.
Odile Thiery LASSIF : LAngage de Spécifications des Systèmes d'InFormation. Logiciel d'Aide à la Spécification des Systèmes d'InFormation TE 8 juin 1985 ??? télécharger
Claude Kirchner Méthodes et outils de conception systématique d'algorithmes d'unification dans les théories équationnelles TE 21 juin 1985 Jean-Pierre Jouannaud télécharger
Hélène Kirchner Preuves par complétion dans les variétés d'algèbres TE 21 juin 1985 Jean-Pierre Jouannaud télécharger
Françoise Bellegarde Utilisation des systèmes de réécriture d'expressions fonctionnelles comme outils de transformation de programmes itératifs TE 22 juin 1985 Pierre Lescanne télécharger
Zoubir Mammeri Conception d'applications réparties en commande de processus : une approche par la structuration des données T3 24 juin 1985 ??? télécharger
Emmanuel Kounalis Validation des spécifications algébriques par complétion inductive T3 9 juillet 1985 Jean-Pierre Jouannaud télécharger
Bertrand Meyer Étapes sur le chemin du génie logiciel TE 9 septembre 1985 Jean-Pierre Finance volume 1  |  volume 2
François Charpillet Un système de reconnaissance de parole continue pour la saisie de textes lus T3 11 septembre 1985 Jean-Paul Haton télécharger
Ammar Boudjoghra Conception et réalisation d'un système à bases de connaissances. Application à l'enseignement assisté par ordinateur T3 13 septembre 1985 Maryse Quéré télécharger
Guy-René Perrin La communication : un outil pour la spécification, la construction et la vérification de systèmes parallèles TE 3 octobre 1985 ??? télécharger
Radhia Cousot Fondements des méthodes de preuve d'invariance et de fatalité de programmes parallèles TE 15 novembre 1985 Claude Pair télécharger
1986
Jean-Paul Damestoy Réalisation d'un système à base de prototypes pour le contrôle du décodage acoustico-phonétique de la parole T3 6 janvier 1986 Jean-Paul Haton télécharger
Isabelle Gnaedig Preuves de terminaison des systèmes de réécriture associatifs commutatifs. Une méthode fondée sur la réécriture elle-même T3 24 février 1986 Pierre Lescanne télécharger
Dominique Fohr APHODEX : un système expert en décodage acoustico-phonétique de la parole continue T3 14 mars 1986 Jean-Paul Haton télécharger
Ahlem Ben Cherifa Preuves de terminaison des systèmes de réécriture. Un outil fondé sur les interprétations polynomiales T3 17 octobre 1986 Pierre Lescanne (numérisation à venir)
Josette Morinet-Lambert Intégration de l'image en E.A.O. : l'illustrateur T3 21 octobre 1986 Maryse Quéré télécharger
Jalel Mzali Méthodes de filtrage équationnel et de preuve automatique de théorèmes T3 27 octobre 1986 Jean-Pierre Jouannaud télécharger
1987
Anne Boyer Application des techniques de programmation dynamique et de quantification vectorielle à la reconnaissance des mots isolés et des mots enchaînés T3 1er avril 1987 Jean-Paul Haton télécharger
Jacques Lonchamp Conception des applications informatiques réparties en commande procédés industriels : une démarche, des outils TE 5 mai 1987 Marion Créhange télécharger
Abdelwaheb Belaïd Méthodes et outils de programmation de systèmes de traitement d'images : le projet SAPIN TE 15 juin 1987 ??? télécharger
Karl Tombre La saisie automatisée de documents composites : reconnaissance, codage et interprétation des parties graphiques T3 15 juin 1987 Roger Mohr télécharger
Martine Camonin MEPHISTO : un outil de validation de modèles tridimensionnels T3 20 juillet 1987 Roger Mohr télécharger
Zizette Boufriche Étude et implantation d'un langage de traitement d'images. Optimisation pour des architectures spécialisées T3 12 septembre 1987 Roger Mohr télécharger
Marie-Claude Portmann Méthodes de décomposition spatiale et temporelle en ordonnancement de la production TE 18 septembre 1987 Jean-Marie Proth télécharger
Armand Puccetti Preuves de propriétés de fatalité temps-réel de programmes ADA, sémantiques opérationnelle et axiomatique associées T3 18 septembre 1987 Patrick Cousot télécharger
Michaël Rusinowitch Démonstration automatique par des techniques de réécriture TE 6 novembre 1987 Pierre Lescanne télécharger
1988
Jean-Georges Fritsch Étude et simulation d'une famille de codeurs hybrides temporels offrant des débits de 6 à 12 Kbits/s pour des applications de qualité sub-téléphonique T3 12 février 1988 Jean-Paul Haton télécharger
Brigitte Wrobel-Dautcourt Perception de la distance par mise en correspondance de régions entre des images stéréoscopiques T3 8 mars 1988 Roger Mohr téléchargerSans doute la première thèse intégralement faite avec LaTeX à Nancy.
Pierre Réty Méthodes d'unification par surréduction T3 22 mars 1988 Pierre Lescanne, Claude Kirchner télécharger
Pascal Divoux MIMULE : Un système de reconnaissance de mots isolés multilocuteurs utilisant les techniques de classification T3 31 mars 1988 Jean-Paul Haton télécharger
Ahmed Gourinda Codage et reconnaissance de la parole par quantification vectorielle T3 1er avril 1988 Jean-Paul Haton télécharger
Azim Roussanaly DIAL, la composante dialogue d'un système de communication orale homme-machine finalisée en langage naturel T3 1er avril 1988 Jean-Marie Pierrel télécharger
Yifan Gong Contribution à l'interprétation automatique des signaux en présence d'incertitude T3 11 mai 1988 Jean-Paul Haton télécharger
Jean Parravano Un système expert de diagnostic médical appliqué à la nutrition T3 5 juillet 1988 ??? télécharger
Xavier Merlo Techniques probabilistes d'intégration et de contrôle de la perception en vue de son exploitation par le système de décision d'un robot T3 8 juillet 1988 Roger Mohr télécharger
Monique Grandbastien Une approche à base de connaissances pour l'enseignement de la programmation --- Conception et réalisation de SAIDA : Système d'Aide à l'Implantation de Données Abstraites TE 9 juillet 1988 Jean-Pierre Finance télécharger
Prosper Kwaku Doh Courbes paramétriques polynomiales et formes matricielles du théorème binomial. Nouveaux outils fondamentaux pour la conception et fabrication assistée par ordinateur TE 13 juillet 1988 Jean-Paul Haton télécharger
Noureddine Rguini Modélisation informatique de propriétés moléculaires T3 18 juillet 1988 Jean-Louis Rivail télécharger
Bernard Mangeol La composante lexicale dans les systèmes de dialogue oral homme-machine du CRIN T3 19 septembre 1988 Jean-Marie Pierrel télécharger
Martial Lallier Un environnement d'édition évolué, graphique et syntaxique, pour la conception des systèmes répartis T3 2 novembre 1988 ??? télécharger
Antoine Menegaux SAMPI : Système d'Aide à la Maintenance des Programmes Interactif T3 10 novembre 1988 Jean-Pierre Thomesse, Jean-Pierre Finance télécharger
Hervé Cuvelier Une approche de la localisation de l'information appliquée à la reconnaissance du courrier manuscrit T3 21 novembre 1988 Roger Mohr télécharger
Samuel Cruz Lara Silva GEODE : Un système pour la génération d'environnements de programmation intégrés T3 25 novembre 1988 Jean-Claude Derniame télécharger
Azzeddine Lazrek Étude et réalisation de méthodes de preuve par récurrence en logique équationnelle T3 30 novembre 1988 Pierre Lescanne télécharger
1989
Marina Marmonier Spécification et validation de systèmes de processus communicants T3 1989 Jean-Pierre Finance Thèse non retrouvée à la bibliothèque sciences
Birama Ndong Analyse comparative de quelques méthodes de conception de système d'information. Définition d'un cadre de comparaison T3 20 janvier 1989 Odile Thiery télécharger
Éric Thirion Interprétation et apprentissage géométrique en vision par ordinateur T3 27 janvier 1989 Roger Mohr télécharger
Didier Vidal Nouvelles notions de réduction en lambda-calcul. Application à la réalisation d'un langage fonctionnel fondé sur la réduction forte T3 1er février 1989 Pierre Marchand télécharger
Dominique Colnet Prototypage, programmation objet : application à l'édition structurelle T3 3 février 1989 Jean-Claude Derniame télécharger
Christian Verlinde Contribution à l'étude des architectures de systèmes automatisés T3 8 février 1989 Jean-Pierre Thomesse télécharger
Hassan Lâasri Coopération dans un univers multi-agents basée sur le modèle du blackboard : Études et réalisations T3 20 février 1989 Jean-Paul Haton volume 1  |  volume 2Thèse commune avec Brigitte Maître
Brigitte Maître Coopération dans un univers multi-agents basée sur le modèle du blackboard : Études et réalisations T3 20 février 1989 Jean-Paul Haton volume 1  |  volume 2Thèse commune avec Hassan Lâasri
Jean-Luc Delcuvellerie Ingénierie des systèmes d'automatisation de production : Connaissances en conception des architectures de systèmes informatisés d'automatisation et outil d'analyse de la robustesse aux défaillances d'architectures réparties T3 1er mars 1989 Jean-Pierre Thomesse télécharger
Pierre Nugues Interprétation de gels d'électrophorèses bidimensionnelles T3 21 mars 1989 ??? télécharger
Laurent Romary Vers la définition d'un modèle cognitif autour de la représentation du temps dans un système de dialogue homme-machine T3 14 avril 1989 Jean-Marie Pierrel télécharger
Béchir El Ayeb Méthodes, langages et outils de spécification et de construction des systèmes de diagnostic technique T3 14 avril 1989 ??? télécharger
Yudong Sun (孫宇東) Résolution de problèmes dans l'espace d'états avec abstraction de concepts --- le système expert OASIS T3 29 avril 1989 Marie-Christine Haton télécharger
Jean-Claude Junqua Contribution à l'amélioration de la robustesse des systèmes de reconnaissance automatique de mots isolés T3 19 mai 1989 Jean-Paul Haton télécharger
Noureddine Mouaddib Gestion des informations nuancées : Une proposition de modèle et de méthode pour l'identification nuancée d'un phénomène T3 22 mai 1989 Odile Foucaut télécharger
Xiao-Lan Xie Contrôle hiérarchique d'un système de production soumis à perturbations T3 19 juin 1989 ??? télécharger
Shijia Qiang Stratégie de localisation et identification d'objet à partir de quelques mesures tridimensionnelles T3 10 juillet 1989 Roger Mohr télécharger
Long Quan Contribution de la vision monoculaire à la perception tridimensionnelle T3 4 octobre 1989 Roger Mohr télécharger
Gilles Halin Apprentissage pour la recherche interactive et progressive d'images : processus EXPRIM et prototype RIVAGE T3 9 octobre 1989 Marion Créhange télécharger
Khalid Benali Assistance et pilotage dans le développement de logiciel : vers un modèle de description T3 24 novembre 1989 Jean-Claude Derniame télécharger
Charles Barthélémy Amélioration assistée de programmes par objectifs T3 8 décembre 1989 Jean-Claude Derniame télécharger
1990
Amos Abayomi David Processus EXPRIM, Image et IA pour un EIIAO individualisé (Enseignement par l'Image Intelligemment Assisté par Ordinateur) : Le prototype BIRDS T3 5 janvier 1990 Odile Thiery télécharger
Christine Fay-Varnier Aide à la détection de fautes grammaticales par une analyse progressive des phrases T3 31 janvier 1990 Daniel Coulon télécharger
Noureddine Lazrak Contribution à la vérification de spécifications algébriques. Application à certaines propriétés des programmes parallèles T3 2 février 1990 Guy-René Perrin télécharger
Yves Laprie Outils, travaux et propositions pour le décodage acoustico-phonétique T3 23 mars 1990 Jean-Marie Pierrel télécharger
Pierre Mousel Syntaxe et sémantique dans un système de dialogue oral homme-machine finalisé en langage naturel T3 6 avril 1990 Jean-Marie Pierrel télécharger
Frédéric Alexandre Une modélisation fonctionnelle du cortex : la colonne corticale. Aspects visuels et moteurs T3 9 avril 1990 Jean-Paul Haton télécharger
Frédéric Guyot Une modélisation fonctionnelle du cortex : la colonne corticale. Aspects auditifs et visuels T3 9 avril 1990 Jean-Paul Haton télécharger
Damien Zins Le bus VOLUBILIS. Étude et développement de l'accès réseau, gestion et analyse des performances T3 3 juillet 1990 ??? télécharger
Li Wu Analyse et reconnaissance de la parole par modèles rétro-autoregressifs et réseaux neuronaux T3 11 juillet 1990 Jean-Paul Haton télécharger
Aristide Mégrelis Algèbre galactique - Un procédé de calcul formel, relatif aux semi-fonctions, à l'inclusion et à l'égalité T3 11 septembre 1990 Claude Kirchner télécharger
Wadoud Bousdira Étude des propriétés des systèmes de réécriture conditionnelle. Mise en œuvre de deux algorithmes de test de confluence sur les termes clos. T3 19 octobre 1990 Jean-Luc Rémy télécharger
Joëlle Klein Contribution à la commande orale d'un robot doté d'un système de vision T3 23 octobre 1990 Jean-Marie Pierrel télécharger
Abdelaziz Kriouile La reconnaissance automatique de la parole et les modèles markoviens cachés. Modèles du second ordre et distance de Viterbi à optimalité locale T3 23 octobre 1990 Jean-Paul Haton télécharger
Abderrafiaa Koukam Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus T3 14 décembre 1990 Jacques Julliand télécharger
Henri Amet Méthodes géométriques et algorithmiques pour la planification de trajectoires T3 21 décembre 1990 René Schott télécharger

Applications de l'informatique

À quelques exceptions près, les thèses ci-dessous représentent des applications de l'informatique, notamment dans le domaine médical. Elles ont toutes été soutenues à Nancy. Sauf exceptions, ces thèses n'ont pas fait l'objet de numérisation et je ne les ai en général pas consultées. Il est cependant possible que l'une ou l'autre ait déjà été numérisée par l'Université de Lorraine.

Cette liste fournit donc un certain contexte à la première liste, plus « fondamentale ».

Ce qui reste à faire

Page créée par D. Roegel, 4 juin 2025.