Les Thèses et Habilitations à Diriger des Recherches préparées à l'INRIA

Depuis 2005, chercheurs et doctorants sont encouragés à déposer leurs papiers dans les archives ouvertes : https://hal.inria.fr

Les thèses préparées dans le cadre d'un projet scientifique de l'INRIA peuvent également être déposées, après soutenance, sur la même plate-forme nationale, dans l'instance spécifique TEL : http://tel.ccsd.cnrs.fr/

Les thèses signalées à l'INRIA entre 1985 et 2005, antérieurement à la mise en place des Archives ouvertes, sont recensées ci-après (liste non exhaustive) :

• TU-XXXX : Les thèses d'université
• TH-XXXX : Habilitations à Diriger des Recherches

• Les points verts indiquent que la thèse existe en version électronique.
• Les points rouges indiquent que la thèse n'a pas de version électronique. Elle est consultable dans les centres de documentation.

• 2005

  • TU-1151     Ezziani, Abdelaâziz : Modélisation mathématique et numérique de la propagation d'ondes dans les milieux viscoélastiques et poroélastiques
  • TU-1142     Fouard, Céline : Extraction de paramètres morphométriques pour l'étude du réseau micro-vasculaire cérébral
  • TU-1132     Diaz, Julien : Approches analytiques et numériques de problèmes de transmission en propagation d'ondes en régime transitoire. Application au couplage fluide-structure et aux méthodes de couches parfaitement adaptées

• 2004

  • TU-1150     Vu, Van Thinh : Scénarios temporels pour l'interprétation automatique de séquences vidéos
  • TU-1149     Zimmer, Pascal : Récursion généralisée et inférence de types avec intersection
  • TU-1148     Mailleret, Ludovic : Stabilisation globale de systèmes dynamiques positifs mal connus. Applications en Biologie
  • TU-1147     Ramos Ramos, Victor Manuel : Transmission robuste et fiable du multimédia sur Internet
  • TU-1146     Das Barman, Kuntal : Sémantique en théorie des types pour les langages de programmation
  • TU-1145     Martinez, Miguel : Interpretations probabilistes d'operateurs sous forme divergence et analyse de methodes numeriques probabilistes associees
  • TU-1144     Boulifa, Rabea : Génération de modèles des applications réparties
  • TU-1143     Lacoste, Caroline : Extraction de réseaux linéiques à partir d'images satellitaires et aériennes par processus ponctuels marqués
  • TU-1141     Aujol, Jean-françois : Contribution à l'analyse de textures en traitement d'images par méthodes variationnelles et équations aux dérivées partielles
  • TU-1140     Brunette, Christian : Construction et simulation graphiques de comportements: le modèle des Icobjs
  • TU-1139     Lalande, Jean-françois : Conception de réseaux de télécommunications : optimisation et expérimentations
  • TU-1138     Ortner, Mathias : Processus Ponctuels Marqués pour l'Extraction Automatique de Caricatures de Batiments à partir de Modèles Numériques d'Elévation
  • TU-1137     Cohen-Steiner, David : Quelques problèmes li es a la discrétisation de surfaces
  • TU-1136     Nicolau, Stéphane : Un système de réalité augmentée pour guider les opérations du foie en radiologie interventionnelle
  • TU-1135     Chane-yook, Martine : Etude d'une equation cinetique liee a l'effet Compton - Modélisation et simulation 3D de la charge d'un satellite en environnement plasmique
  • TU-1134     Ayesta, Urtzi : Ordonnancement stochastique et application aux réseaux TCP/IP
  • TU-1133     Prados, Emmanuel : Application de la theorie des solutions de viscosite au probleme du Shape From Shading
  • TU-1131     Audusse, Emmanuel : Modélisation hyperbolique et analyse numérique pour les écoulements en eaux peu profondes
  • TU-1130     Marchand, Corine : Mise au point d'algorithmes répartis dans un environnement fortement variable, et expérimentation dans le contexte des pico-réseaux
  • TU-1129     Guermouche, Abdou : Étude et optimisation du comportement mémoire dans les méthodes paralèlles de factorisation de matrices creuses
  • TU-1128     Marvie, Jean-Eudes : Visualisation interactive d'environnements virtuels complexes à travers des réseaux et sur des machines à performances variables
  • TU-1127     Awasthi, Anjali : Développement d'’un système de routage hiérarchique pour les réseaux urbains
  • TU-1125     Champagne, Isabelle : Méthodes de factorisation des équations aux dérivées partielles
  • TU-1123     Arnaud, Elise : Méthodes de filtrage pour du suivi dans des séquences d'images - Application au suivi de points caractéristiques
  • TU-1122     Cammas, Nathalie : Codage vidéo scalable par maillages et ondelettes t+2D
  • TU-1121     Abbes, Samy : Modèle probabiliste de systèmes distribués et concurrents. Théorèmes limite et application à l'estimation statistique de paramètres
  • TU-1120     Zinovieva-Leroux, Eléna : Méthodes symboliques pour la génération de tests de systèmes réactifs comportant des données
  • TU-1119     Morin-Allory, Katell : Vérification Formelle dans le Modèle Polyédrique
  • TU-1117     El Golli, Aïcha : Extraction de données symboliques et cartes topologiques: application aux données ayant une structure complexe
  • TU-1116     Colcombet, Thomas : Représentations et propriétés de structures infinies
  • TU-1115     Macedo, Karine : Modélisation d'aspects qualité de service en UML : application aux composants logiciels
  • TU-1114     Boudani, Ali : Routage multicast : gestion des petits groupes et ingénierie de trafic
  • TU-1113     Chavira-Martínez, Dubhe : Schéma de codage vidéo orienté-textures : une approche robuste et scalable pour la diffusion sur réseaux
  • TU-1112     García-Vázquez, Mireya Saraí : Analyse des mouvements non-plans des objets vidéo : Application à la manipulation et à la compression basée objet des séquences vidéo
  • TU-1111     Thierry, Cachat, : Jeux sur des graphes d'automates à pile et leurs extensions
  • TU-1109     Hadji, El : Modélisation polychrone et évaluation de systèmes temps réel
  • TU-1108     Pokam, Gilles : Techniques de compilation pour la gestion et l'optimisation de la consommation d'énergie des architectures VLIW
  • TU-1107     Troël, Arnaud : Prise en compte de la mobilité dans les interactions de proximité entre terminaux à profils hétérogènes
  • TU-1106     Touzet, David : Interrogation continue des systèmes d'information de proximité
  • TU-1105     Tahri, Omar : Utilisation des moments en asservissement visuel et en calcul de pose
  • TU-1104     Berrani, Sid-Ahmed : Recherche approximative de plus proches voisins avec contrôle probabiliste de la précision ; application à la recherche d'images par le contenu
  • TU-1071     Le Botlan, Didier : Une extension de ML avec polymorphisme de second ordre et instanciation implicite
  • TU-1070     Vandenbogaert, Mathias : Algorithmes et mesures statistiques pour la recherche de signaux fonctionnels dans les zones de régulation
  • TU-0821     Scarella, Gilles : Etude théorique et numérique de la propagation d'ondes en présence de contact unilatéral dans un milieu fissuré
  • TU-0820     Blondel, Christophe : Modélisation 3D et 3D+t des artères coronaires à partir de séquences rotationnelles de projections rayons X
  • TU-0819     Simonet, Vincent : Inférence de flots d'information pour ML: Formalisation et implantation
  • TU-0818     Martin, Vincent : Simulations multidomaines des écoulements en milieu poreux
  • TU-0817     Lemesle, Valérie : Modélisation mathématique structurée de la croissance cellulaire en chemostat: analyse et estimation
  • TU-0814     Tavernier, Cédric : Testeurs, problèmes de reconstruction univariés, et application à la cryptanalyse du DES
  • TU-0813     Sundaraj, Kenneth : Real-Time Dynamic Simulation and 3D Interaction of Biological Tissue Application o Medical Simulator
  • TH-049     Morin, Pascal : Stabilisation de systèmes non linéaires critiques et application à la commande de véhicules
  • TH-047     Stéphane, Donikian, : Modélisation, contrôle et animation d'agents virtuels autonomes évoluant dans des environnements informés et structurés
  • TH-027     Descombes, Xavier : Méthodes stochastiques en analyse d'image : des champs de Markov aux processus ponctuels marqués

• 2003

  • TU-1126     Le Saux, Bertrand : Classification non-exclusive et personnalisation par apprentissage : application à la navigation dans les bases d'images
  • TU-1124     Guittet, Kévin : Contributions à la résolution numérique de problèmes de transport optimal de masse
  • TU-1110     Geoffroy, Vallée, : Conception d'un ordonnanceur de processus adaptable pour la gestion globale des ressources dans les grappes de calculateurs : mise en oeuvre dans le système d'exploitation Kerrighed
  • TU-1099     Urvoy, Tanguy : Familles abstraites de graphes
  • TU-1098     Tezeghdanti, Miled : Ingénierie de trafic intra-aire et multi-aires pour les réseaux dorsaux IP
  • TU-1097     Roy, Matthieu : Synchronisation distribuée sans attente : application à la résolution des problèmes d'accord par contrainte des données
  • TU-1096     Roy, Matthieu : Synchronisation distribuée sans attente : application à la résolution des problèmes d'accord par contrainte des données
  • TU-1095     Ray, Cyril : ATLAS, une plate-forme pour la modélisation et la simulation de systèmes désagrégés
  • TU-1094     Ragot, Nicolas : MÉLIDIS : Reconnaissance de formes par modélisation mixte intrinsèque/discriminante à base de systèmes d'inférence floue hiérarchisés
  • TU-1093     Rabehasaina, Landy : Files et réseaux de files d'attente fluides du second ordre en environnement aléatoire
  • TU-1092     Priam, Rodolphe : Méthodes de carte auto-organisatrice par mélange de lois contraintes. Application à l'exploration dans les tableaux de contingence textuels
  • TU-1091     Porto, Luciano : Conception aisée et robuste d'ordonnanceurs de processus au moyen d'un langage dédié
  • TU-1090     Pickin, Simon : Test des composants logiciels pour le télécommunications
  • TU-1089     Mourgaya, Éric : Les problemes d'accord : une approche comportementale
  • TU-1088     Meyer, Tangi : Retour d'effort et réalité virtuelle : Proposition d'une boîte à outils pour l'intégration logicielle générique de la détection de collisions et de la simulation physique
  • TU-1087     Le Nir, Yannick : Structures des analyses syntaxiques catégorielles. Application à l'inférence grammaticale
  • TU-1086     Le Mouël, Frédéric : Environnement adaptatif d'exécution distribuée d'applications dans un contexte mobile
  • TU-1085     Le Guelvouit, Gaëtan : Tatouage robuste par étalement de spectre avec prise en compte de l'information adjacente
  • TU-1084     Hue, Carine : Méthodes séquentielles de Monte Carlo pour le filtrage non linéaire multi-objets dans un environnement bruité. Applications au pistage multi-cibles et à la trajectographie d'entités dans des séquences d'images 2D
  • TU-1083     Guillou, Anne-Claire : Synthèse architecturale basée sur le modèle polyédrique : Validation et extensions de la méthodologie MMALPHA
  • TU-1082     Fredouille, Daniel : Inférence d'automates finis non déterministes par gestion de l'ambiguïté, en vue d'applications en bioinformatique
  • TU-1081     Deuff, Dominique : Structuration et représentation de contenus multimédias pour une application dans le domaine de l'éducation
  • TU-1080     Denis, Alexandre : Contribution à la conception d'une plate-forme haute performance d'intégration d'exécutifs communicants pour la programmation des grilles de calcul
  • TU-1079     Decotigny, David : Une infrastructure de simulation modulaire pour l'évaluation de performances de systèmes temps-réel
  • TU-1078     David, Raphaël : Architecture reconfigurable dynamiquement pour applications mobiles
  • TU-1077     Corouge, Isabelle : Modélisation statistique de formes en imagerie cérébrale
  • TU-1076     Claveau, Vincent : Acquisition automatique de lexiques sémantiques pour la recherche d'information
  • TU-1075     Chaumont, Marc : Représentation en objets vidéo pour un codage progressif et concurrentiel des séquences d'images
  • TU-1074     Bertel, François : Animation d'humanoïde dans un contexte conversationnel impliquant un dialogue verbal et non-verbal
  • TU-1073     Benaroya, Elie Laurent : Séparation de plusieurs sources sonores avec un seul microphone
  • TU-1072     Baudry, Benoit : Assemblage testable et validation de composants
  • TU-1068     Rivano, Hervé : Algorithmique et télécommunications : Coloration et multiflot approchés et applications aux réseaux d'infrastructure
  • TU-1040     Rippert, Christophe : Protection dans les architectures de systèmes flexibles
  • TU-1039     Marangozova, Vania : Duplication et cohérence configurables dans les applications réparties à base de composants
  • TU-1038     Simon, Patarin : Pandora: support pour des services de métrologie à l'échelle d'Internet
  • TU-1037     Awa, Ndeye : Sur la discrétisation et le comportement à petit bruit d'EDS unidimensionnelles dont les coefficients sont à dérivées singulières
  • TU-1036     Viéron, Jérôme : Codage Scalable et Contrôle de Congestion pour Transmission Vidéo sur Réseaux Hétérogènes
  • TU-1035     Guionnet, Thomas : Codage robuste par descriptions multiples pour transmission sans fil d'information multimédia
  • TU-1029     Ménardais, Stéphane : Fusion et adaptation temps réel de mouvements acquis pour l'animation d'humanoïdes synthétiques
  • TU-1024     Mohamed, Samir Ahmed : Évaluation automatique de la qualité des flux multimédias en temps réel : une approche par réseaux de neurones
  • TU-0816     Lacombe, Caroline : Modèles variationnels et équations aux dérivées partielles pour le déroulement de phase en interférométrie radar de type RSO
  • TU-0815     Grazzini, Jacopo : Analyses multiéchelle et multifractale d'images météorologiques : application à la détection de zones précipitantes
  • TU-0812     Jebali, Ahmed : Contrôle de divergence dans des environnements faiblement connectés
  • TU-0811     Brady, Karen : A probabilistic Framework for Adaptive Texture Description
  • TU-0810     Hirschowitz, Tom : Modules mixins, modules et récursion étendue en appel par valeur
  • TU-0809     Murrone, Angelo : Modèles bi-fluides à six et sept équations pour les écoulements diphasiques à faible nombre de Mach
  • TU-0808     Sermesant, Maxime : Modèle électromécanique du coeur pour l'analyse d'image et la simulation
  • TU-0807     Canouet, Nicolas : Méthodes de Galerkin Discontinu pour la résolution du système de Maxwell sur des maillages localement raffinés non-conformes
  • TU-0806     Guigue, Philippe : Constructions géométriques à précision fixée
  • TU-0805     Flötotto, Julia : A Coordinate System associated to a Point Cloud issued from a Manifold: Definition, Properties and Applications
  • TU-0804     Boulkenafed, Malika : Gestion de l'accès aux données dans les réseaux sans fil en mode ad hoc
  • TU-0803     Medina-Ramirez, Carolina Reyna : Contribution a la recherche d'informations Semantiques : Capitalisation de connaissances dans une memoire documentaire d'interactions geniques
  • TU-0802     Courty, Francois : Optimisation différentiable en mécanique des fluides numérique
  • TU-0800     Claude, Jean : Contribution à la stabilisation des systèmes mécaniques Contibution à l'étude de la stabilité des modèles épidémiologiques
  • TU-0799     Chicli, Laurent : Sur la formalisation des mathématiques dans le calcul des constructions inductives
  • TU-0798     Sahbi, Hichem : Machines à vecteurs de supports pour une détection hiérarchique des visages
  • TU-0797     Seuret, Stéphane : Analyse de régularité locale, quelques applications à l'analyse multifractale
  • TU-0795     Magaud, Nicolas : Changements de représentation des données dans le calcul des constructions
  • TU-0794     Serban, Rares : Dynamic QoS Management in the Internet
  • TU-0793     Bartoli, Adrien : Reconstruction et alignement en vision 3D : points, droites, plans et caméras
  • TU-0792     Berthelot, Christophe : Évaluation d'une architecture vectorielle pour des méthodes de Monte-Carlo : Analyse probabiliste de conditions au bord artificielles pour des inéquation variationnelles.
  • TU-0791     Alauzet, Frédéric : Adaptation de maillage anisotrope en trois dimensions : application aux simulations instationnaires en mécanique des fluides
  • TU-0790     Hermosillo Valadez, Jorge : Motion Planning and Feedback Control of Bi-steerable Robots : an Approach Based on Differential Flatness
  • TU-0789     Cobéna, Grégory : Change management of semi-structured data on the Web
  • TU-0788     Chauhan, Satyaveer Singh : Chaînes d'approvisionnement : approches stratégique et tectique
  • TU-0786     Malouch, Naceur : Modélisation et optimisation de mécanismes de services à valeur ajoutée dans Internet
  • TU-0785     Diop, Awa : Sur la discrétisation et le comportement à petit bruit d'EDS unidimensionnelles dont les coefficients sont à dérivées singulières
  • TU-0784     Küstner, Reinhold : Asymptotic Zero Distribution of Orthogonal Polynomials with respect to Complex Measures having Argument of Bounded Variation
  • TU-0783     Patarin, Simon : Pandora : support pour des services de métrologie à l'échelle d'Internet
  • TU-0781     Abad, Frédéric : Contributions à la synthèse de nouvelles vues à partir de photographies
  • TU-0779     Mendoza Serrano, César Augusto : Soft Tissue Interactive Simulations for Medical Applications Including 3D Cutting and Force Feedback
  • TU-0776     Forest, Clément : Simulation de chirurgie par coelioscopie : contributions à l'étude de la découpe volumique, au retour d'effort et à la modélisation des vaisseaux sanguins
  • TU-0775     Garcìa Ramirez, Rubén Senen : Programmation bayésienne des bras manipulateurs
  • TU-0774     Corset, Franck : Aide à l'optimisation de maintenance à partir de réseaux bayésiens et fiabilité dans un contexte doublement censuré
  • TU-0773     Stoeckel, Jonathan : Classification Tools for Image-Based Diagnosis: Application to Alzheimer's Disease and Other Brain Diseases
  • TU-0772     Diard, Julien : La carte bayésienne : un modèle probabiliste hiérarchique pour la navigation en robotique mobile
  • TU-0770     Delteil, Alexandre : Représentation et apprentissage de concepts et d'ontologies pour le web sémantique
  • TU-0768     Pélisson, Fabien : Reconnaissance et indexation basées sur l'apparence
  • TU-0767     Fauqueux, Sandrine : Eléments finis mixtes spectraux et couches absorbantes parfaitement adaptées pour la propagation d'ondes élastiques en régime transitoire
  • TU-0764     Durand, Jean-Baptiste : Modèles à structure cachée : inférence, estimation, sélection de modèles et applications
  • TU-0763     Tran Thuong, Tien : Modélisation et traitement du contenu des médias pour l’édition et la présentation de documents multimédias
  • TH-026     Lanteri, Stéphane : Méthodes numériques performantes en maillages non-structurés et applications en mécanique des fluides compressibles
  • TH-025     Pottier, Loïc : Quelques expériences de calculs et de raisonnements à l'aide de machines
  • TH-024     Bécache, Eliane : Méthodes variationnelles, domaines fictifs et conditions aux limites artificielles pour des problèmes hyperboliques linéaires. Applications aux ondes dans les solides.

• 2002

  • TU-1103     Derrien, Steven : Etude quantitative des techniques de partitionnement de réseaux de processeurs pour l'implantation sur circuits FPGA
  • TU-1102     Blouet, Raphaël : Approche probabiliste par arbres de décision pour la vérification automatique du locuteur sur architectures embarquées
  • TU-1069     Conan-Guez, Brieuc : Modélisation supervisée de données fonctionnelles par perceptron multi-couches
  • TU-1067     Trebuchet, Philippe : Vers une résolution stable et rapide des équations algébriques
  • TU-1066     Sylvand, Guillaume : La méthode multipôle rapide en électromagnétisme : performances, parallélisation, applications
  • TU-1065     Richer, Nicolas : Stratégies de gestion mémoire dans les Mémoires d'Objets Persistantes Automatiques Partitionnées
  • TU-1064     Nguyen, Quqang Huy : Calcul de réécriture et automatisation du raisonnement dans les assistants de preuve
  • TU-1063     Deplagne, Eric : Système de preuve modulo récurrence
  • TU-1062     Furuse, Jun : Extensional polymorphism : Theory and application
  • TU-1034     Barbot, Nelly : Files d'attente fluides en environnement markovien
  • TU-1033     Le Meur, Anne-Françoise : Approche déclarative à la spécialisation de programmes C
  • TU-1032     Menard, Daneil : Méthodologie de compilation d'algorithmes de traitement du signal pour les processeurs en virgule fixe sous contrainte de précision
  • TU-1031     Besson, Frédéric : Résolution modulaire d'analyses de programmes: application à la sécurité logicielle
  • TU-1030     Blin, Laurent : Apprentissage de structures d'arbres à partir d'exemples ; application à la prosodie pour la synthèse de la parole
  • TU-1028     Courty, Nicolas : Animation référencée vision : de la tâche au comportement
  • TU-1027     François, Hélène : Synthèse de la parole par concaténation d'unités acoustiques: construction et exploitation d'une base de parole continue
  • TU-1026     Djiéya Nganchui, Ferry : Contributions à la conception de systèmes de contrôle de trafic et de gestion de ressources en ATM
  • TU-1025     Monsifrot, Antoine : Utilisation du raisonnement à partir de cas et de l'apprentissage pour l'optimisation de code
  • TU-1023     Kerboeuf, Mickaël : Orientation objet d'un calcul de processus synchrones
  • TU-1022     Nebut, Mirabelle : Réactions synchrones : spécification et analyse
  • TU-1021     Pinel, Jean-Marie : Etude des conditions d'éclairement dans une séquence d'images et application à la composition et au codage de scènes vidéo
  • TU-1020     Gonçalves Pereira Greve, Fabíola : Réponses efficaces au besoin d'accord dans un groupe
  • TU-1019     Demairy, Erwan : Aide à la conception des applications multimédias
  • TU-1018     Ferré, Sébastien : Systèmes d'information logiques : un paradigme logico-contextuel pour interroger, naviguer et apprendre
  • TU-1017     Parain, Frédéric : Ordonnancement sous contraintes énergétiques d'applications multimédia sur une plate-forme multiprocesseur hétérogène
  • TU-1016     Clavel, Arnaud : Modélisation et identification paramétrique de systèmes hystérétiques. Application à la suspension des véhicules routiers
  • TU-1015     Boinot, Philippe : Une approche déclarative de la flexibilité du logiciel
  • TU-1014     Le Maigat, Pierre : Techniques algébriques Max-Plus pour l'analyse des performances temporelles de systèmes concurrents
  • TU-1013     Xu, Aiping : Observateurs adaptatifs non-linéaires et diagnostic de pannes
  • TU-1012     Pencolé, Yannick : Diagnostic décentralisé de systèmes à événements discrets : application aux réseaux de télécommunications
  • TU-1011     Hoteit, Hussein : Simulation d'écoulements et de transports de polluants en milieu poreux : application à la modélisation de la sûreté des dépôts de déchets radioactif
  • TU-1010     Le Lann, Jean-Christophe : Simulation et synthèse de circuits s'appuyant sur le modèle synchrone
  • TU-1009     Rouvrais, Siegfried : Utilisation d'agents mobiles pour la construction de services distribués
  • TU-1008     Corpetti, Thomas : Estimation et analyse de champs denses de vitesses d'écoulements fluides
  • TU-1007     Hénocq, Xavier : Contrôle d'erreur pour transmission de flux vidéo temps réels sur réseaux de paquets hétérogènes et variant dans le temps
  • TU-1005     Higuera Toledano, Maria Teresa : Solutions à la gestion de mémoire pour systèmes Java temps réel
  • TU-1003     Conchon, Sylvain : Analyse modulaire de flot d'information pour les calculs séquentiels et concurrents
  • TU-1002     Brunet, Olivier : Etude de la connaissance dans le cadre d'observations partielles : la logique de l'observation
  • TU-1000     Balaa, Antonia : Fonctions récursives générales dans le calcul des constructions
  • TU-0997     Guyader, Arnaud : Contribution aux algorithmes de décodage pour les codes graphiques
  • TU-0996     Nicolas, Yannick : Construction de représentations 3D compactes de séquences vidéo pour la navigation à distance dans des scènes tridimensionnelles
  • TU-0995     Deniel, Jean-Marc : Modélisation des luminaires et des BRDF : réalisation, mesure et compression
  • TU-0990     Veneau, Emmanuel : Macro-segmentation multi-critère et classification de séquences par le contenu dynamique pour l'indexation vidéo
  • TU-0987     Galpin, Franck : Représentation 3D de séquences vidéo : schéma d'extraction automatique d'un flux de modèles 3D, applications à la compression et à la réalité virtuelle
  • TU-0801     Naciri, Hanane : Conception et réalisation d'outils pour l'interaction homme machine dans les environnements de démonstrations mathématiques
  • TU-0796     Redon, Stéphane : Algorithmes de simulation dynamique interactive d'objets rigides
  • TU-0787     Huet, Fabrice : Objets mobiles : conception d'un middleware et évaluation de la communication
  • TU-0782     Courbis, Carine : Contribution à la programmation générative. Application dans le générateur SmartTools : technologies XML, programmation par aspects et composants
  • TU-0777     Jeanpierre, Laurent : Apprentissage et adaptation pour la modélisation stochastique de systèmes dynamiques réels
  • TU-0771     Jermann, Christophe : Résolution de contraintes géométriques par rigidifications récursive et propagation d'intervalles
  • TU-0769     Pietriga, Emmanuel : Environnements et langages de programmation visuels pour le traitement de documents structurés
  • TU-0766     Lahoche, Fabien : Suivi spatio-temporel de paramètres hydrologiques sur un bassin versant par couplage de données satellitaires
  • TU-0765     Langlois, David : Notions d'événements distants et d'événements impossibles en modélisation stochastique du langage : application aux modèles n-grammes de mots et de séquences
  • TU-0762     Filali, Fethi : Multicast Service Deployment in Heterogeneous Environments
  • TU-0761     Bellot, David : Fusion de données avec des réseaux bayésiens pour la modélisation des systèmes dynamiques et son application en télémédecine
  • TU-0760     Martin, Olivier : Approches statistiques pour l'analyse de données de puces à ADN
  • TU-0759     Dey, Nicolas : Etude de la formation de l'image d'un objet microscopique 3D translucide - Application à la microscopie optique
  • TU-0758     Drot, Sébastien : Segmentation d'images d'observation de la terre par des techniques de géométrie stochastique
  • TU-0757     Tschumperlé, David : Régularisation d'images multivaluées par EDP et applications
  • TU-0756     Madeline, Blaise : Algorithmes évolutionnaires et résolution de problèmes de satisfaction de contraintes en domaines finis
  • TU-0754     Alouf, Sara : Estimation de paramètres et analyse des performances de diverses applications
  • TU-0753     Garrido, Myriam : Modélisation des événements rares et estimation des quantiles extrêmes, méthodes de sélection de modèles pour les queues de distribution
  • TU-0752     Duron, Cyril : Ordonnancement en temps-réel des activités des radars
  • TU-0751     Turbet, Jrémie : De l'analyse à la conception d'algorithmes pour une radiosité hiérarchique efficace
  • TU-0750     Gandon, Fabien : Intelligence artificielle distribuée et gestion des connaissances : ontologies et systèmes multi-agents pour un web sémantique organisationnel
  • TU-0749     Azevedo, Christine : Contrôle de la locomotion artificielle : de l'homme aux robots
  • TU-0748     Rey, David : Détection et quantification automatiques de processus évolutifs dans des images médicales tridimensionnelles : application à la sclérose en plaques
  • TU-0747     Rellier, Guillaume : Analyse de textures dans l'espace hyperspectral par des méthodes probabilistes
  • TU-0746     Choplin, Sébastien : Dimensionnement de réseaux virtuels de télécommunications
  • TU-0745     Pereira, João : Algorithmes de filtrage efficace pour les systèmes de diffusion d'information à base de notifications
  • TU-0744     Ourselin, Sébastien : Recalage d'images médicales par appariement de régions : Application à la construction d'atlas histologiques 3D
  • TU-0743     Abdelwahed, Mohamed : Modélisation et simulation numérique d'écoulements diphasiques
  • TU-0742     Parmentier, Thibault : Choix rationnels et résolutions réparties de problèmes
  • TU-0741     Schmitt, Alan : Conception et implémentation de Calculs d'Agents Mobiles
  • TU-0740     Derveaux, Grégoire : Modelisation numerique de la guitare acoustique
  • TU-0739     Le Floc'h, Emilie : Etude expérimentale des limitations simultanées de l'azote et de la lumière sur la croissance Rhodomonas salina (Cryptophyceae)
  • TU-0738     Adhami, Louaï : Une architecture logicielle intégrée pour la chirurgie mini-invasive robotisée : focalisation sur la planification
  • TU-0737     Victorino, Alessandro Corrêa : La commande référencée capteur: une approche robuste au problème de navigation, localisation et cartographie simultanées pour un robot d'intérieur
  • TU-0736     Golebiowska, Joanna : Exploitation des ontologies pour la mémoire d'un projet-véhicule, Méthode et outil SAMOVAR (Système d'Analyse et de Modélisation des Validations des Automobiles Renault)
  • TU-0735     Sminchisescu, Cristian : Estimation Algorithms for Ambiguous Visual Models - Three-dimensional Human Modeling and Motion Reconstruction in Monocular Video Sequences
  • TU-0734     Ruatta, Olivier : Dualite algebrique, structures et applications
  • TU-0733     Ferent, Anca : Conception et analyse d'éléments finis de coques minces adaptés à l'inclusion dans un ;ilieu tridimensionnel
  • TU-0732     Laouiti, Anis : Unicast et Multicast deans les réseaux ad hoc sans fil
  • TU-0731     Veltri, Pierangelo : A View Mechanism for Large Scale XML Repositories : Design and implementation
  • TU-0730     Dube, Parijat : Evaluation des performances des phénomènes de congestion dans les réseaux de comminication
  • TU-0729     Mati, Yazid : Les problèmes d'ordonnancement dans les systèmes de production automatisés : Modèles, complexité et approches de résolution
  • TU-0728     Hermosillo Valadez, Gerardo : Variational Methods for Multimodal Image Matching
  • TU-0727     Hammoud, Riad : Construction et présentation des vidéos interactives
  • TU-0726     Touati, Sid-Ahmed-Ali : Register Pressure in Instruction Level Parallelism
  • TU-0725     Laugier, Alexandre : Cônes de matrices et programmation mathématique : quelques applications
  • TU-0723     Barrenechea Gutiérrez, Gabriel Raúl : Analyse numérique et lois de paroi pour des problèmes incompressibles instationnaires sur des parois rugueuses
  • TU-0722     Monti, Alessandro : Modélisation et analyse des rythmes dans les systèmes respiratoires et cardiovasculaire
  • TU-0719     Villard, Lionel : Modèles de documents pour l'édition et l'adaptation de présentations multimédias
  • TU-0718     Urso, Pascal : Généralisations et méthodes correctes pour l'induction mathématique
  • TU-0715     Inostroza, Patricio : Connection and composition technologies for virtual environments
  • TU-0712     Brito, Isabel : Combinaison de modèles en analyse discriminante dans un contexte gaussien
  • TU-0711     Janka, Ales : Algorithmes multigrilles pour les ecoulements compressibles laminaires
  • TU-0710     Espiau, François-Xavier : Métrologie 3D par vision active sur des objets naturels sous-marins
  • TU-0707     Jonsson, Xavier : Méthode de points intérieurs et de régions de confiance en optimisation non linéaire et applications à la conception de verres ophtalmiques progressifs
  • TU-0705     Cachier, Pascal : Recalage non rigide d'images médicales volumiques : contributions aux approches iconiques et géométriques
  • TU-0699     Da, Tran Kai Frank : L'interpolation de formes
  • TH-046     Sendrier, Nicolas : Cryptosystèmes à clé publique basés sur les codes correcteurs d'erreurs
  • TH-041     Kermarrec, Anne-Marie : Diffusion fiable large-échelle
  • TH-023     Alagha, Khaldoun : Evoluer vers la 4e gnération
  • TH-021     Yahia, Hussein M. : Modèles d'évolution spatio-temporelle

• 2001

  • TU-1061     Nauer, Emmanuel : Principes de conception de systèmes hypertextes pour la fouille de données bibliographiques multibases
  • TU-1060     Mayero, Micaela : Formalisation et Automatisation de Preuves en Analyse et en Analyse Numérique
  • TU-1059     Le Fessant, Fabrice : JoCaml: Conception et Implementation d'un Langage a Agents Mobiles
  • TU-1058     Delahaye, David : Conception de langages pour décrire les preuves et les automatisations dans les outils d'aide à la preuve: une étude dans le cadre du système Coq
  • TU-1057     Banderier, Cyril : Combinatoire analytique des chemins et des carte
  • TU-1056     Salmon-Alt, Susanne : Référence et dialogue finalisé : de la linguistique à un modèle opérationnel
  • TU-1055     Palma, Noël de : ervice d'administration d'applications réparties
  • TU-1054     Colin, Antoine : Estimation de temps d'exécution au pire cas par analyse statique et application aux systèmes d'exploitation temps-réel
  • TU-1053     Pennaneac'h, François : UML : de l'action à la réflexion
  • TU-1051     Prima, Sylvain : Etude de la symétrie bilatérale en imagerie cérébrale volumique
  • TU-1043     Fassino, Jean-Philippe : THINK : vers une architecture de systèmes flexibles
  • TU-1042     Cecchet, Emmanuel : Apport des réseaux à capacité d'adressage pour des grappes à mémoire partagée distribuée logicielle
  • TU-1041     Bruneton, Éric : Un support d'exécution pour l'adaptation des aspects non-fonctionnels des applications réparties
  • TU-1006     Mezouar, Youcef : Planification de trajectoires pour l'asservissement visuel
  • TU-1004     Wang, Yunming : UML et technologie synchrone pour les systèmes réactifs distribués
  • TU-1001     d'Aulignac, Diego : Modeling interaction with deformable objects in real-time for medical simulators
  • TU-0999     Mezher, Dany : Calcul parallèle de pseudospectres
  • TU-0994     Chodorowski, Jacques : Inférence grammaticale pour l'apprentissage de la syntaxe en reconnaissance de la parole et dialogue oral
  • TU-0993     Éluard, Marc : Analyse de sécurité pour la certification d'applications Java Card
  • TU-0992     Réveillère, Laurent : Approche langage au développement de pilotes de périphériques robustes
  • TU-0991     Denoual, Franck : Développement d'une plate-forme logicielle orientée objet pour la décompression et l'édition vidéo sur noyau temps-réel
  • TU-0989     Ho, Wai-Mig : Contribution à la réification d'un processus de conception
  • TU-0988     Grosclaude, Irène : Diagnostic abductif temporel : scénarios de pannes, modèles causaux et traitement de l'interaction
  • TU-0986     Le Guennec, Alain : Génie logiciel et méthodes formelles avec UML : spécification, validation et génération de tests
  • TU-0985     Morvan, Christophe : Les graphes rationnels
  • TU-0984     Lottiaux, Renaud : Gestion globale de la mémoire physique d'une grappe pour un système à image unique : mise en oeuvre dans le système Gobelins
  • TU-0983     Flandin, Grégory : Modélisation probabiliste et exploration visuelle autonome pour la reconstruction de scènes inconnues
  • TU-0982     Dekeyser, Fabien : Restauration de séquences d'images par des approches spatio-temporelles : filtrage et super-résolution par le mouvement
  • TU-0981     Dambreville, Frédéric : Optimisation de la gestion des capteurs et des informations pour un système de détection
  • TU-0980     Omnès, Nathalie : Analyse d'outils de contrôle de la qualité de service dans les réseaux de paquets haut débit
  • TU-0978     Mentré, David : Une méthode de construction des mémoires partagées intégrant spécification, vérification et réalisation
  • TU-0977     Margery, David : Environnement logiciel temps-réel distribué pour la simulation sur réseau de PC
  • TU-0976     Devillers, Frédéric : Langage de scénario pour des acteurs semi-autonomes
  • TU-0975     Seck, Mouhamadou : Détection de ruptures et suivi de classe de sons pour l'indexation sonore
  • TU-0974     Hamza, Moulaye : Sensibilité de mesures transitoires des chaînes de Markov raides : algorithmes de calcul
  • TU-0973     Fablet, Ronan : Modélisation statistique non paramétrique et reconnaissance du mouvement dans des séquences d'images ; application à l'indexation vidéo
  • TU-0971     Tadonki, Claude Martin : Contributions à l'algorithmique parallèle
  • TU-0969     Le Léannec, Fabrice : Codage vidéo robuste et hiérarchique pour la transmission sur réseaux hétérogènes
  • TU-0968     Le Guen, Delphine : Étude de schémas de régulation à double contrainte, débit-qualité locale, pour la compression embarquée d'images satellitales
  • TU-0966     Jiménez Fraustro, Fernando Fermin : Conception sûre des automatismes industriels : modélisation synchrone de langages d'automates programmables de la norme CEI-61131-3
  • TU-0963     Fritzke, Udo : Les systèmes transactionnels répartis pour données dupliquées fondés sur la communication de groupes
  • TU-0778     Karoui, Ramzi : Couplage asynchrone et fiable entre plateformes CORBA moyennant des services transactionnels
  • TU-0755     Cochet-Terrasson, Jean : Algorithmes d'itération sur lwes politiques pour les applications monotones contractantes
  • TU-0724     Bouzid, Makram : Contribution à la modélisation agent/environnement : modélisation stochastique et simulation parallèle
  • TU-0720     Gillard, Guillaume : Formalisation des langages concurrents et à objets modulo l'alpha-conversion
  • TU-0717     Médini, Lionel : Accès à l'information orienté-utilisateur par recontextualisation et articulation du besoin d'information
  • TU-0716     Faubourg, Ludovic : Construction de fonctions de Lyapunov controlées et stabilisation non-lineaire
  • TU-0714     Ernst, Thierry : Network Mobility Support in IPv6
  • TU-0713     Raynal, Frédéric : Études d'outils pour la dissimulation d'information : approches fractales, protocoles d'évaluation et protocoles cryptographiques
  • TU-0708     Leservoisier, David : Stratégies d'adaptation et de raffinement de maillage en Mécanique des Fluides Numérique
  • TU-0706     Dubois, Hubert : Systèmes de règles de production et calcul de réécriture
  • TU-0704     Bernard, Sylvain
  • TU-0703     Miquel, Alexandre : Le calcul des constructions implicite : syntaxe et sémantique
  • TU-0702     Manolescu-Goujot, Ioana : Techniques d'optimisation pour l'interrogation de données distribuées
  • TU-0701     Lécuyer, Anatole : Contribution à l'étude des retours haptique et pseudo-haptique et de leur impact sur les simulations d'opérations de montage/démontage en aéronautique
  • TU-0700     Rota, Nathanaël : Contribution à la reconnaissance de comportements humains à partir de séquences vidéos
  • TU-0698     Ouni, Slim : Modélisation de l'espace articulatoire par un codebook hypercubique pour l'inversion acoustico-articulatoire
  • TU-0697     Coudert, David : Algorithmique et optimisation de réseaux de communications optiques
  • TU-0696     Fernandez Varela, Miguel Angel : Modeles simplifies d'interaction fluide-structure
  • TU-0695     Jalobeanu, André : Modèles, estimation bayésienne et algorithmes pour la déconvolution d'images satellitaires et aériennes
  • TU-0694     Bouchenak, Sara : Mobilité et Persistance des Applications dans l'Environnement Java
  • TU-0693     Leleu, Claire : Sismique Très Haute Résolution tri-dimensionnelle : identification de la position du dispositif d'acquisition par une reformulation en temps
  • TU-0692     Peyrard, Nathalie : Approximations de type champ moyen des modèles de champ de Markov pour la segmentation de données spatiales
  • TU-0691     Galhardas, Helena : Nettoyage de données: modèle, langage déclaratif, et algorithmes
  • TU-0690     Mignet, Laurent : Contrôle des changements de données semi-structurées
  • TU-0689     Bertholon, Henri : Une modélisation du vieillissement
  • TU-0687     Gandoin, Pierre-Marie : Compression progressive et sans perte de structures géométriques
  • TU-0686     Bomboy, Raphaël : Réductibilité et résolubilité des équations aux différences finies
  • TU-0683     Djenini, Rachid : Formalisme de modélisation des systèmes hybrides
  • TU-0682     Adjih, Cédric : Multimédia et accès à l'Internet haut débit: la filière du câble
  • TU-0681     El Khadi, Nabil : Analyse statique de programmes en vue de la vérification des propriétés de sécurité cryptographiques : préservation de secret et fraîcheur
  • TU-0680     El Khadi, Nabil : Analyse statique de programmes en vue de la vérification des propriétés de sécurité cryptographiques : préservation de secret et fraîcheur
  • TU-0680     Arino, Julien : Modélisation structurée de la croissance du phytoplancton en chemostat
  • TU-0679     Gaïeb, Mohamed Sémi : Modèle et langage pour la spécification d'architectures basées sur les bus logiciels à messages
  • TU-0678     Rôle, François : Vers un formalisme abstrait implémentable pour l'étude savante des textes numnumérisés
  • TU-0676     Barakat, Chadi : Évaluation des performances du contrôle de congestion dans l'Internet
  • TU-0675     Loidreau, Pierre : Étude et optimisation de cryptosystèmes à clé publique fondés sur la théorie des codes correcteurs
  • TU-0674     Cognet, Jean-Marc : Identification du signal source et modélisation des réflexions multiples
  • TU-0673     Dolean, Victorita : Algorithmes par decomposition de domaine et acceleration multigrille pour le calcul d'ecoulements compressibles
  • TU-0671     Filiol, Eric : Techniques de reconstruction en cryptologie et théorie des codes
  • TU-0669     Picinbono, Guillaume : Modèles géométriques et physiques pour la simulation d'interventions chirurgicales
  • TU-0668     Boivin, Samuel : Simulation photoréaliste de scènes d'intérieur à partir d'images réelles
  • TU-0665     Roche, Alexis : Recalage d'images médicales par inférence statistique
  • TU-0664     Fournier, Luc : Algorithmes multigrilles parallèles pour l'accélération de calculs d'écoulements complexes em maillages non-structures 2D et 3D
  • TU-0663     Stoica, Radu Stefan : Processus ponctuels pour l'extraction de réseaux linéïques dans les images satellitaires et aériennes
  • TU-0662     Crépey, Stéphane : Contribution à des méthodes numériques appliquées à la finance et aux jeux différentiels
  • TU-0661     Gaspard, François : Localisation et calibration avec un zoom
  • TU-0659     Patry, Christophe : Couverture approchée optimale des options européennes
  • TU-0654     Wattez, Fanny : Optimisation de requêtes sur des structures d'arbres : application à l'objet et à XML
  • TH-045     Zimmermann, Paul : De l'algorithmique à l'arithmétique via le calcul formel
  • TH-044     Gaujal, Bruno : Convexité discrète et régularité : application au contrôle des systèmes à événements discrets
  • TH-043     Festor, Olivier : Ingénierie de la gestion de réseuax et de services : du modèle OSI à la technologie active

• 2000

  • TU-1101     Ros, David : Étude de réseaux haut débit via la simulation de modèles fluides
  • TU-1100     Lafage, Thierry : Étude, réalisation et application d'une plate-forme de collecte de traces d'exécution de programmes
  • TU-1052     Bougrain, Laurent : Etude de la construction par réseaux neuromimétiques de représentations interprétables : Application à la prédiction dans le domaine des télécommunications
  • TU-0998     Schultz, Ulrik : L'évaluation partielle pour le génie logiciel à objets
  • TU-0979     Jahier, Erwan : Analyse dynamique de programmes : mise en oeuvre automatisée d'analyseurs performants et spécifications de modèles d'exécution
  • TU-0972     Guyomarc'h, Frédéric : Méthodes de Krylov : régularisation de la solution et accélération de la convergence
  • TU-0970     Guillou, Erwan : Simulation d'environnements complexes non lambertiens à partir d'images : Application à la réalité augmentée
  • TU-0967     Lagadec, Loïc : Abstraction, modélisation et outils de CAO pour les architectures reconfigurables
  • TU-0965     Marquant, Gwenaëlle : Représentation par maillage adaptatif déformable pour la manipulation et la communication d'objets vidéo
  • TU-0964     Oudjane, Nadia : Stabilité et approximations particulaires en filtrage non-linéaire : Application au pistage
  • TU-0962     Périn, Michael : Spécifications graphiques multi-vues : formalisation et vérification de cohérence
  • TU-0961     Hellier, Pierre : Recalage non rigide en imagerie cérébrale : méthodes et validation
  • TU-0958     Largouët, Christine : Aide à l'interprétation d'une séquence d'images par la modélisation de l'évolution du système observé
  • TU-0957     Segarra Montesinos, Maria-Teresa : Une plate-forme à composants adaptables pour la gestion des environnements sans fils
  • TU-0956     Zarras, Apostolos : Configuration systématique de middleware
  • TU-0955     Tromp, Laurent : Surveillance et diagnostic de systèmes industriels complexes: une approche hybride numérique/symbolique
  • TU-0954     Chardin, Annabelle : Modèles énergétiques hiérarchiques pour la résolution des problèmes inverses en analyse d'images. Application à la télédétection
  • TU-0953     Morel, Pierre : Une algorithmique efficace pour la génération automatique de tests de conformité.
  • TU-0946     Lorcy, Stéphane : Infrastructure logicielle pour la gestion de la cohérence et de la qualité de service d'un environnement à objets réparti : application au télétravail coopératif
  • TU-0945     Coste, François : Apprentissage d'automates classifieurs en inférence grammaticale
  • TU-0709     Stratulat, Sorin : Preuves par récurrence avec ensembles couvrants contextuels : Applications à la vérification de logiciels de télécommunications
  • TU-0685     Govaere, Virginie : Evaluation et guidage d'un utilisateur dans un environnement d'apprentissage : application au domaine de la réeducation de la parole
  • TU-0684     Wieber, Pierre-Brice : Modélisation et commande d'un robot marcheur anthropomorphe
  • TU-0677     Ismail, Leila : Infrastructure système pour applications réparties à base d'agents mobiles
  • TU-0672     Stahr, Robert : Estimation de propriétés de réflexion de lumière en vision par ordinateur
  • TU-0667     Debunne, Gilles : Animation multirésolution d'objets déformables en temps-réel : Application à la simulation chirurgicale
  • TU-0666     Grandpierre, Thierry : Modélisation d'architectures parallèles hétérogènes pour la génération automatique d'exécutifs distribués temps réel optimisés
  • TU-0660     Sagnol, David : Conception et optimisation de programmes à objets parallèles, répartis et multi-threadés
  • TU-0658     Blanchet, Bruno : Escape Analysis : Applications to ML and Java(TM)
  • TU-0657     Bestel, Julie : Modèle différentiel de la contraction musculaire contrÔlée : Application au système cardio-vasculaire
  • TU-0656     Haddar, Houssem : Modèles asymptotiques en ferrmomagnétisme : couches minces et homogénéisation
  • TU-0655     Boux de Casson, François : Simulation dynamique de corps biologiques et changements de topologie interactifs
  • TU-0653     Tardif, Laurent : Kaomi : a Toolkit to help the build of authoring environment for multimedia documents
  • TU-0652     Léty, Emmanuel : Une architecture de communication pour environnements virtuels distribués à grande-echelle sur l'internet
  • TU-0651     Qayyum, Amir : Analysis and evaluation of channel access schemes and routing protocols for wireless networks
  • TU-0650     La Fortelle, Arnaud de : Contribution à la théorie des grandes déviations et applications
  • TU-0649     Cirstea, Horatiu : Calcul de réécriture : fondements et applications
  • TU-0648     Araya Durán, Rodolfo Antonio : Estimateurs d'erreur a posteriori pour des problèmes d'élasticité fortement hétérogènes
  • TU-0647     Fouquet, Thierry : Raffinement de maillage spatio-temporel pour les équations de Maxwell
  • TU-0646     Coscoy, Yann : Explication textuelle de preuves pour le calcul des constructions inductives
  • TU-0645     Samson, Christophe : Contribution à la classification d'images satellitaires par approche variationnelle et équations aux dérivées partielles
  • TU-0645     Samson, Christophe : Contribution à la classification d'images satellitaires par approche variationnelle et équations aux dérivées partielles
  • TU-0643     Vestri, Christophe : Outils pour la reconstruction automatique de bâtiments à partir d'imagerie aérienne
  • TU-0641     Bondyfalat, Didier : Interaction entre symbolique et numérique : application à la vision artificielle
  • TU-0639     Demirdjian, David : Le mouvement projectif : Théorie et applications pour l'autocalibrage et la segmentation du mouvement
  • TU-0638     Pébay, Philippe P. : Delaunay-admissibilité a priori en dimensions 2 et 3
  • TU-0637     Lizarraga-Navarro, David-Antonio : Contributions à la stabilisation de systèmes non-linéaires et à la commande de véhicules sur roues
  • TU-0636     Paragios, Nikos K. : Geodesic Active Regions and Level Set Methods: Contributions and Applications in Artificial Vision
  • TU-0635     Rébaï, Raja : Optimisation de réseaux de télécommunications avec sécurisation
  • TU-0634     Pellegrin, Anne : Traitement cognitif des présentations graphiques synoptiques
  • TU-0633     Dai, Min : Transformation et optimisation des programmes sources pour le pipeline logiciel
  • TU-0631     Marlin, Nausica : Communications structurées dans les réseaux
  • TU-0630     Souissi, Mohsen : Mise en oeuvre du protocole IPv6 au-dessus d'une infrastructure ATM
  • TU-0628     Alboin, Clarisse : Deux outils mathématiques pour modéliser l'écoulement et le transport de polluants dans un milieu poreux fracturé
  • TU-0627     Huot, Étienne : Étude de l'évolution temporelle de phénomènes terrestres au moyen de l'imagerie radar
  • TU-0625     Vaillant, Olivier : Une méthode particulaire stochastique à poids aléatoires pour l'approximation de solutions statistiques d'équations de McKean-Vlasov-Fokker-Planck
  • TU-0624     Dantzer, Jean-François : Stabilité des réseaux de files d'attente et limites fluides stochastiques
  • TU-0622     Beauquier, Bruno : Communications dans les réseaux optiques par multiplexage en longueur d'onde
  • TU-0620     Daney, David : Étalonnage géométrique des robots parallèles
  • TU-0616     Krissian, Karl : Traitement multi-échelle: applications à l'imagerie médicale et à la détection tridimensionnelle de vaisseaux
  • TH-020     Blanc-Féraud, Laure : Sur quelques problèmes inverses en traitement d'image
  • TH-019     Piperno, Serge : Contribution à l'étude mathématique et à la simulation numérique de phénomènes d'interaction fluide-structure
  • TH-018     Emiris, Ioannis : Algorithmes algébriques et géométriques

• 1999

  • TU-1045     Pellegrini, Marie-Claude : Reconfiguration d'applications réparties : applications au bus logiciel CORBA
  • TU-1044     Jensen, Christian Damsgaard : Un modèle de contrôle d'accès générique et sa réalisation dans la mémoire virtuelle répartie unique Arias
  • TU-0960     Guinnebault, Jean-Marc : Caractérisation des logiques non-monotones et logique conditionnelle du deuxième ordre
  • TU-0959     Nowak, David : Spécification et preuve de systèmes réactifs
  • TU-0952     Launay, Pascale : Génération de programmes parallèles distribués dans un environnement à objets
  • TU-0951     Connan, François : Interrogation flexible de bases de données multimédias
  • TU-0950     Papin, Christophe : Analyse spatio-temporelle d'images satellitaires météorologiques : détection et suivi de structures nuageuses critiques
  • TU-0949     Valton, Bernard : Gestion de la complexité de scènes animées et interactives : contributions à la conception et à la représen
  • TU-0948     Chevochot, Pascal : Conception de systèmes distribués temps-réel strict tolérants aux fautes
  • TU-0947     Bertrand, Olivier : Procédures de dénombrement de valeurs propres
  • TU-0944     Moal, Nicolas : Programmation quadratique appliquée à l'estimation et à la détection de sinusoïdes
  • TU-0943     Thomas, Gwenola : Environnements virtuels urbains : modélisation des informations nécessaires à la simulation de piétons
  • TU-0942     Mayer, Emmanuel : Apprentissage inductif de scénarios pour la supervision de réseaux de télécommunications
  • TU-0940     Billiart, Stéphane : Administration de systèmes hétérogènes : une proposition pour l'uniformisation
  • TU-0939     Thorn, Tommy : Vérification de politiques de sécurité par analyse de programmes
  • TU-0832     Sahai, Akhil : Conception et réalisation d'un gestionnaire mobile de réseaux fondé sur la technologie d'agent mobile
  • TU-0831     Rouat, Valérie : Validité de l'approche classification dans la réduction statistique de la complexité de #SAT
  • TU-0830     Mével, Yann : Environnement pour le portage de codes orienté performance sur machines parallèles et monoprocesseurs
  • TU-0829     Messé, Vincent : Production de compilateurs flexibles pour la conception de processeurs programmables spécialisés
  • TU-0828     Lemarchand, Laurent : Parallélisation par partitionnement pour la synthèse logique combinatoire sur FPGA à base de LUT
  • TU-0827     Le Calvez, Jean-Luc : Algorithmes d'identification de modèles ARMA : Cas avec ordres inconnus et cas non stationnaire
  • TU-0826     Dumont, Reynald : Optimisation du calcul d'illumination globale de scènes intérieures/extérieures : niveaux de détail, structuration et réflectance bidirectionnelle quelconque
  • TU-0825     Collewet, Christophe : Contributions à l'élargissement du champ applicatif des asservissements visuels 2D
  • TU-0824     Brieu, Mathias : Homogénéisation et endommagement de composites élastomère par techniques de calcul parallèle
  • TU-0823     Beauvais, Jean-René : Modélisation de STATECHARTS en SIGNAL pour la conception de systèmes critiques temps-réel
  • TU-0822     Beaumont, Olivier : Algorithmique pour les intervalles : Comment obtenir un résultat sûr quand les données sont incertaines
  • TU-0670     Valtchev, Petko : Construction automatique de taxonomies pour l'aide à la représentation de connaissances par objets
  • TU-0644     Regnier, Hervé : Vitesse de convergence de méthodes particulaires stochastiques avec branchements
  • TU-0642     Yacef, Kalina : Vers un assistant tutoriel intelligent pour les systemes complexes et dynamiques
  • TU-0640     Elmoznino, Hervé : Influence du cycle de vie individuel sur la dynamique spatiale d'une forêt monospécifique : Analyse à travers un automate cellulaire
  • TU-0632     Béréziat, Dominique : Estimation et suivi de structures déformables en mouvement : application à la météorologie
  • TU-0626     Pessaux, François : Détection statique d'exceptions non rattrapées en Objective Caml
  • TU-0621     Hadj-Sadok, Zakaria Mohamed : Modélisation et estimation dans les bioréacteurs ; prise en compte des incertitudes : application au traitement de l'eau
  • TU-0619     Pion, Sylvain : De la géométrie algorithmique au calcul géométrique
  • TU-0617     El Ali, Bilal : Contribution à la commande du centre de masse d'un robot bipède
  • TU-0615     Vicard, Annie : Formalisation et optimisation des systèmes informatiques distribués temps réel embarqués
  • TU-0614     Remy, Elisabeth : Homogénéisation d'opérateurs aux différences : approches analytique et probabiliste
  • TU-0613     Andreff, Nicolas : Asservissement visuel à partir de droites et auto-étalonnage pince-caméra
  • TU-0612     Montagnat, Johan : Modèles déformables pour la segmentation et la modélisation d'images médicales 3D et 4D
  • TU-0611     Tsogka, Chrysoula : Modélisation mathématique et numérique de la propagation des ondes élastiques tridimensionnelles dans des milieux fissurés
  • TU-0610     Léchervy, Yves : Acquisition vectorielle 3D de milieux urbains pour les télécommunications mobiles
  • TU-0609     Ben Ameur, Hend : Problèmes inverses géométriques en élasticité et pour les écoulements en milieu poreux
  • TU-0608     Georget, Yan : Extensions réactives de la programmation par contraintes
  • TU-0605     Halard, Matthieu : Méthodes du second ordre pour la conception optimale en élasticité non-linéaire
  • TU-0604     Naacke, Hubert : Modèles de coût pour médiateurs de bases de données hétérogènes
  • TU-0603     Ribière, Myriam : Représentation et gestion de multiples points de vue dans le formalisme des graphes conceptuels
  • TU-0602     Bonald, Thomas : Stabilité des systèmes dynamiques à événements discrets : Application au contrôle de flux dans les réseaux de télécommunication
  • TU-0601     Rhaouti, Leïla : Domaines fictifs pour la modélisation d'un problème d'interaction fluide-structure : Simulation de la timbale
  • TU-0600     Delcoigne, Franck : Stabilité et limite thermodynamique dans certains réseaux à Polling
  • TU-0599     Hafez, Névine : Conditions d'équilibre et gestion d'unités de transport en libre service avec demandes alétoires
  • TU-0598     Matulovic-Broqué, Maja : Aide à la conception et à l'implémentation d'un mécanisme d'exécution des règles actives
  • TU-0597     Lorette, Anne : Analyse de texture par méthodes markoviennes et par morphologie mathématique: application à l'analyse des zones urbaines sur des images satellitales
  • TU-0594     Cerisara, Christophe : Contribution de l'approche Multi-Bandes à la reconnaissance automatique de la parole
  • TU-0593     Chauvet, Fabrice : Ordonnancement en temps réel dans les problèmes à en-cours limités
  • TU-0592     Lingrand, Diane : Analyse adaptative du mouvement dans des séquences monoculaires non calibrées
  • TU-0591     Niclausse, Nicolas : Modélisation, évaluation de performances et dimensionnement du World Wide Web
  • TU-0590     Dal-Zilio, Silvano : Le calcul bleu: types et objets
  • TU-0589     Moreau, Pierre-Etienne : Compilation de règles de réécriture et de stratégies non-déterministes
  • TU-0588     Baggio, Aline : Objets Distribués Adaptables pour Environnements Mobiles
  • TU-0587     Pierre, Guillaume : Architecture et dimensionnement d'infrastructures de caches Web pour intranets décentralisés
  • TU-0586     Medic, Gorazd : Étude mathématique des modèles aux tensions de Reynolds et simulation numérique d'écoulements turbulents sur parois fixes et mobiles
  • TU-0585     Gauthier, Éric : Utilisation des réseaux de neurones artificiels pour la commande d'un véhicule autonome
  • TU-0583     Furmento, Nathalie : SCHOONER : une encapsulation orientée objet de supports d'exécution pour applications réparties
  • TU-0579     Crubézy, Monica : Pilotage de programmes pour le traitement d'images médicales
  • TU-0577     Dalle, Olivier : Techniques et outils pour les communications et la répartition dynamique de charge dans les réseaux de stations de travail
  • TU-0576     Pinchedez, Katia : Calcul parallèle pour les équations de diffusion et de transport homogènes en neutronique
  • TU-0573     Siméon, Jérôme : Intégration de sources de données hétérogènes : Ou comment marier simplicité et efficacité
  • TU-0572     Aude, Jean-Christophe : Analyse de génomes microbiens, apports de la classification pyramidale
  • TU-0571     Segoufin, Luc : Manipulation de données spatiales et topologiques
  • TU-0570     Sabry-Ismail, Loay : Schéma d'exécution pour les documents multimédia distribués
  • TU-0567     Ferreira da Cunha, Sueli : Comparaison de résolutions de problèmes exprimées par un modèle de tâches
  • TU-0563     Amer-Yahia, Sihem : Du chargement en masse dans une base de données (en général) et de la migration relationnel-objet (en particulier)
  • TU-0558     Brieu, Mathias : Homogénéisation et endommagement de composites élastomères par techniques de calcul parallèle
  • TH-048     Badouel, Éric : Automates réversibles et réseaux de Petri, dualité et représentation : le problème de la synthèse
  • TH-017     Roisin, Cécile : Documents structurés multimédia
  • TH-016     Bertot, Yves : Des Environnements de programmation aux environnements de preuve
  • TH-015     Euzenat, Jérôme : Représentations de connaissance : de l'approximation à la confrontation

• 1998

  • TU-0941     Mallet, Julien : Compilation d'un langage spécialisé pour machine massivement parallèle
  • TU-0863     Volanschi, Eugen N. : Une approche automatique à la spécialisation de composants système
  • TU-0862     Van Aertryck, Lionel : Une méthode et un outil pour l'aide à la génération de jeux de tests de logiciels
  • TU-0861     Tufail, Mudassir : Du contrôle de congestion pour les flots multicast ABR du réseau ATM & de l'ordonnancement de paquets pour les applications sensibles au délai et à débit contrôlé
  • TU-0860     Truong, Dan Nam : Optimisations logicielles de la localité : le placement précis des données en mémoire
  • TU-0859     Smarandache, Irina Madalina : Transformations affines d'horloges: application au codesign de systèmes temps-réel en utilisant les langages SIGNAL et ALPHA
  • TU-0858     Sinoquet, Christine : Grammaires à transformations morphiques. Recherche de motif - exacte ou approchée adaptée aux séquences génétiques : le système GTM
  • TU-0857     Rohou, Erven : Infrastructures et stratégies de compilation pour parallélisme à grain fin
  • TU-0856     Rault, Stéphanie : Algorithmes parallèles pour le calcul d'orbites
  • TU-0855     Pateux, Stéphane : Segmentation spatio-temporelle et codage orienté-régions de séquences vidéo basés sur le formalisme MDL
  • TU-0854     Oisel, Lionel : Reconstruction 3D de scènes complexes à partir de séquences vidéo non calibrées : estimation et maillage d'un champ de disparité
  • TU-0853     Nouvel, Johan : Niveaux de détail dynamiquement adaptatifs pour objets et terrain
  • TU-0852     Nicolas, Valérie-Anne : Preuves de propriétés de classes de programmes par dérivation systématique de jeux de test
  • TU-0851     Multon, Franck : Contrôle du mouvement des humanoïdes de synthèse
  • TU-0850     Moreau, Guillaume : Modélisation du comportement pour la simulation interactive : application au trafic routier multimodal
  • TU-0849     Michaud, Pierre : Chargement des instructions sur les processeurs superscalaires
  • TU-0848     Meneveaux, Daniel : Simulation d'éclairage dans des environnements architecturaux complexes : approches séquentielle et parallèle
  • TU-0847     Malis, Ezio : Contributions à la modélisation et à la commande en asservissement visuel
  • TU-0846     Le Peutrec, Stéphane : Mécanismes d'abstraction dans les représentations des connaissances par objets
  • TU-0845     Kountouris, Apostolos A. : Outils pour la Validation Temporelle et l'Optimisation de Programmes Synchrones
  • TU-0844     Gelgon, Marc : Segmentation spatio-temporelle et suivi dans une séquence d'images : application à la structuration et à l'indexation de vidéo
  • TU-0843     Fleureau, Jean-Luc : Vers une méthodologie de programmation d'un système de télérobotique : comparaison des approches Pilot et Grafcet
  • TU-0842     De Maistre, Nicolas : Progressivité et Scalabilité pour la Représentation d'Images Numériques
  • TU-0841     Désérable, Dominique : Simulation de milieux granulaires par automate cellulaire. Problèmes de topologie et d'interconnexion associés
  • TU-0840     Cretual, Armel : Asservissement visuel à partir d'informations de mouvement dans l'image
  • TU-0839     Chauveau, Stéphane : MENHIR. Un environnement pour l'exécution efficace des codes Matlab
  • TU-0838     Charpiot, Boris : L'extensibilité par la répartition thématique des accès à un système d'informations distribuées
  • TU-0837     Carpentier, Francois-Gilles : Modélisation des connaissances et de la démonstration pour l'E.I.A.O. de la géométrie
  • TU-0836     Cadro, Philippe : Évaluation des performances d'un commutateur de paquets optiques
  • TU-0835     Bidan, Christophe : Sécurité des systèmes distribués : apport des architectures logicielles
  • TU-0834     Bernardinello, Luca : Propriétés algébriques et combinatoires des régions dans les graphes et leur application à la synthèse de réseaux
  • TU-0833     Aghasaryan, Armen : Formalisme HMM pour les réseaux de Petri partiellement stochastiques : Application au diagnostic de pannes dans les systèmes répartis
  • TU-0618     Brun-Cottan, Georges : Cohérence de données répliquées partagées par un groupe de processus coopérant à distance
  • TU-0606     Nullans, Stéphane : Reconstruction géométrique de formes - Application à la géologie
  • TU-0596     Chentouf, Boumediène : Contribution à la stabilité et à la stabilisation de systèmes à paramètres répartis
  • TU-0584     Scheuer, Alexis : Planification de chemins à courbure continue pour robot mobile non-holonome
  • TU-0581     Bonhomme, Stéphane : Transformation de documents structurés, une combinaison des approches explicite et automatique
  • TU-0578     Foisel, Rémy : Modèle de réorganisation de systèmes multi-agents : une approche descriptive et opérationnelle
  • TU-0575     Grossglauser, Matthias : Contrôle des ressources de réseaux sur des échelles temporelles multiples
  • TU-0566     Soler, Luc : Une nouvelle méthode de segmentation des structures anatomiques et pathologiques : application aux angioscanners 3D du foie pour la planification chirurgicale
  • TU-0564     Bouzidi, Sonia : Étude de l'évolution de la végétation par couplage de données SPOT et NOAA-AVHRR
  • TU-0562     Demphlous, Stéphane : Gestion de la persistance au sein de systèmes réflexifs à objets
  • TU-0561     Christy, Stéphane : Localisation et modélisation tridimensionnelles par approximations successives du modèle perspectif de caméra
  • TU-0560     Castro, Carlos : Une approche déductive de la résolution de problèmes de satisfaction de contraintes
  • TU-0557     Jaczynski, Michel : Modèle et plate-forme à objets pour l'indexation des cas par situations comportementales : application à l'assistance à la navigation sur le Web
  • TU-0556     Fournet, Cédric : Le join-calcul : un calcul pour la programmation répartie et mobile
  • TU-0555     Valentin, Frédéric : Nouvelles conditions aux limites équivalentes pour des interfaces rugueuses en mécanique des fluides : Développement, analyse et mise en oeuvre numérique
  • TU-0554     Viozat, Cécile : Calculs d'écoulement stationnaires et instationnaires à petit nombre de Mach et en maillages étirés
  • TU-0553     Leleu, Pierre : Syntaxe abstraite d'ordre supérieur et récursion dans les théories typées
  • TU-0552     Ayoub, Paul : Étude de schémas explicites pour les équations de Maxwell 3D avec multiplicateur de Lagrange et éléments finis conformes
  • TU-0551     Fontaine, Caroline : Contribution à la recherche de fonctions booléennes hautement non linéaires, et au marquage d'images en vue de la protection des droits d'auteur
  • TU-0550     Bel Mufti, Ghazi : Validation d'une classe par estimation de sa stabilité
  • TU-0549     Olague, Gustavo : Planification du placement de caméras pour des mesures 3D de précision
  • TU-0548     Gamboa-Rodriguez, Fernando : Spécification et implémentation d'ALACIE: Atelier Logiciel d'Aide à la Conception d'Interfaces Ergonomiques
  • TU-0547     Francescatto, Jérôme : Méthodes multigrilles par agglomération directionelle pour le calcul d'écoulements turbulents
  • TU-0546     Comet, Jean-Paul : Programmation dynamique et alignements de séquences biologiques
  • TU-0545     Lamiroy, Bart : Reconnaissance et modélisation d'objets 3D à l'aide d'invariants projectifs et affines
  • TU-0544     Kornprobst, Pierre : Contribution à la restauration d'images et à l'analyse de séquences : approches variationnelles et solutions de viscosité
  • TU-0543     Laporte, Emmanuel : Optimisation de formes pour écoulements instationnaires
  • TU-0541     Duris, Etienne : Contribution aux relations entre les grammaires attribuées et la programmation fonctionnelle
  • TU-0540     Genet, Thomas : Contraintes d'ordre et automates d'arbres pour les preuves de terminaison
  • TU-0539     Borovanský, Peter : Le contrôle de la réécriture : étude et implantation d'un formalisme de stratégies
  • TU-0536     Venditti, Véronique : Aspects du principe de maximum d'entropie en modélisation statistique
  • TU-0534     Mateescu, Radu : Vérification des propriétés temporelles des programmes parallèles
  • TU-0532     Duprez, Karine : Explications et conseils contextuels pour l'utilisation d'un progiciel de conception : application à un simulateur de circui