Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (529)
  • Université Grenoble Alpes (ComUE) (382)
  • Grenoble (285)
  • Lyon (247)
  • Paris Sciences et Lettres (150)
  • Rennes 1 (141)
  • Toulouse 3 (140)
  • Bordeaux (135)
  • Paris 6 (134)
  • Université de Lorraine (133)
  • Sorbonne Paris Cité (124)
  • Montpellier (120)
  • Aix-Marseille (98)
  • Paris Est (96)
  • Paris 11 (81)
  • Université Côte d'Azur (ComUE) (73)
  • Cachan, Ecole normale supérieure (68)
  • Sorbonne université (59)
  • Toulouse, INPT (51)
  • Paris, CNAM (50)
  • Clermont Auvergne (46)
  • Pau (46)
  • Normandie (45)
  • Brest (44)
  • Paris, ENSAM (44)
  • Nantes (43)
  • Toulouse, ISAE (43)
  • Paris 1 (42)
  • Bourgogne Franche-Comté (40)
  • Dijon (37)
  • Ecole centrale de Lille (37)
  • Orléans (37)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (35)
  • Lyon 1 (35)
  • Nice (33)
  • Toulouse, INSA (33)
  • La Rochelle (31)
  • Lorient (30)
  • Paris 5 (30)
  • Toulouse 1 (30)
  • Bordeaux 1 (27)
  • Clermont-Ferrand 2 (27)
  • Tours (27)
  • Compiègne (26)
  • Besançon (23)
  • Limoges (23)
  • Paris 10 (23)
  • Lyon, INSA (21)
  • Strasbourg (21)
  • Belfort-Montbéliard (20)
  • Ecole centrale de Nantes (20)
  • Cergy-Pontoise (19)
  • Evry, Institut national des télécommunications (19)
  • Troyes (19)
  • Lille 2 (18)
  • Reims (18)
  • Paris, ENST (17)
  • Montpellier 2 (16)
  • Angers (15)
  • CentraleSupélec (15)
  • Institut polytechnique de Paris (15)
  • Université libanaise (14)
  • Paris, Muséum national d'histoire naturelle (13)
  • Rennes, INSA (13)
  • Avignon (12)
  • Lille 1 (12)
  • Paris 7 (12)
  • Paris, Ecole normale supérieure (12)
  • Bordeaux 2 (11)
  • Ecully, Ecole centrale de Lyon (11)
  • La Réunion (11)
  • Mulhouse (11)
  • Paris 3 (11)
  • Valenciennes (11)
  • Artois (10)
  • Grenoble 1 (10)
  • Grenoble INPG (10)
  • Littoral (10)
  • Nancy 1 (10)
  • Paris, EHESS (10)
  • Poitiers (10)
  • Montpellier, SupAgro (9)
  • Toulouse 2 (9)
  • université Paris-Saclay (9)
  • Le Mans (8)
  • Paris, EPHE (8)
  • Università degli studi La Sapienza (Rome) (8)
  • Amiens (7)
  • Bordeaux 3 (7)
  • Evry-Val d'Essonne (7)
  • Paris, Institut d'études politiques (7)
  • Perpignan (7)
  • Rennes 2 (7)
  • Brest, École nationale supérieure de techniques avancées Bretagne (6)
  • Ecole centrale de Marseille (6)
  • Rennes, Agrocampus Ouest (6)
  • Universidade de São Paulo (Brésil) (6)
  • Université de Carthage (Tunisie) (6)
  • Université de Sherbrooke (Québec, Canada) (6)
  • Université libre de Bruxelles (1970-....) (6)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (5)
  • Châtenay-Malabry, Ecole centrale de Paris (5)
  • Ecole nationale des Mines d'Albi-Carmaux (5)
  • Montpellier 3 (5)
  • Paris 13 (5)
  • Paris, AgroParisTech (5)
  • Rennes, École normale supérieure (5)
  • Saint-Etienne (5)
  • Toulon (5)
  • Università degli studi (Turin, Italie) (5)
  • Université de Tunis (5)
  • Université du Luxembourg (5)
  • Université normale de la Chine de l'Est (Shanghai) (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (5)
  • Antilles (4)
  • Bordeaux 4 (4)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (4)
  • Lille 3 (4)
  • Nantes, Ecole nationale vétérinaire (4)
  • Paris 9 (4)
  • Toulouse, ENSAE (4)
  • Universidade estadual de Campinas (Brésil) (4)
  • Université de Liège (4)
  • Versailles-St Quentin en Yvelines (4)
  • École nationale d'ingénieurs de Tunis (Tunisie) (4)
  • Aix-Marseille 1 (3)
  • Chambéry (3)
  • Clermont-Ferrand 1 (3)
  • Le Havre (3)
  • Norwegian university of science and technology (Trondheim, Norvège) (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 8 (3)
  • Rouen, INSA (3)
  • Saint-Etienne, EMSE (3)
  • Universidad del País Vasco (3)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Universiteit Leiden (Leyde, Pays-Bas) (3)
  • University of Western Sydney (3)
  • Università degli studi (Florence, Italie) (3)
  • Università degli studi (Pise, Italie) (3)
  • Université de Sfax (Tunisie) (3)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (3)
  • Université de Yaoundé I (3)
  • École nationale d'ingénieurs de Sfax (Tunisie) (3)
  • Albert-Ludwigs-Universität (Fribourg-en-Brisgau, Allemagne) (2)
  • Australian national university (2)
  • Ecole Nationale des Sciences de l'Informatique (2)
  • Ecole nationale supérieure Mines-Télécom Lille Douai (2)
  • Ecole polytechnique (Montréal, Canada) (2)
  • Georgia institute of technology (2)
  • Grenoble Alpes (2)
  • IMT Mines Alès (2)
  • Kungliga tekniska högskolan (Stockholm) (2)
  • Nantes, Ecole des Mines (2)
  • Nanyang Technological University (2)
  • National Taiwan University (Taipei) (2)
  • Northwestern Polytechnical University (Chine) (2)
  • Paris 2 (2)
  • Paris 4 (2)
  • Pontifícia universidade católica (Rio de Janeiro, Brésil) (2)
  • Shandong University (Jinan, Chine) (2)
  • Sung Kyun Kwan university (Séoul) (2)
  • Supélec (2)
  • Technische Universität (Darmstadt, Allemagne) (2)
  • Technische Universität (Munich, Allemagne) (2)
  • UNIVERSIDADEFEDERALDEMINASGERAIS, UFMG (2)
  • Universidad católica de Chile (2)
  • Universidad de Chile (2)
  • Universidad de Concepción (Chili) (2)
  • Universidad de Sevilla (Espagne) (2)
  • Universidad de la República (Montevideo) (2)
  • Universidad de los Andes (Bogotá) (2)
  • Universidade de Lisboa (2)
  • Universitatea politehnica (Bucarest) (2)
  • Universiteit Antwerpen (2)
  • Universiteit van Amsterdam (2)
  • University of Minnesota (2)
  • University of Teheran (2)
  • University of science and technology of China (2)
  • Università degli studi (Cassino, Italie) (2)
  • Università degli studi (Milan, Italie) (2)
  • Università degli studi (Trente, Italie) (2)
  • Università degli studi di Modena e Reggio Emilia (2)
  • Universität Hannover (2)
  • Universität des Saarlandes (2)
  • Université d'Abomey-Calavi (Bénin) (2)
  • Université de Mons (2)
  • Université de Montréal (2)
  • Université de Sfax. Faculté des sciences (2)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (2)
  • Université de Tsukuba (2)
  • Université de Tunis El Manar (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Université de Tunis. Institut supérieur de gestion (Tunisie) (2)
  • Université du Québec à Montréal (2)
  • Université européenne de Bretagne (2)
  • Uniwersytet łódzki (2)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (1254)
  • Physique (151)
  • Mathématiques appliquées (93)
  • Sciences économiques (93)
  • Mathématiques (84)
  • Sciences de gestion (66)
  • Automatique (43)
  • Sciences de la vie et de la santé (39)
  • Neurosciences (38)
  • Chimie (37)
  • Mécanique (33)
  • Informatique et applications (32)
  • Sciences et technologie industrielles (28)
  • Génie électrique (25)
  • Mathématiques et informatique (25)
  • Psychologie (24)
  • Robotique (24)
  • Biologie (23)
  • Génie civil (23)
  • Mathématiques et Informatique (23)
  • Réseaux, information et communications (21)
  • Systèmes automatiques et micro-électroniques (20)
  • Matériaux, Mécanique, Génie civil, Electrochimie (19)
  • Nanoélectronique et nanotechnologie (19)
  • Physique des particules (19)
  • Sciences du langage (19)
  • Sciences agronomiques (17)
  • Sciences de la vie (17)
  • Stic (17)
  • Physique de la matière condensée et du rayonnement (16)
  • Sciences de l'univers (16)
  • Astronomie et Astrophysique (15)
  • Matériaux, mécanique, génie civil, électrochimie (15)
  • Sciences et technologies industrielles (15)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (14)
  • Génie mécanique (14)
  • Géosciences (14)
  • Nano electronique et nano technologies (14)
  • Physique théorique (14)
  • Automatique - productique (13)
  • Informatique et réseaux (13)
  • Mathématiques fondamentales (13)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (13)
  • Acoustique (12)
  • Aspects moléculaires et cellulaires de la biologie (12)
  • Automatique et productique (12)
  • Bioinformatique (12)
  • Electronique (12)
  • Génie industriel (12)
  • Immunologie (12)
  • Mécanique-matériaux (12)
  • Sciences de Gestion (12)
  • Mécanique des fluides (11)
  • Physique subatomique et astroparticules (11)
  • Ecologie (10)
  • Génie Civil (10)
  • Instrumentation et informatique de l'image (10)
  • Microbiologie (10)
  • Nanophysique (10)
  • Philosophie (10)
  • Réseaux, télécom, système et architecture (10)
  • Science politique (10)
  • Sciences cognitives (10)
  • Sciences de l'information et de la communication (10)
  • Sciences economiques (10)
  • Astrophysique (9)
  • Biologie de l'environnement, des populations, écologie (9)
  • Informatique (STIC) (9)
  • Informatique et Télécommunications (9)
  • Mécanique numérique et Matériaux (9)
  • Biologie Santé (8)
  • Biologie cellulaire (8)
  • Biologie marine (8)
  • Chimie organique (8)
  • Conception (8)
  • Dynamique des fluides (8)
  • Génie des procédés (8)
  • Informatique temps réel, robotique et automatique (8)
  • Intelligence artificielle (8)
  • Optimisation et Sûreté des Systèmes (8)
  • Sciences Economiques (8)
  • Sciences de la Terre et de l'Univers et de l'Environnement (8)
  • Signal, image, paroles, télécoms (8)
  • Analyse et politique économiques (7)
  • Astroparticules et cosmologie (7)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (7)
  • Automatique, Traitement du signal et des images, Génie informatique (7)
  • Automatique, génie informatique, traitement du signal et images (7)
  • Géographie (7)
  • Image, information, hypermedia (7)
  • Mathématiques Appliquées (7)
  • Mécanique des solides (7)
  • Physique des Particules et Astroparticules (7)
  • Physique pour les sciences du vivant (7)
  • Sciences de la terre et de l'univers, et de l'environnement (7)
  • Électronique (7)
  • Électronique Électrotechnique Automatique (7)
  • Astrophysique et milieux dilues (6)
  • Biostatistique (6)
  • Biostatistiques (6)
  • Chimie Physique (6)
  • Ecologie et biodiversité (6)
  • Energie, Rayonnement, Plasma (6)
  • Epidémiologie (6)
  • Genie electrique (6)
  • Génie Industriel (6)
  • Génie des procédés et des produits (6)
  • Génie industriel conception et production (6)
  • Génie mécanique, mécanique des matériaux (6)
  • Informatique et télécommunications (6)
  • Informatique, données, IA (6)
  • Ingénierie Microbienne et Enzymatique (6)
  • Mathématiques aux interfaces (6)
  • Mathématiques et leurs interactions (6)
  • Matériaux (6)
  • Microélectronique (6)
  • Océanographie (6)
  • Physico-Chimie de la Matière Condensée (6)
  • Physiologie et biologie des organismes - populations - interactions (6)
  • Physique des matériaux (6)
  • Réseaux, Télécommunications, Systèmes et Architecture (6)
  • Signal image parole telecoms (6)
  • Signal, Image, Vision (6)
  • Traitement du signal et des images (6)
  • Traitement du signal et télécommunications (6)
  • Vision pour la Robotique (6)
  • Écologie évolutive, fonctionnelle et des communautés (6)
  • Électronique, électrotechnique, automatique (6)
  • Études anglophones (6)
  • ATS - Automatique et Traitement de Signal (5)
  • Astrophysique, sciences de l'espace, planétologie (5)
  • Automatique, génie informatique, traitement du signal et des images (5)
  • Automatique, traitement du signal et des images (5)
  • Biochimie et biologie moléculaire (5)
  • Biodiversité écologie environnement (5)
  • Biologie végétale et forestière (5)
  • Chimie biologie (5)
  • Chimie et physico-chimie des matériaux (5)
  • Droit (5)
  • Ecologie évolutive, fonctionnelle et des communautés (5)
  • Génie des Procédés (5)
  • Imagerie et physique médicale (5)
  • Informatique appliquée (5)
  • Mathematiques (5)
  • Mathématiques appliquées et calcul scientifique (5)
  • Mécanique des fluides, procédés, énergétique (5)
  • Météorologie, océanographie, physique de l'environnement (5)
  • Neurosciences cognitives (5)
  • Physique des accélérateurs (5)
  • Physique hadronique (5)
  • Santé publique - épidémiologie (5)
  • Sciences de l'alimentation (5)
  • Sciences de l'ingénieur (5)
  • Sciences des matériaux (5)
  • Sciences et Techniques de l'Environnement (5)
  • Sciences et Technologies de l'Information Géographique (5)
  • Signal, Image, Automatique (5)
  • Sociologie (5)
  • Structure et réactions nucléaires (5)
  • Structures et Matériaux (5)
  • Surfaces et interfaces continentales, hydrologie (5)
  • Virologie microbiologie immunologie (5)
  • Économie (5)
  • Anglais (4)
  • Astronomie et astrophysique (4)
  • Automatique, Génie informatique, Traitement du Signal et des Images (4)
  • Automatique, génie informatique, traitement du signal et image (4)
  • Automatique, productique et robotique (4)
  • Automatique. Automatique, génie informatique (4)
  • Biologie des organismes (4)
  • Biologie structurale et nanobiologie (4)
  • Chimie analytique (4)
  • Chimie analytique et environnement (4)
  • Chimie physique (4)
  • Ecologie, biodiversité et évolution (4)
  • Economie et finance (4)
  • Genie industriel (4)
  • Génie Electrique (4)
  • Génie Industriel : conception et production (4)
  • Génie des systèmes industriels (4)
  • Génie électrique et électronique - Cergy (4)
  • Géochimie et écotoxicologie (4)
  • Géosciences de l'environnement (4)
  • Géosciences et géoingénierie (4)
  • Informatique. Informatique fondamentale (4)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (4)
  • Intelligence Artificielle (4)
  • Langues et littératures anglaises et anglo-saxonnes (4)
  • Linguistique anglaise (4)
  • Mathématiques et Applications (4)
  • Mathématiques. Logique et fondements de l'informatique (4)
  • Mécanique et ingénierie (4)
  • Nanoélectronique et nanotechnologie (4)
  • Pharmacologie (4)
  • Pharmacotechnie et biopharmacie (4)
  • Physique des Particules (4)
  • Physique des plasmas (4)
  • Physique. Physique de l'Univers (4)
  • Recherche clinique, innovation technologique, santé publique (4)
  • Réseaux, Télécoms, Systèmes et Architecture (4)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (230)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (196)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (118)
  • École doctorale Informatique, télécommunications et électronique de Paris (117)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (110)
  • École doctorale en Informatique et Mathématiques de Lyon (99)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (96)
  • École doctorale physique (Grenoble) (91)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (77)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (74)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (68)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (66)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (63)
  • École doctorale Sciences pour l'Ingénieur (Lille) (62)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (60)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (58)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (54)
  • I2S - Information, Structures, Systèmes (51)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (49)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (48)
  • École doctorale chimie et science du vivant (Grenoble) (46)
  • École doctorale Particules, Hadrons, Énergie et Noyau : Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (41)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (40)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (39)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (38)
  • École doctorale terre, univers, environnement (Grenoble) (38)
  • École doctorale Systèmes (Toulouse) (36)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (35)
  • École doctorale Sciences fondamentales et appliquées (Nice) (35)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (35)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (33)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (33)
  • École doctorale Physique en Île-de-France (Paris) (33)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (33)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (30)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (29)
  • Ecole doctorale de Dauphine (Paris) (29)
  • MATHSTIC (29)
  • École doctorale Cerveau, cognition, comportement (Paris) (29)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (29)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (28)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (28)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (26)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (26)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (26)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (25)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (25)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (24)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (23)
  • École doctorale d'Économie (Paris) (23)
  • Ecole doctorale Informatique de Paris-Sud (21)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (21)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (21)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (20)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (20)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (19)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (19)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (18)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (17)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris) (17)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (17)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (17)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (17)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (16)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (16)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (16)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (15)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (15)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (15)
  • École doctorale des sciences chimiques (Talence, Gironde) (15)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (15)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (15)
  • École doctorale Complexité du vivant (Paris) (14)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (14)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (14)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (14)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (13)
  • École doctorale Biologie-Santé (Lille) (13)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne ; 2015-....) (13)
  • École doctorale de Physique et d’Astrophysique (Lyon) (13)
  • École doctorale sciences de gestion (Grenoble) (13)
  • Ecole Doctorale Sciences de l'Environnement (Aix-Marseille) (12)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (12)
  • École doctorale Euclide (La Rochelle ; 2018-....) (12)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (12)
  • École doctorale Sciences pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (12)
  • École doctorale Sciences pour l'ingénieur (Nantes) (12)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (12)
  • École doctorale de l'Institut polytechnique de Paris (12)
  • École doctorale de l'École pratique des hautes études (Paris) (12)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (12)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (12)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (11)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (11)
  • École Doctorale de Chimie (Lyon) (11)
  • École doctorale Biologie-Santé (Rennes) (11)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (11)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (11)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (11)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (11)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (11)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (11)
  • École doctorale Économie, organisations, société (Nanterre) (11)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (10)
  • Toulouse School of Economics (10)
  • École doctorale Abbé Grégoire (Paris) (10)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (10)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (10)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (10)
  • École doctorale Sciences économiques et gestion (Lyon) (10)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (Cergy-Pontoise, Val d'Oise) (9)
  • SIE - Sciences, Ingénierie et Environnement (9)
  • École Doctorale Neurosciences et Cognition (NSCo) (9)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (9)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (9)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (9)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (9)
  • École doctorale Physique et chimie des matériaux (Paris) (9)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (9)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (9)
  • École doctorale Sciences mécaniques et énergétiques, matériaux et géosciences (Gif-sur-Yvette, Essonne ; 2015-....) (9)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-....) (9)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (9)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (9)
  • Biologie-Santé (8)
  • EGAAL (8)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (8)
  • Mathématiques Informatique Télécommunications de Toulouse (8)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (8)
  • École Doctorale Sciences de la Matière (Toulouse) (8)
  • École doctorale Aéronautique-Astronautique (Toulouse) (8)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (8)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (8)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (8)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (8)
  • École doctorale SIReNa - Science et ingénierie des ressources naturelles (Lorraine) (8)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (8)
  • École doctorale Sciences de la nature et de l'Homme. Évolution et écologie (Paris) (8)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (8)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (8)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (8)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (8)
  • École doctorale de Physique et Astrophysique de Lyon (8)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (8)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (8)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (7)
  • Ecole doctorale Sciences du Végétal (1992-2015 ; Orsay, Essonne) (7)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (7)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (7)
  • Sciences Chimiques et Biologiques pour la Santé (7)
  • École doctorale Biologie-Santé Nantes-Angers (7)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris) (7)
  • École doctorale Sciences du mouvement humain (Marseille) (7)
  • École doctorale Sciences, technologie et santé (Amiens) (7)
  • École doctorale de Sciences Po (Paris) (7)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (7)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (7)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (7)
  • Ecole doctorale Santé, sciences, technologies (Tours) (6)
  • Ecole doctorale Sciences et technologies (Orléans) (6)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (6)
  • École doctorale Arts, Lettres, Langues (Rennes) (6)
  • École doctorale Génétique, cellulaire, immunologie, infectiologie et développement (....-2013 ; Paris) (6)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (6)
  • École doctorale Hématologie, oncogenèse et biothérapies (Paris) (6)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (6)
  • École doctorale Philosophie (Paris) (6)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (6)
  • École doctorale SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (6)
  • École doctorale Sciences de l'homme et de la société (Tours ; 1996-2018) (6)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (6)
  • École doctorale de l'École des hautes études en sciences sociales (6)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (6)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (6)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (6)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (6)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (5)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (5)
  • Ecole doctorale de Sciences du Langage (Paris) (5)
  • Ed Sis 488 (5)
  • Sciences Chimiques Balard (5)
  • Sciences Ecologiques, Vétérinaires, Agronomiques et Bioingénieries (5)
  • Sciences et environnements (5)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (5)
  • École doctorale BioSE - Biologie, Santé, Environnement (5)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (5)
  • École doctorale Humanités Nouvelles - Fernand Braudel (Lorraine) (5)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (5)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (5)
  • École doctorale Santé publique (Paris ; 2000-2015) (5)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (5)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (5)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (5)
  • École doctorale Sciences sociales (Lyon) (5)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (5)
  • École doctorale Vie-Agro-Santé (Rennes) (5)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (4)
  • Ecole doctorale Chimie de Paris-Sud (Orsay, Essonne ; 2006-2015) (4)
  • Ecole doctorale Modélisation et Instrumentation en Physique, Energie, Géosciences et Environnement (Orsay, Essonne ; 2010-2015) (4)
  • Ecole doctorale Ondes et Matière (Orsay, Essonne ; 1998-2015) (4)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (3162)
  • français (1836)
  • espagnol (6)
  • null (5)
  • portugais (3)
  • arabe (1)
  • allemand (1)
  • basque (1)
  • italien (1)
  • polonais (1)
  • russe (1)
  • sanskrit (1)
  • slovène (1)
  • turc (1)
  • chinois (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (17)
  • Barkaoui Kamel (11)
  • Hacid Mohand Saïd (10)
  • Cavalli Ana (9)
  • Méhaut Jean-François (9)
  • Oquendo Flavio (9)
  • Pétrot Frédéric (9)
  • Baudry Benoit (8)
  • Kordon Fabrice (8)
  • Naccache David (8)
  • Toguyeni Abdoul Karim Armand (8)
  • Abdalla Michel (7)
  • Bozga Dorel Marius (7)
  • Chanussot Jocelyn (7)
  • Faure Jean-Marc (7)
  • Haddad Serge (7)
  • Julliand Jacques (7)
  • Lesage Jean-Jacques (7)
  • Maler Oded (7)
  • Merz Stephan (7)
  • Morel Jean-Michel (7)
  • Ogier Jean-Marc (7)
  • Pointcheval David (7)
  • Termier Alexandre (7)
  • Allard Bruno (6)
  • Aït-Ameur Yamine (6)
  • Borrione Dominique (6)
  • Filali Mamoun (6)
  • Gaaloul Walid (6)
  • Girard Antoine (6)
  • Jensen Thomas (6)
  • Lafourcade Pascal (6)
  • Lakhnech Yassine (6)
  • Le Gall Pascale (6)
  • Prieur Christophe (6)
  • Sifakis Joseph (6)
  • Antoniu Gabriel (5)
  • Bach Francis (5)
  • Barais Olivier (5)
  • Bodeveix Jean-Paul (5)
  • Bonald Thomas (5)
  • Calvary Gaëlle (5)
  • Dang Thao (5)
  • David Bertrand (5)
  • Delaune Stéphanie (5)
  • Demongeot Jacques (5)
  • Drira Khalil (5)
  • Dubois Catherine (5)
  • Festor Olivier (5)
  • Fouque Pierre-Alain (5)
  • Fribourg Laurent (5)
  • Gastin Paul (5)
  • Gaubert Stéphane (5)
  • Ghibaudo Gérard (5)
  • Girard Patrick (5)
  • Groz Roland (5)
  • Jard Claude (5)
  • Kheddar Abderrahmane (5)
  • Lanet Jean-Louis (5)
  • Le Thanh Nhan (5)
  • Mammar Amel (5)
  • Morin-Allory Katell (5)
  • Nicolaïdis Michael (5)
  • Percebois Christian (5)
  • Richard Jean-Pierre (5)
  • Riveill Michel (5)
  • Rutten Eric (5)
  • Sagot Marie-France (5)
  • Schoenauer Marc (5)
  • Segoufin Luc (5)
  • Teytaud Olivier (5)
  • Touili Tayssir (5)
  • Alami Rachid (4)
  • Amghar Youssef (4)
  • Aniorté Philippe (4)
  • Ausbourg Bruno d' (4)
  • Badr Youakim (4)
  • Bennis-Zeitouni Karine (4)
  • Bidan Christophe (4)
  • Blazy Sandrine (4)
  • Bon Philippe (4)
  • Boniol Frédéric (4)
  • Bérard Béatrice (4)
  • Canudas-de-Wit Carlos (4)
  • Castelluccia Claude (4)
  • Chbeir Richard (4)
  • Collart-Dutilleul Simon (4)
  • Comet Jean-Paul (4)
  • Conchon Sylvain (4)
  • Cortier Véronique (4)
  • Cortés Juan (4)
  • Delahaye David (4)
  • Demri Stéphane P. (4)
  • Donsez Didier (4)
  • Faulon Jean-Loup (4)
  • Fernandez Jean-Claude (4)
  • Fesquet Laurent (4)
  • Girault Alain (4)
  • Haar Stefan (4)
  • Ibrahimbegovic Adnan (4)
  • Lalanda Philippe (4)
  • Le Viol Isabelle (4)
  • Legay Axel (4)
  • Liberti Leo (4)
  • Maag Stéphane (4)
  • Markey Nicolas (4)
  • Mateescu Radu (4)
  • Mokhtari Mounir (4)
  • Monniaux David (4)
  • Monteil Thierry (4)
  • Mosbah Mohamed (4)
  • Mourlin Fabrice (4)
  • Muscholl Anca (4)
  • Nakagawa Elisa Yumi (4)
  • Nicolle Christophe (4)
  • Nicot François (4)
  • Niel Eric (4)
  • Palanque Philippe (4)
  • Palma Noël de (4)
  • Pautet Laurent (4)
  • Pesty Sylvie (4)
  • Pommereau Franck (4)
  • Riera Bernard (4)
  • Salaün Gwen (4)
  • Santana Miguel (4)
  • Shariat Ghodous Parisa (4)
  • Solnon Christine (4)
  • Sunyé Gerson (4)
  • Tata Samir (4)
  • Torres Lionel (4)
  • Toumani Farouk (4)
  • Travé-Massuyès Louise (4)
  • Velazco Raoul (4)
  • Vernadat François B. (4)
  • Walukiewicz Igor (4)
  • Wolff Burkhart (4)
  • Zaïdi Fatiha (4)
  • Afifi Hossam (3)
  • Alamir Mazen (3)
  • Alla Hassane Lotfi (3)
  • Alpan Gülgün (3)
  • Andreu David (3)
  • Audra Philippe (3)
  • Ballier Nicolas (3)
  • Beaudouin-Lafon Michel (3)
  • Beigné Édith (3)
  • Beldiceanu Nicolas (3)
  • Ben Yaghlane Boutheïna (3)
  • Bernot Gilles (3)
  • Berruet Pascal (3)
  • Berthomieu Bernard (3)
  • Beyer Peter (3)
  • Blanch Renaud (3)
  • Bonnin Jean-Marie (3)
  • Boochs Frank (3)
  • Bouajjani Ahmed (3)
  • Boughanem Mohand (3)
  • Bourcier Johann (3)
  • Bouyer-Decitre Patricia (3)
  • Boyer Edmond (3)
  • Brauner Nadia (3)
  • Brogliato Bernard (3)
  • Burie Jean-Christophe (3)
  • Chalon René (3)
  • Chen Liming (3)
  • Choley Jean-Yves (3)
  • Claramunt Christophe (3)
  • Clermidy Fabien (3)
  • Clément Benoît (3)
  • Combescure Alain (3)
  • Comon-Lundh Hubert (3)
  • Comyn-Wattiau Isabelle (3)
  • Consel Charles (3)
  • Couchot Jean-François (3)
  • Coudert François-Xavier (3)
  • Couvreur Jean-Michel (3)
  • Cracowski Jean-Luc (3)
  • Crespi Noël (3)
  • Cuppens Frédéric (3)
  • Dague Philippe (3)
  • Dalibard Jean (3)
  • De Vreyer Philippe (3)
  • Debbah Mérouane (3)
  • Derrien Steven (3)
  • Dilillo Luigi (3)
  • Donard Olivier (3)
  • Dony Christophe (3)
  • Dowek Gilles (3)
  • Encrenaz Emmanuelle (3)
  • Fabre Jean-Charles (3)
  • Faiz Rim (3)
  • Faron-Zucker Catherine (3)
  • Filliâtre Jean-Christophe (3)
  • Foufou Sebti (3)
  • Fournier Jacques J. A. (3)
  • François Olivier (3)
  • Gaborit Philippe (3)
  • Gamatié Abdoulaye (3)
  • Garambois Stéphane (3)
  • Garavel Hubert (3)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1533)
  • Sciences de l'ingénieur (932)
  • Sciences de la vie, biologie, biochimie (465)
  • Physique (461)
  • Mathématiques (310)
  • Médecine et santé (258)
  • Sciences de la terre (160)
  • Chimie, minéralogie, cristallographie (147)
  • Economie (146)
  • Gestion et organisation de l'entreprise (97)
  • Informatique, information, généralités (88)
  • Astronomie, cartographie, géodésie (75)
  • Psychologie (44)
  • Technologie (Sciences appliquées) (41)
  • Agronomie, agriculture et médecine vétérinaire (40)
  • Sciences sociales, sociologie, anthropologie (30)
  • Langues et linguistique (24)
  • Linguistique générale (24)
  • Génie chimique, technologies alimentaires (23)
  • Plantes. Botanique (18)
  • Animaux. Zoologie (17)
  • Fabrication industrielle (17)
  • Science politique (16)
  • Sciences de la nature et mathématiques (16)
  • Langue anglaise. Anglo-saxon (15)
  • Sport (15)
  • Philosophie, psychologie (13)
  • Géographie et voyages (13)
  • Education et enseignement (12)
  • Droit (11)
  • Littératures anglaise et anglo-saxonne (10)
  • Bibliothéconomie et sciences de l'information (7)
  • Epistémologie, causalité, genre humain (7)
  • Urbanisme (6)
  • Statistiques générales (5)
  • Autres langues (5)
  • Bâtiments (5)
  • Géographie et histoire (5)
  • Médias d'information, journalisme, édition (4)
  • Commerce, communications, transports (4)
  • Langues romanes. Français (4)
  • Langues espagnole et portugaise (3)
  • Arts. Beaux-arts et arts décoratifs (3)
  • Arts du spectacle, loisirs (3)
  • Histoire et critique littéraires, rhétorique (3)
  • Morale (éthique) (2)
  • Philosophie occidentale moderne et philosophies non orientales (2)
  • Problèmes et services sociaux (2)
  • Ethnologie (2)
  • Paléontologie. Paléozoologie (2)
  • Architecture (2)
  • Littérature américaine en anglais (2)
  • Littérature de langues romanes. Littérature française (2)
  • Littératures espagnole et portugaise (2)
  • Histoire ancienne et préhistoire (2)
  • Histoire générale de l'Amérique du Nord (2)
  • Religion (1)
  • Autres religions (1)
  • Fabrication de produits à usages spécifiques (1)
  • Arts graphiques (1)
  • Photographie et les photographies, art numérique (1)
  • Musique (1)
  • Histoire moderne et contemporaine de l'Europe (1)
  • Histoire générale de la France (1)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (1)

Domaines :

Fullscreen

4742 thèses pour Model Checking

Mathématiques. Logique et fondements de l'informatique

Soutenue en 2015
thèse soutenue

.... . . . . . . . . . . . . . . . . . . . 492.4 Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . 502.4.1 Specification...

Accéder en ligne
Informatique

Soutenue en 2003
thèse soutenue
Sûreté de logiciel et calcul de haute performance

Soutenue le 20-12-2011
thèse soutenue

...beexpressed by means of fixpoint formulas.2.2.3 Model CheckingGlobal and LocalThe model checking problem can be...

Accéder en ligne
Informatique

Soutenue le 19-11-2014
thèse soutenue

...,la réduction peut malgré tout conduire à un modèle encore trop large.0.1.4 Model checking statistique...

Accéder en ligne
Informatique

Soutenue le 05-07-2018
thèse soutenue

...step.Clarkson et al. have shown that the model-checking problem S |= ψof HyperLTL, that is, knowing if...

Accéder en ligne

Malware (virus) detection using model checking

par Ugochukwu Onwudebelu sous la direction de Tayssir Touili - Paris 13

Ingenierie informatique

En préparation depuis le 26-03-2018
 thèse en cours de préparation

Model checking de codes binaires exécutables

par Xin Ye sous la direction de Tayssir Touili et de Jifeng He. - Université de Paris (2019-....)

Informatique

En préparation depuis le 09-12-2014
 thèse en cours de préparation
Soutenance prévue le 30-09-2019

Résultats 1 à 10