Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (39)
  • Université Paris-Saclay (ComUE) (39)
  • Grenoble (25)
  • Lyon (24)
  • Sorbonne Paris Cité (20)
  • Université de Lorraine (16)
  • Paris 1 (13)
  • Toulouse 3 (13)
  • Montpellier (11)
  • Paris, CNAM (10)
  • Rennes 1 (10)
  • Toulouse, ISAE (9)
  • Ecole centrale de Lille (8)
  • Paris 6 (8)
  • Bordeaux (7)
  • Paris Est (7)
  • Dijon (6)
  • Paris 10 (6)
  • Aix-Marseille (5)
  • Angers (5)
  • Bourgogne Franche-Comté (5)
  • Côte d'Azur (5)
  • Paris 11 (5)
  • Paris Sciences et Lettres (5)
  • Tours (5)
  • Besançon (4)
  • Cergy-Pontoise (4)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (4)
  • Toulouse, INPT (4)
  • Artois (3)
  • Belfort-Montbéliard (3)
  • Clermont-Ferrand 2 (3)
  • Compiègne (3)
  • La Rochelle (3)
  • Limoges (3)
  • Orléans (3)
  • Toulouse 2 (3)
  • Toulouse, INSA (3)
  • Troyes (3)
  • Brest (2)
  • Cachan, Ecole normale supérieure (2)
  • Clermont Auvergne (2)
  • Ecole centrale de Nantes (2)
  • Evry, Institut national des télécommunications (2)
  • Nantes (2)
  • Nice (2)
  • Normandie (2)
  • Northwestern Polytechnical University (Chine) (2)
  • Paris, ENSAM (2)
  • Sorbonne université (2)
  • Universität des Saarlandes (2)
  • Université de Sfax (Tunisie) (2)
  • Université normale de la Chine de l'Est (Shanghai) (2)
  • Albert-Ludwigs-Universität (Fribourg-en-Brisgau, Allemagne) (1)
  • Amiens (1)
  • Avignon (1)
  • Bordeaux 3 (1)
  • Bordeaux 4 (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (1)
  • Clemson university (1)
  • Columbia university (New York) (1)
  • Ecole centrale de Marseille (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Ecole nationale supérieure Mines-Télécom Lille Douai (1)
  • Flinders university of South Australia (1)
  • France. Institut de recherche biomédicale des armées (1)
  • Georgia institute of technology (1)
  • Grenoble 1 (1)
  • Grenoble INPG (1)
  • Institut polytechnique de Paris (1)
  • Istanbul teknik üniversitesi (1)
  • James Cook university of North Queensland (1)
  • Katholieke universiteit te Leuven (1970-....) (1)
  • La Réunion (1)
  • Le Havre (1)
  • Littoral (1)
  • Lorient (1)
  • Lyon 1 (1)
  • Lyon, INSA (1)
  • Lyon, École normale supérieure (1)
  • Mulhouse (1)
  • Nancy 1 (1)
  • Nantes, Ecole des Mines (1)
  • National Taiwan University (Taipei) (1)
  • Oxford Brookes University (1)
  • Paris 2 (1)
  • Paris 7 (1)
  • Paris, Institut agronomique, vétérinaire et forestier de France (1)
  • Paris, Institut d'études politiques (1)
  • Paris, Muséum national d'histoire naturelle (1)
  • Pau (1)
  • Petronas (1)
  • Reims (1)
  • Rennes 2 (1)
  • Rennes, Agrocampus Ouest (1)
  • Rheinisch-westfälische technische Hochschule (Aix-la-Chapelle, Allemagne) (1)
  • Seconda università degli studi (Naples, Italie) (1)
  • Strasbourg (1)
  • Supcom (Tunis) (1)
  • Technical University of chemistry and technology (Prague) (1)
  • Universidad de la República (Montevideo) (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (1)
  • Universidade de Coimbra (1)
  • Universidade federal de Santa Catarina (Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universidade nova de Lisboa. Faculdade de ciências e tecnologia (Lisboa, Portugal) (1)
  • University of Teheran (1)
  • University of Waterloo (Canada) (1)
  • Università commerciale Luigi Bocconi (Milan, Italie) (1)
  • Università degli studi (Brescia, Italie) (1)
  • Università degli studi (Padoue, Italie). Dipartimento di filosofia, sociologia, pedagogia e psicologia applicata (1)
  • Università degli studi La Sapienza (Rome) (1)
  • Università degli studi di Roma "Tor Vergata" (1)
  • Université Félix Houphouët-Boigny (Abidjan, Côte d'Ivoire) (1)
  • Université Laval (Québec, Canada) (1)
  • Université Libanaise (Liban) (1)
  • Université Savoie Mont Blanc (1)
  • Université de Fribourg (Suisse). Faculté des sciences économiques et sociales (1)
  • Université de Hanoi -- Vietnam (1)
  • Université de Liège. Faculté de Psychologie et des Sciences de l'Education. Département Education et Formation Pédagogie théorique et expérimentale (1)
  • Université de Montréal (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Shenzen (Chine) (1)
  • Université de Tunis (1)
  • Université de Zagreb (Croatie) (1)
  • Université libanaise (1)
  • Univerzitet u Beogradu (1)
  • Valenciennes (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (142)
  • Sciences économiques (17)
  • Automatique (8)
  • Génie électrique (7)
  • Sciences de gestion (7)
  • Philosophie (6)
  • Physique (6)
  • Informatique et applications (5)
  • Mathématiques (5)
  • Mathématiques et Informatique (5)
  • Automatique, génie informatique, traitement du signal et des images (3)
  • Génie Electrique (3)
  • Génie civil (3)
  • Géosciences (3)
  • Mathématiques appliquées (3)
  • Mécanique (3)
  • Neurosciences cognitives (3)
  • Sciences de la vie (3)
  • Sciences et technologie industrielles (3)
  • Automatique, Productique, Signal et Image, Ingénierie cognitique (2)
  • Chimie analytique (2)
  • Génie mécanique (2)
  • Informatique. Informatique fondamentale (2)
  • Instrumentation et informatique de l'image (2)
  • Intelligence artificielle (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Nanoélectronique et nanotechnologie (2)
  • Neurosciences (2)
  • Océan, Atmosphère, Hydrologie (2)
  • Psychologie (2)
  • Réseaux, Télécommunications, Systèmes et Architecture (2)
  • Sciences de Gestion (2)
  • Sciences de l'information et de la communication (2)
  • Sciences de la vie et de la santé (2)
  • Sciences des matériaux (2)
  • Sciences du langage (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Sûreté de logiciel et calcul de haute performance (2)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (2)
  • Économie (2)
  • Études anglophones (2)
  • Aménagement de l'espace, urbanisme (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Astronomie et Astrophysique (1)
  • Astronomie et astrophysique (1)
  • Astrophysique, Sciences de l'Espace, Planétologie (1)
  • Automatique - productique (1)
  • Automatique et Informatique appliquée (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie informatique (1)
  • Automatique, productique et robotique (1)
  • Aéronautique-Astronautique (1)
  • Biochimie structurale (1)
  • Bioinformatique (1)
  • Bioinformatique et Génomique (1)
  • Bioingénierie et Sciences et Technologies de l’Information et des Systèmes : Unité de Recherche Biomécanique et Bio-ingénierie (UMR-7338) (1)
  • Biologie Santé (1)
  • Biostatistique (1)
  • Chimie (1)
  • Chimie et physicochimie des matériaux (1)
  • Conception (1)
  • Conception des systèmes hétérogènes (1)
  • Doctorat Génie Civil et Sciences de l'Habitat (1)
  • Droit fiscal (1)
  • Droit international et européen (1)
  • Droit public (1)
  • Dynamique des fluides, Génie mécanique, mécanique des matériaux (1)
  • Démographie (1)
  • Développement Durable (1)
  • Economie (1)
  • Electronique des Hautes Fréquences et Optoélectronique (1)
  • Electronique-Electrotechnique-Automatique (1)
  • Energie, Rayonnement, Plasma (1)
  • Energétique et Transferts (1)
  • Etudes anglophones (1)
  • Genie des procedes (1)
  • Génie Industriel : conception et production (1)
  • Génie Mécanique, Productique, Transport (1)
  • Génie mécanique, mécanique des matériaux (1)
  • Géographie et Aménagement (1)
  • Géosciences marines (1)
  • Géosciences, ressources naturelles et environnement (1)
  • Image, Vision et Santé (1)
  • Informatique appliquée (1)
  • Informatique et Génie Industriel (1)
  • Informatique, Télécommunication et Electronique (1)
  • Informatique. Automatique et informatique des systèmes industriels et humains (1)
  • Informatique. Web sémantique (1)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (1)
  • Ingénierie biomédicale et biotechnologie (1)
  • Ingéniérie des systèmes complexes (1)
  • Interdisciplinaire (1)
  • Langues et littératures étrangères - Didactique des langues (1)
  • Linguistique (1)
  • Linguistique théorique, descriptive et automatique (1)
  • MA - Mathématiques Appliquées (1)
  • Mathematiques (1)
  • Mathématiques appliquées, Génie mécanique, mécanique des matériaux (1)
  • Mathématiques aux interfaces (1)
  • Mathématiques et applications (1)
  • Mathématiques et informatique (1)
  • Mathématiques et modélisation (1)
  • Mathématiques. Mathématiques appliquées (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique des fluides (1)
  • Mécanique des fluides Energétique, Procédés (1)
  • Mécanique et énergétique (1)
  • Mécanique, Energétique, Génie Civil et Acoustique (1)
  • Mécanique-matériaux (1)
  • Médecine. Biothérapies (1)
  • Nano electronique et nano technologies (1)
  • Nano-physique, nano-composants, nano-mesures (1)
  • Neurosciences Cognitives (1)
  • Neurosciences neurobiologie (1)
  • Océan, atmosphère et surfaces continentales (1)
  • Optimisation et Sûreté des Systèmes (1)
  • Photonique et Systèmes Optoélectroniques (1)
  • Physiologie et Génétique Moléculaires (1)
  • Physique - Cergy (1)
  • Physique de la matière condensée et du rayonnement (1)
  • Physique pour les sciences du vivant (1)
  • Physique. Physique de l'Univers (1)
  • Procédés de Fabrication, Optimisation de Process et de Produits (1)
  • Psychologie cognitive (1)
  • Pétrologie Expérimentale (1)
  • Recherches sur les services de santé (1)
  • Réseaux informatiques (1)
  • Réseaux, information et communications (1)
  • Réseaux, télécom, système et architecture (1)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (1)
  • Santé publique Informatique et Santé (1)
  • Science des matériaux (1)
  • Science politique (1)
  • Sciences Economiques (1)
  • Sciences appliquées (1)
  • Sciences cognitives, psychologie et neurocognition (1)
  • Sciences de données (1)
  • Sciences de l'alimentation (1)
  • Sciences de l'environnement (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de l'univers (1)
  • Sciences de l'éducation (1)
  • Sciences de l'éducation. Didactique des mathématiques (1)
  • Sciences de la Terre et de l'Univers et de l'Environnement (1)
  • Sciences de la terre et de l'univers, et de l'environnement (1)
  • Sciences de la terre et des planètes solides (1)
  • Sciences de la vie et de la santé, spécialité Bioinformatiques (1)
  • Sciences du langage - Cergy (1)
  • Sciences du langage Spécialité Didactique et Linguistique (1)
  • Sciences du langage. Linguistique Théorique, Descriptive et Automatique (1)
  • Sciences du mouvement humain (1)
  • Sciences et techniques communes (1)
  • Sciences et techniques de l'information et de la communication, informatique (1)
  • Sciences et technologies industrielles (1)
  • Sciences juridiques. Droit international et européen (1)
  • Sciences Économiques (1)
  • Sciences économiques - EM2PSI (1)
  • Signal image parole telecoms (1)
  • Signal, image, vision (1)
  • Sociologie, démographie (1)
  • Stic (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Traitement du signal et des images (1)
  • Transport (1)
  • Télécommunications (1)
  • Électronique (1)
  • Études théâtrales (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (30)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (23)
  • École doctorale Informatique, télécommunications et électronique de Paris (15)
  • École doctorale en Informatique et Mathématiques de Lyon (15)
  • École doctorale Sciences pour l'Ingénieur (Lille) (13)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (11)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (10)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (10)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (10)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (9)
  • I2S - Information, Structures, Systèmes (6)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (6)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (6)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (6)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (5)
  • École doctorale terre, univers, environnement (Grenoble) (5)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (4)
  • École doctorale Philosophie (Paris) (4)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (4)
  • École doctorale Systèmes (Toulouse) (4)
  • École doctorale d'Économie (Paris) (4)
  • École doctorale physique (Grenoble) (4)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (3)
  • Ecole doctorale de Dauphine (Paris) (3)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (3)
  • École doctorale Aéronautique-Astronautique (Toulouse) (3)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (3)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (3)
  • École doctorale Sciences pour l'ingénieur (Nantes) (3)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (3)
  • École doctorale Économie, organisations, société (Nanterre) (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (2)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (2)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • MATHSTIC (2)
  • Mathématiques Informatique Télécommunications de Toulouse (2)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (2)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (2)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (2)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (2)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (2)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (2)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (2)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (2)
  • École doctorale Physique en Île-de-France (Paris) (2)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (2)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (2)
  • École doctorale Sciences économiques et gestion (Lyon) (2)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (2)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale chimie et science du vivant (Grenoble) (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (2)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (2)
  • École doctorale sciences économiques (Grenoble) (2)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (2)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • ED EM2PSI - Économie, Management, Mathématiques, Physique et Sciences Informatiques (1)
  • ED SI - Sciences et Ingénierie (1)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (1)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (1)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (1)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (1)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • Ecole doctorale de Sciences du Langage (Paris) (1)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (Cergy-Pontoise, Val d'Oise) (1)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (1)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATISSE (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Matière, Molécules et Matériaux (1)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (1)
  • SIE - Sciences, Ingénierie et Environnement (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; 2015-....) (1)
  • Sciences Chimiques et Biologiques pour la Santé (1)
  • Sciences et ingénierie pour l'information, mathématiques (1)
  • Sociétés, Politique, Santé Publique (1)
  • VTT - Ville, Transports et Territoires (1)
  • École Doctorale Droit et Science Politique (Nanterre) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École Doctorale Neurosciences et Cognition (NSCo) (1)
  • École Doctorale Sciences de la Matière (Toulouse) (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale Cognition, comportements, langage(s) (Poitiers ; 2009-2018) (1)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (1)
  • École doctorale Diversité du vivant (Paris) (1)
  • École doctorale Droit, Gestion, Economie et Politique (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (1)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (1)
  • École doctorale Euclide (La Rochelle ; 2018-....) (1)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris) (1)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (1)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (1)
  • École doctorale Hématologie, oncogenèse et biothérapies (Paris) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Lettres, langues, linguistique, arts (Lyon) (1)
  • École doctorale Lettres, sciences humaines et sociales (Nice ; 1992-2016) (1)
  • École doctorale Littératures, cultures et sciences sociales (Caen ; ....-2011) (1)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (1)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (1)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (1)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de l'homme et de la société (Orléans) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (1)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (1)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (1)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (1)
  • École doctorale Sciences du mouvement humain (Marseille) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (1)
  • École doctorale Sciences économiques et sciences de gestion (Rennes) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-....) (1)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (1)
  • École doctorale Temps, Espaces, Sociétés, Cultures (Toulouse) (1)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (1)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (1)
  • École doctorale de Sciences Po (Paris) (1)
  • École doctorale de droit et sciences humaines (Cergy-Pontoise, Val-d'Oise) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (1)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale des sciences économiques et gestion, sciences de l'information et de la communication (Paris) (1)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale sciences de gestion (Grenoble) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (291)
  • français (136)
  • italien (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Dubois Catherine (4)
  • Cortier Véronique (3)
  • Delahaye David (3)
  • Delaune Stéphanie (3)
  • El Kamel Abdelkader (3)
  • Lafourcade Pascal (3)
  • Lakhnech Yassine (3)
  • Merz Stephan (3)
  • Aït-Ameur Yamine (2)
  • Bensalem Saddek (2)
  • Blanco Éric (2)
  • Boochs Frank (2)
  • Borrione Dominique (2)
  • Caferra Ricardo (2)
  • Caumon Guillaume (2)
  • Comyn-Wattiau Isabelle (2)
  • Cruz Christophe (2)
  • Dowek Gilles (2)
  • Dupuy-Chessa Sophie (2)
  • Filliâtre Jean-Christophe (2)
  • Fontaine Pascal (2)
  • Gargouri Faiez (2)
  • Garoche Pierre-Loïc (2)
  • Guillaud Xavier (2)
  • Hadj-Said Nouredine (2)
  • Hammad Ahmed (2)
  • Huneman Philippe (2)
  • Iung Benoît (2)
  • Jensen Thomas (2)
  • Khalil Mohamad (2)
  • Lévy Nicole (2)
  • Mazure Bertrand (2)
  • Miquel Alexandre (2)
  • Monfroy Éric (2)
  • Morin-Allory Katell (2)
  • Morlier Joseph (2)
  • Médigue Claudine (2)
  • Nicolle Christophe (2)
  • Peltier Nicolas (2)
  • Saïs Lakhdar (2)
  • Sirdey Renaud (2)
  • Vallenet David (2)
  • Wolff Burkhart (2)
  • Wurtz Étienne (2)
  • Ülgen Faruk (2)
  • Abdulrab Habib (1)
  • Adda Gilles (1)
  • Aglzim El-Hassane (1)
  • Ah-Pine Julien (1)
  • Ahmad Adeel (1)
  • Alamir Mazen (1)
  • Alazard Daniel (1)
  • Alexis Henri (1)
  • Ammi Chantal (1)
  • Andréassian Vazken (1)
  • Apkarian Pierre (1)
  • Arbouet Arnaud (1)
  • Arnaud Yves (1)
  • Arvisenet Gaëlle (1)
  • Astolfi Jacques André (1)
  • At Christian (1)
  • Atmaca Tülin (1)
  • Aufaure Marie-Aude (1)
  • Augeraud Michel (1)
  • Aussem Alexandre (1)
  • Avdeev Alexandre (1)
  • Ayral André (1)
  • Badr Youakim (1)
  • Baelde David (1)
  • Baghdadi Nicolas (1)
  • Bagus Philipp (1)
  • Ballo Zié (1)
  • Baptiste Philippe (1)
  • Barthe Loïc (1)
  • Baskurt Atilla (1)
  • Bastiani Flora (1)
  • Batistela Nelson Jhoe (1)
  • Becherif Mohamed Badreddine (1)
  • Ben Yaghlane Boutheïna (1)
  • Benbernou Salima (1)
  • Benzaken Véronique (1)
  • Berio Giuseppe (1)
  • Berkani Karim (1)
  • Bernard Alain (1)
  • Berrut Catherine (1)
  • Berthomieu Bernard (1)
  • Bertin Jean-Claude (1)
  • Bertin Nancy (1)
  • Bertrand Nathalie (1)
  • Besacier Laurent (1)
  • Besset Sébastien (1)
  • Bessière Pierre (1)
  • Bédard Yvan (1)
  • Bhargavan Karthikeyan (1)
  • Bico José (1)
  • Biennier Frédérique (1)
  • Bigand Emmanuel (1)
  • Bimbot Frédéric (1)
  • Blazy Sandrine (1)
  • Bobillier-Chaumon Marc-Éric (1)
  • Boisbouvier Jérôme (1)
  • Boisson Catherine (1)
  • Boldo Sylvie (1)
  • Bonastre Jean-François (1)
  • Bonnifait Philippe (1)
  • Bouatouch Kadi (1)
  • Bouché Daniel (1)
  • Boudevillain Brice (1)
  • Boufares Faouzi (1)
  • Bouhoula Adel (1)
  • Bouneffa Mourad (1)
  • Bouquet Fabrice (1)
  • Bouret Sébastien (1)
  • Bouyekhf Rachid (1)
  • Bozga Dorel Marius (1)
  • Brachet Marc-Étienne (1)
  • Braga José Carlos de Souza (1)
  • Brevern Alexandre de (1)
  • Brisset Stéphane (1)
  • Brousseau Éric (1)
  • Brun Jean-François (1)
  • Brunel Stéphane (1)
  • Burgorgue-Larsen Laurence (1)
  • Burie Jean-Christophe (1)
  • Burlion Laurent (1)
  • Bénaben Frédérick (1)
  • Bénard Emmanuel (1)
  • Caire Raphaël (1)
  • Calabretto Sylvie (1)
  • Calvary Gaëlle (1)
  • Candito Marie-Hélène (1)
  • Cani Marie-Paule (1)
  • Cardoso João Manuel Rendeiro (1)
  • Carpentier Cédric (1)
  • Carroll Patrick (1)
  • Carré Martine (1)
  • Casas Jerôme (1)
  • Cassé Hugues (1)
  • Castagna Pierre (1)
  • Castagnède Bernard (1)
  • Castelli Eric (1)
  • Cattin Rodolphe (1)
  • Cavalli Ana (1)
  • Cavanagh Patrick (1)
  • Champagnat Ronan (1)
  • Chandes Gérard (1)
  • Chatalic Philippe (1)
  • Chatti Nizar (1)
  • Chauvet Pierre (1)
  • Chauviré Christiane (1)
  • Chetouani Mohamed (1)
  • Chevaleyre Yann (1)
  • Chevalier Jérôme (1)
  • Chevallereau Christine (1)
  • Chevallet Jean-Pierre (1)
  • Clénet Stéphane (1)
  • Colas Frédéric (1)
  • Colletaz Gilbert (1)
  • Collon Pauline (1)
  • Comon-Lundh Hubert (1)
  • Conchon Emmanuel (1)
  • Condom Thomas (1)
  • Condotta Jean-François (1)
  • Contejean Evelyne (1)
  • Couppey-Soubeyran Jézabel (1)
  • Crespi Noël (1)
  • Croisille Pierre (1)
  • Croitoru Madalina (1)
  • Cugat Orphée (1)
  • Cuperlier Nicolas (1)
  • Cuppens Nora (1)
  • Curé Olivier (1)
  • Dablanc Laetitia (1)
  • Dameron Stéphanie (1)
  • Dandois Julien (1)
  • Danlos Laurence (1)
  • Darmont Jérôme (1)
  • Darvishsefat Ali A. (1)
  • Daucé Emmanuel (1)
  • David René (1)
  • Daya Bassam (1)
  • De Marchi Fabien (1)
  • De Palo Marina (1)
  • De Sainte-Catherine Myriam (1)
  • Debbasch Fabrice (1)
  • Degache Christian (1)
  • Dehay Benjamin (1)
  • Delbecque Nicole (1)
  • Delmas Rémi (1)
  • Delrieu Guy (1)
  • Demongeot Jacques (1)
  • Desgranges Gabriel (1)
  • Dessein Gilles (1)
  • Devernay Frédéric (1)
  • Déharbe David (1)
  • Dibie-Barthélemy Juliette (1)
  • Didry Claude (1)
  • Dimand Robert W. (1)
  • Djurado David (1)
  • Dominguez-Pery Carine (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (186)
  • Sciences de l'ingénieur (70)
  • Economie (24)
  • Mathématiques (24)
  • Physique (17)
  • Sciences de la vie, biologie, biochimie (17)
  • Gestion et organisation de l'entreprise (13)
  • Sciences de la terre (12)
  • Médecine et santé (11)
  • Informatique, information, généralités (7)
  • Philosophie, psychologie (7)
  • Psychologie (6)
  • Linguistique générale (6)
  • Chimie, minéralogie, cristallographie (6)
  • Epistémologie, causalité, genre humain (4)
  • Droit (4)
  • Technologie (Sciences appliquées) (4)
  • Sciences sociales, sociologie, anthropologie (3)
  • Education et enseignement (3)
  • Langues et linguistique (3)
  • Bibliothéconomie et sciences de l'information (2)
  • Langue anglaise. Anglo-saxon (2)
  • Astronomie, cartographie, géodésie (2)
  • Animaux. Zoologie (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Les divers systèmes et écoles philosophiques (1)
  • Science politique (1)
  • Commerce, communications, transports (1)
  • Langues espagnole et portugaise (1)
  • Sciences de la nature et mathématiques (1)
  • Paléontologie. Paléozoologie (1)
  • Génie chimique, technologies alimentaires (1)
  • Fabrication industrielle (1)
  • Urbanisme (1)
  • Arts du spectacle, loisirs (1)
  • Sport (1)
  • Littératures anglaise et anglo-saxonne (1)
  • Géographie et voyages (1)

Domaines :

Fullscreen

406 thèses pour Automatic deduction

Leveraging Automatic Deduction for Verification

par Antoine Defourne sous la direction de Stephan Merz et de Pascal Fontaine. - Université de Lorraine

Informatique

En préparation depuis le 12-03-2019
 thèse en cours de préparation
Sciences et techniques communes

Soutenue en 1987
thèse soutenue
Informatique

Soutenue en 1994
thèse soutenue
Informatique

Soutenue le 30-10-2014
thèse soutenue

....101CHAPTER 5. DEDUCTION MODULO B SET THEORY5.4.2 Generated Rewrite SystemWe obtain the rewrite system...

Accéder en ligne
Sciences appliquées

Soutenue en 1989
thèse soutenue

Résultats 1 à 10