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.
J'ai créé cette page pour plusieurs raisons :
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.
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.
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é.
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.
À 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 | 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 2 | Version 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écharger | Paris 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écharger | Thè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écharger | Thè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écharger | Thè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écharger | Thè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 2 | Thè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 2 | Thè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écharger | Thè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écharger | Thè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écharger | Thè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écharger | Sans 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 2 | Thè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 2 | Thè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 |
À 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 ».
Page créée par D. Roegel, 4 juin 2025.