Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (613)
  • Université Grenoble Alpes (ComUE) (492)
  • Grenoble (362)
  • Lyon (307)
  • Université de Lorraine (299)
  • Toulouse 3 (274)
  • Paris 6 (267)
  • Rennes 1 (235)
  • Bordeaux (189)
  • Paris 11 (186)
  • Aix-Marseille (164)
  • Paris Est (159)
  • Sorbonne Paris Cité (153)
  • Paris Sciences et Lettres (ComUE) (146)
  • Montpellier (144)
  • Toulouse, INPT (129)
  • Cachan, Ecole normale supérieure (127)
  • Nantes (114)
  • Nancy 1 (108)
  • Nice (102)
  • Paris, ENSAM (98)
  • Normandie (91)
  • Paris 1 (89)
  • Université Côte d'Azur (ComUE) (89)
  • Grenoble INPG (88)
  • Sorbonne université (87)
  • Bourgogne Franche-Comté (81)
  • Grenoble 1 (76)
  • Orléans (75)
  • Paris, CNAM (74)
  • Bordeaux 1 (72)
  • Brest (72)
  • Lille 1 (72)
  • Besançon (70)
  • Pau (65)
  • Dijon (62)
  • université Paris-Saclay (62)
  • Clermont-Ferrand 2 (58)
  • Paris 7 (58)
  • Toulouse, INSA (57)
  • Lyon, INSA (52)
  • Compiègne (51)
  • Ecole centrale de Lille (50)
  • Strasbourg (49)
  • Toulouse, ISAE (49)
  • Clermont Auvergne (48)
  • Lorient (48)
  • Paris, ENST (48)
  • Lyon 1 (47)
  • Paris 10 (47)
  • Limoges (46)
  • Montpellier 2 (46)
  • Evry, Institut national des télécommunications (45)
  • Toulouse 1 (45)
  • Ecole centrale de Nantes (41)
  • Paris 5 (41)
  • Valenciennes (41)
  • Troyes (40)
  • Vandoeuvre-les-Nancy, INPL (38)
  • Université Grenoble Alpes (37)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (36)
  • Paris 2 (36)
  • Poitiers (36)
  • Le Mans (32)
  • Lille 2 (32)
  • Reims (30)
  • Belfort-Montbéliard (29)
  • Avignon (28)
  • Institut polytechnique de Paris (28)
  • La Rochelle (28)
  • Paris 9 (27)
  • Aix-Marseille 1 (26)
  • Châtenay-Malabry, Ecole centrale de Paris (26)
  • Ecully, Ecole centrale de Lyon (26)
  • Paris, ENMP (26)
  • Rennes, INSA (26)
  • Tours (26)
  • Metz (25)
  • Paris 8 (25)
  • Aix-Marseille 3 (24)
  • Strasbourg 1 (24)
  • Bordeaux 2 (23)
  • Cergy-Pontoise (23)
  • Angers (21)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (21)
  • CentraleSupélec (20)
  • Mulhouse (20)
  • Montpellier 1 (19)
  • Palaiseau, Ecole polytechnique (19)
  • Paris 13 (19)
  • Toulon (19)
  • Toulouse 2 (19)
  • Caen (18)
  • Littoral (18)
  • Paris 4 (18)
  • Paris, EHESS (18)
  • Perpignan (18)
  • Evry-Val d'Essonne (17)
  • Université Paris sciences et lettres (17)
  • Amiens (16)
  • La Réunion (16)
  • Paris 12 (16)
  • Paris 3 (16)
  • Toulouse, ENSAE (16)
  • Université libanaise (16)
  • Nancy 2 (15)
  • Rouen (15)
  • Bordeaux 4 (14)
  • École nationale d'ingénieurs de Sfax (Tunisie) (14)
  • Aix-Marseille 2 (13)
  • Bordeaux 3 (13)
  • Chambéry (13)
  • Versailles-St Quentin en Yvelines (13)
  • Artois (12)
  • Montpellier 3 (12)
  • Paris, AgroParisTech (12)
  • Rennes 2 (12)
  • École nationale d'ingénieurs de Tunis (Tunisie) (12)
  • Lyon 2 (11)
  • Paris, Institut d'études politiques (11)
  • Paris, Muséum national d'histoire naturelle (11)
  • Université de Carthage (Tunisie) (10)
  • Clermont-Ferrand 1 (9)
  • East China normal university (Shanghai) (9)
  • Grenoble 2 (9)
  • Jouy-en Josas, HEC (9)
  • Lille 3 (9)
  • Montpellier, SupAgro (9)
  • Paris, Institut agronomique, vétérinaire et forestier de France (9)
  • Saint-Etienne (9)
  • Supélec (9)
  • Télécom Bretagne (9)
  • Universidade de São Paulo (Brésil) (9)
  • Université de Sfax (Tunisie) (9)
  • Ecole centrale de Marseille (8)
  • Ecole nationale des Mines d'Albi-Carmaux (8)
  • Paris, HESAM (8)
  • Rennes, Agrocampus Ouest (8)
  • Université de Paris (2019-....) (8)
  • Grenoble Alpes (7)
  • IMT Mines Alès (7)
  • Le Havre (7)
  • Lyon 3 (7)
  • Marne-la-vallée, ENPC (7)
  • Paris, Ecole normale supérieure (7)
  • Rouen, INSA (7)
  • Università degli studi La Sapienza (Rome) (7)
  • Université de Montréal (7)
  • Université de Tunis El Manar (7)
  • Université libre de Bruxelles (1970-....) (7)
  • Brest, École nationale supérieure de techniques avancées Bretagne (6)
  • Strasbourg 2 (6)
  • Universitatea politehnica (Bucarest) (6)
  • Université de Sherbrooke (Québec, Canada) (6)
  • Université de Yaoundé I (6)
  • Université du Luxembourg (6)
  • Université du Québec à Montréal (6)
  • Paris, EPHE (5)
  • Paris, Télécom ParisTech (5)
  • Saint-Etienne, EMSE (5)
  • Universidad del País Vasco (5)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (5)
  • Corte (4)
  • Ecole polytechnique (Montréal, Canada) (4)
  • Grenoble 3 (4)
  • Guyane (4)
  • Politechnika Gdańska (Pologne) (4)
  • Universidade estadual de Campinas (Brésil) (4)
  • Universitat politécnica de Catalunya (4)
  • University of Waterloo (Canada) (4)
  • Universität Hannover (4)
  • Université de Cocody (Abidjan, Côte d'Ivoire) (4)
  • Vaulx-en-Velin, Ecole nationale des travaux publics (4)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (4)
  • Antilles (3)
  • Bourges, INSA Centre Val de Loire (3)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (3)
  • Dalian University of Technology (Chine) (3)
  • Institut des Hautes Etudes Commerciales (Carthage, Tunisie) (3)
  • Institut international d'ingénierie de l'eau et de l'environnement (3)
  • Institute for Physical Research (Ashtarak) (3)
  • Lyon, École normale supérieure (3)
  • Lyon, École normale supérieure (sciences) (3)
  • National Taiwan University (Taipei) (3)
  • Northeastern University (Shenyang) (3)
  • Northwestern Polytechnical University (Chine) (3)
  • Otto-von-Guericke-Universität Magdeburg (3)
  • Pontifícia universidade católica (Rio de Janeiro, Brésil) (3)
  • Rennes, École normale supérieure (3)
  • Strasbourg 3 (3)
  • Tongji university (Shanghai, Chine) (3)
  • Universidad de Buenos Aires (3)
  • Universidad nacional de Colombia (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)
  • Università degli studi (Bologne, Italie) (3)
  • Università degli studi (Cassino, Italie) (3)
  • Università degli studi di Napoli Federico II (3)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (1869)
  • Physique (278)
  • Sciences appliquées (181)
  • Sciences de gestion (179)
  • Sciences économiques (144)
  • Génie électrique (97)
  • Mécanique (96)
  • Mathématiques (88)
  • Génie civil (82)
  • Chimie (81)
  • Mathématiques appliquées (78)
  • Psychologie (66)
  • Sciences de la vie et de la santé (66)
  • Automatique (56)
  • Neurosciences (55)
  • Sciences et technologie industrielles (51)
  • Droit public (47)
  • Sciences et techniques (46)
  • Électronique (44)
  • Droit privé (41)
  • Génie mécanique (38)
  • Biologie (37)
  • Electronique (37)
  • Informatique et applications (36)
  • Droit (35)
  • Génie Civil (35)
  • Matériaux, Mécanique, Génie civil, Electrochimie (34)
  • Informatique et réseaux (32)
  • Mécanique des solides (32)
  • Nano electronique et nano technologies (31)
  • Sciences des matériaux (30)
  • Mécanique, génie mécanique, génie civil (29)
  • Géographie (28)
  • Mécanique des fluides (27)
  • Nanoélectronique et nanotechnologie (27)
  • Sciences de l'éducation (27)
  • Génie industriel (26)
  • Sciences pour l'ingénieur (26)
  • Biologie Santé (25)
  • Génie des procédés (25)
  • Mathématiques et Informatique (25)
  • Mécanique-matériaux (25)
  • Philosophie (25)
  • Sciences du langage (25)
  • Matériaux, mécanique, génie civil, électrochimie (24)
  • Acoustique (23)
  • Mathématiques et informatique (23)
  • Sociologie (22)
  • Robotique (21)
  • Sciences de l'information et de la communication (21)
  • Génie des procédés et des produits (20)
  • Microélectronique (20)
  • Sciences et technologies industrielles (20)
  • Systèmes automatiques et micro-électroniques (20)
  • Géosciences (19)
  • Mécanique et énergétique (19)
  • Nanophysique (19)
  • Microbiologie (18)
  • Sciences de Gestion (18)
  • Sciences de l'univers (18)
  • Traitement du signal et télécommunications (18)
  • Informatique et Télécommunications (17)
  • Linguistique (17)
  • Science politique (17)
  • Stic (17)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (16)
  • Dynamique des fluides (16)
  • Instrumentation et informatique de l'image (16)
  • Sciences (16)
  • Sciences de l'ingénieur (16)
  • Réseaux, information et communications (15)
  • Aspects moléculaires et cellulaires de la biologie (14)
  • Astronomie et Astrophysique (14)
  • Chimie analytique (14)
  • Energétique (14)
  • Génie des Procédés et de l'Environnement (14)
  • Géotechnique (14)
  • Mathématiques Appliquées (14)
  • Physique de la matière condensée et du rayonnement (14)
  • Sciences de la terre et de l'univers, et de l'environnement (14)
  • Sciences de la vie (14)
  • Automatique et productique (13)
  • Energie, Rayonnement, Plasma (13)
  • Mécanique des matériaux (13)
  • Sciences biologiques et fondamentales appliquées. Psychologie (13)
  • Sciences de la Terre et de l'Univers et de l'Environnement (13)
  • Sciences pour l'Ingénieur (13)
  • Automatique et informatique appliquée (12)
  • Energétique, thermique, combustion (12)
  • Genie electrique (12)
  • Histoire (12)
  • Informatique et mathématiques (12)
  • InformatiqueInformatique (12)
  • Mécanique des fluides, procédés, énergétique (12)
  • Mécanique des solides, des matériaux, des structures et des surfaces (12)
  • Physique des plasmas (12)
  • Terre, océan, espace (12)
  • Traitement du signal et des images (12)
  • Gestion (11)
  • Génie mécanique, mécanique des matériaux (11)
  • Matériaux, Mécanique, Optique et Nanotechnologie (11)
  • Mécanique numérique et Matériaux (11)
  • Optimisation et Sûreté des Systèmes (11)
  • Physique théorique (11)
  • Sciences agronomiques (11)
  • Signal et images (11)
  • Systèmes informatiques (11)
  • Énergie nucléaire (11)
  • Énergétique (11)
  • Automatique et informatique (10)
  • Biochimie et biologie moléculaire (10)
  • Conception (10)
  • Génie Electrique (10)
  • Informatique, données, IA (10)
  • Mathématiques fondamentales (10)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (10)
  • Océan, Atmosphère, Climat (10)
  • Océan, Atmosphère, Hydrologie (10)
  • Océan, atmosphère, climat (10)
  • Physique des accélérateurs (10)
  • Physique des particules (10)
  • Sciences de la Vie et de la Santé (10)
  • Sciences et techniques des activités physiques et sportives (10)
  • Sciences juridiques (10)
  • Signal, Image, Vision (10)
  • Électronique, électrotechnique, automatique (10)
  • Automatique, génie informatique, traitement du signal et des images (9)
  • Biologie cellulaire (9)
  • Biologie végétale et forestière (9)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (9)
  • Electronique et communications (9)
  • Génie Industriel : conception et production (9)
  • Génie des systèmes industriels (9)
  • Génie industriel conception et production (9)
  • Informatique (STIC) (9)
  • Micro-électronique (9)
  • Mécanique - Génie civil (9)
  • Sciences Agronomiques (9)
  • Sciences et Techniques de l'Environnement (9)
  • Structures et Matériaux (9)
  • Sureté de logiciel et calcul de haute performance (9)
  • Surfaces et interfaces continentales, hydrologie (9)
  • Automatique et informatique industrielle (8)
  • Chimie Physique (8)
  • Epidémiologie (8)
  • Génie Industriel (8)
  • Géosciences et géoingénierie (8)
  • Informatique et télécommunications (8)
  • Lettres (8)
  • Micro et nano-électronique (8)
  • Mécanique des fluides Energétique, Procédés (8)
  • Mécanique des milieux fluides (8)
  • Nanoélectronique et nanotechnologie (8)
  • Océan, atmosphère, hydrologie (8)
  • Optique et photonique (8)
  • Sciences de l'environnement (8)
  • Sciences de la Terre (8)
  • Sciences de la planète et de l'univers (8)
  • Sciences economiques (8)
  • Signal, image, paroles, télécoms (8)
  • Télécommunications (8)
  • Automatique - productique (7)
  • Automatique, Traitement du signal et des images, Génie informatique (7)
  • Automatique, génie informatique, traitement du signal et image (7)
  • Biochimie (7)
  • Biodiversité écologie environnement (7)
  • Bioinformatique (7)
  • Biologie marine (7)
  • Chimie physique (7)
  • Electronique, Optronique et Systèmes (7)
  • Energétique et Procédés (7)
  • Génétique (7)
  • Géochimie (7)
  • Immunologie (7)
  • Informatique, temps réel, robotique et automatique (7)
  • Mathématiques appliquées et calcul scientifique (7)
  • Océanographie (7)
  • Pharmacologie (7)
  • Physico-chimie de la matière condensée (7)
  • Physique appliquée (7)
  • Programmation et systèmes (7)
  • Recherche clinique, innovation technologique, santé publique (7)
  • Réseaux, Télécommunications, Systèmes et Architecture (7)
  • Sciences Economiques (7)
  • Signal, Image, Automatique (7)
  • Systèmes automatiques et microélectroniques (7)
  • Études anglophones (7)
  • ATS - Automatique et Traitement de Signal (6)
  • Analyse et politique économiques (6)
  • Aspects moleculaires et cellulaires de la biologie (6)
  • Automatique, productique et robotique (6)
  • Biologie végétale (6)
  • Biophysique (6)
  • Chimie - physique (6)
  • Chimie des matériaux (6)
  • Contrôle des systèmes (6)
  • Energie (SPI) (6)
  • Geographie (6)
  • Génie des Procédés (6)
  • Histoire moderne et contemporaine (6)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (252)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (193)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (188)
  • École doctorale Informatique, télécommunications et électronique de Paris (165)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (152)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (132)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (117)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (113)
  • École doctorale Sciences pour l'Ingénieur (Lille) (108)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (108)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (91)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (86)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (85)
  • École doctorale en Informatique et Mathématiques de Lyon (83)
  • École doctorale physique (Grenoble) (83)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (82)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (80)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (77)
  • École doctorale Sciences mécaniques et énergétiques, matériaux et géosciences (Gif-sur-Yvette, Essonne ; 2015-....) (76)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (74)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (73)
  • École doctorale terre, univers, environnement (Grenoble) (70)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (64)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (62)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (57)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (56)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (56)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (55)
  • École doctorale chimie et science du vivant (Grenoble) (55)
  • École doctorale Sciences fondamentales et appliquées (Nice) (54)
  • École doctorale Electrical, optical, bio : physics and engineering (Orsay, Essonne ; 2015-....) (53)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (52)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (52)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (52)
  • École doctorale Sciences pour l'ingénieur (Nantes) (48)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (47)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (44)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (43)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (42)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (42)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (41)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (41)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (40)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (40)
  • École doctorale Systèmes (Toulouse) (40)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (39)
  • École doctorale Particules, hadrons, énergie et noyau : instrumentation, imagerie, cosmos et simulation (Orsay, Essonne ; 2015-....) (35)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (34)
  • Ecole doctorale de Dauphine (Paris) (33)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (33)
  • École doctorale Ondes et matière (Orsay, Essonne ; 2015-....) (33)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (33)
  • Ecole doctorale Informatique de Paris-Sud (31)
  • MATHSTIC (30)
  • École doctorale Agriculture, alimentation, biologie, environnement, santé (Paris ; 2015-....) (30)
  • École doctorale des sciences chimiques (Talence, Gironde) (30)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (29)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (29)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (28)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (28)
  • École doctorale Structure et dynamique des systèmes vivants (Gif-sur-Yvette, Essonne ; 2015-....) (28)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (28)
  • École doctorale Cerveau, cognition, comportement (Paris) (26)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (26)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (25)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (25)
  • École doctorale Sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (25)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (24)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (24)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (24)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (23)
  • Sciences Chimiques et Biologiques pour la Santé (Montpellier ; Ecole Doctorale ; 2015-....) (23)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (23)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (22)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (22)
  • École doctorale de Physique et Astrophysique de Lyon (22)
  • École doctorale de l'Institut polytechnique de Paris (22)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (22)
  • École Doctorale de Chimie (Lyon) (21)
  • École doctorale Biologie-Santé (Lille) (21)
  • École doctorale BioSE - Biologie, Santé, Environnement (21)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (21)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (21)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (21)
  • École doctorale d'Économie (Paris) (21)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (20)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (20)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (20)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (20)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris ; 2000-....) (19)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (19)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (18)
  • École doctorale Sciences de l'Homme et de la société (Sceaux, Hauts-de-Seine ; 2015-2020) (18)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (18)
  • IAEM Lorraine (17)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (17)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (17)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (17)
  • Ecole Doctorale Sciences de l'Environnement (Aix-Marseille) (16)
  • École doctorale Abbé Grégoire (Paris) (16)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (16)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (16)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (16)
  • École doctorale Énergie environnement (Perpignan) (16)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (15)
  • École doctorale C2MP - Chimie mécanique matériaux physique (Lorraine) (15)
  • École doctorale Sciences économiques et gestion (Lyon) (15)
  • École doctorale Sciences, technologie et santé (Amiens) (15)
  • École doctorale Écologie Géosciences Agronomie Alimentation (Rennes) (15)
  • École doctorale Économie, organisations, société (Nanterre) (15)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (14)
  • École Doctorale Neurosciences et Cognition (NSCo) (14)
  • École doctorale Matière, Molécules et Matériaux (Le Mans) (14)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (14)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (14)
  • École doctorale Complexité du vivant (Paris) (13)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (13)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (13)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (13)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (13)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (13)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris ; 2014-....) (13)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (13)
  • Ecole doctorale Sciences et technologies (Orléans) (12)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (12)
  • École doctorale Biologie-Santé (Rennes) (12)
  • École doctorale Cancérologie : biologie-médecine-santé (Villejuif, Val-de-Marne ; 2015-....) (12)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (12)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris ; 2006-....) (12)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne ; 2015-....) (12)
  • École doctorale Sciences du végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (12)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (12)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (11)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (11)
  • École doctorale SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (11)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (11)
  • École doctorale de droit (Pessac, Gironde) (11)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (11)
  • École doctorale sciences de gestion (Grenoble) (11)
  • École doctorale sciences économiques (Grenoble) (11)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (10)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (10)
  • École Doctorale Sciences de la Matière (Toulouse) (10)
  • École doctorale Bio Sorbonne Paris Cité (Paris ; 2014-....) (10)
  • École doctorale Physique et chimie des matériaux (Paris) (10)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (10)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (10)
  • École doctorale Sciences et technologies de l'information et de la communication (10)
  • École doctorale de l'École des hautes études en sciences sociales (10)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (10)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (9)
  • École doctorale Aéronautique-Astronautique (Toulouse) (9)
  • École doctorale Euclide (La Rochelle ; 2018-....) (9)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris ; 2000-....) (9)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (9)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (9)
  • École doctorale Vie-Agro-Santé (Rennes) (9)
  • École doctorale de Sciences Po (Paris) (9)
  • École doctorale de droit privé (Paris) (9)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (9)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (9)
  • Ecole doctorale Chimie de Paris-Sud (Orsay, Essonne ; 2006-2015) (8)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (8)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (8)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (8)
  • École doctorale Médicament, toxicologie, chimie, imageries (Paris ; 2014-....) (8)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (8)
  • École doctorale Sciences de la matière (Rennes) (8)
  • École doctorale Sciences du mouvement humain (Marseille) (8)
  • École doctorale Sciences pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (8)
  • École doctorale Sciences sociales (Lyon) (8)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-....) (8)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (8)
  • École doctorale de l'École pratique des hautes études (Paris) (8)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (8)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (8)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (8)
  • Ecole doctorale Arts et Métiers (Paris) (7)
  • Ecole doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique (Poitiers) (7)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (Cergy-Pontoise, Val d'Oise) (7)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (7)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (7)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (7)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (7)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (7)
  • École doctorale Sciences de l'homme et de la société (Orléans) (7)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (7)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (7)
  • École doctorale des sciences économiques et gestion, sciences de l'information et de la communication (Paris) (7)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (7)
  • BioSE (6)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (6)
  • Ecole Doctorale Sciences Juridiques et Politiques (Aix-en-Provence) (6)
  • Ecole doctorale Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (Paris) (6)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (6)
  • Toulouse School of Economics (6)
  • École Doctorale Sciences de Gestion TSM (Toulouse) (6)
  • École doctorale Arts et médias (Paris) (6)
  • École doctorale Carnot (Dijon ; .....-2012) (6)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (6)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (4829)
  • anglais (3640)
  • null (49)
  • espagnol (9)
  • italien (6)
  • portugais (5)
  • slovène (3)
  • null (2)
  • roumain (2)
  • russe (2)
  • arabe (1)
  • null (1)
  • null (1)
  • null (1)
  • null (1)
  • null (1)
  • null (1)
  • null (1)
  • polonais (1)
  • turc (1)
  • chinois (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Jensen Thomas (20)
  • Bensalem Saddek (18)
  • Borrione Dominique (17)
  • Maler Oded (16)
  • Aït-Ameur Yamine (15)
  • Barkaoui Kamel (15)
  • Kordon Fabrice (15)
  • Fesquet Laurent (14)
  • Ghibaudo Gérard (14)
  • Greiner Alain (14)
  • Dorizzi Bernadette (13)
  • Ladevèze Pierre (13)
  • Méhaut Jean-François (13)
  • Haddad Serge (12)
  • Merz Stephan (12)
  • Naccache David (12)
  • Rusinowitch Michaël (12)
  • Sifakis Joseph (12)
  • Cavalli Ana (11)
  • Schmid Cordelia (11)
  • Bouajjani Ahmed (10)
  • Consel Charles (10)
  • Girard Patrick (10)
  • Julliand Jacques (10)
  • Kouchnarenko Olga (10)
  • Lafourcade Pascal (10)
  • Lakhnech Yassine (10)
  • Marché Claude (10)
  • Chen Liming (9)
  • Godart Claude (9)
  • Le Gall Pascale (9)
  • Oquendo Flavio (9)
  • Barthe Gilles (8)
  • Comon-Lundh Hubert (8)
  • Crespi Noël (8)
  • Diaz Michel (8)
  • Finkel Alain (8)
  • Fribourg Laurent (8)
  • Goubault-Larrecq Jean (8)
  • Ibrahimbegovic Adnan (8)
  • Jalby William (8)
  • Juanole Guy (8)
  • Markey Nicolas (8)
  • Palanque Philippe (8)
  • Pujolle Guy (8)
  • Pétrot Frédéric (8)
  • Rivière Alain (8)
  • Thomesse Jean-Pierre (8)
  • Vannier Jean-Claude (8)
  • Wiels Virginie (8)
  • Baudry Benoit (7)
  • Besacier Laurent (7)
  • Bhargavan Karthikeyan (7)
  • Blazy Sandrine (7)
  • Bozga Dorel Marius (7)
  • Calvary Gaëlle (7)
  • Cousot Radhia (7)
  • Faure Jean-Marc (7)
  • Filali Mamoun (7)
  • Halbwachs Nicolas (7)
  • Jard Claude (7)
  • Legeard Bruno (7)
  • Lesage Jean-Jacques (7)
  • Loulergue Frédéric (7)
  • Mateescu Radu (7)
  • Morin-Allory Katell (7)
  • Mountassir Hassan (7)
  • Méry Dominique (7)
  • Nicolaïdis Michael (7)
  • Ogier Jean-Marc (7)
  • Panetto Hervé (7)
  • Paulin-Mohring Christine (7)
  • Pointcheval David (7)
  • Puaut Isabelle (7)
  • Roux Olivier F. (7)
  • Sallé Patrick (7)
  • Schnoebelen Philippe (7)
  • Toguyeni Abdoul Karim Armand (7)
  • Waeselynck Hélène (7)
  • Allix Olivier (6)
  • Auguin Michel (6)
  • Babau Jean-Philippe (6)
  • Bacha Seddik (6)
  • Bard Pierre-Yves (6)
  • Bonastre Jean-François (6)
  • Boniol Frédéric (6)
  • Chamoin Ludovic (6)
  • Chapurlat Vincent (6)
  • Chareyre Bruno (6)
  • Chollet Gérard (6)
  • Cogan Scott (6)
  • Collart-Dutilleul Simon (6)
  • Cortier Véronique (6)
  • Courtiat Jean-Pierre (6)
  • Dang Thao (6)
  • Dantan Jean-Yves (6)
  • Delahaye David (6)
  • Delaune Stéphanie (6)
  • Dubois Catherine (6)
  • Ducrocq Véronique (6)
  • Fernandez Jean-Claude (6)
  • Gaaloul Walid (6)
  • Giambiasi Norbert (6)
  • Girard Antoine (6)
  • Girault Claude (6)
  • Groz Roland (6)
  • Hacid Mohand Saïd (6)
  • Hill David R. C. (6)
  • Jacquemod Gilles (6)
  • Jomaah Jalal (6)
  • Jéron Thierry (6)
  • Kirchner Hélène (6)
  • Laleau Régine (6)
  • Lanet Jean-Louis (6)
  • Le Guernic Paul (6)
  • Le Thanh Nhan (6)
  • Ledru Yves (6)
  • Marion Jean-Yves (6)
  • Mosbah Mohamed (6)
  • Niel Eric (6)
  • Pantel Marc (6)
  • Pautet Laurent (6)
  • Pierre Laurence (6)
  • Potet Marie-Laure (6)
  • Rimpault Gérald (6)
  • Rutten Eric (6)
  • Santana Miguel (6)
  • Schoenauer Marc (6)
  • Siadat Ali (6)
  • Walukiewicz Igor (6)
  • Abid Mohamed (5)
  • Alla Hassane Lotfi (5)
  • Anselmetti Bernard (5)
  • Apvrille Ludovic (5)
  • Attiogbé Christian (5)
  • Ausbourg Bruno d' (5)
  • Azéma Pierre (5)
  • Barais Olivier (5)
  • Baron Claude (5)
  • Bert Didier (5)
  • Bertrand Nathalie (5)
  • Bertrand-Krajewski Jean-Luc (5)
  • Besson Jacques (5)
  • Bocquet Jean-Claude (5)
  • Bodeveix Jean-Paul (5)
  • Bouyer-Decitre Patricia (5)
  • Budzinski Hélène (5)
  • Caire Raphaël (5)
  • Choley Jean-Yves (5)
  • Ciais Philippe (5)
  • Crebier Jean-Christophe (5)
  • Crowley James L (5)
  • Di Benedetto Hervé (5)
  • Dowek Gilles (5)
  • Dufour Frédéric (5)
  • Dupuy-Chessa Sophie (5)
  • Elloy Jean-Pierre (5)
  • Esteban Philippe (5)
  • Estraillier Pascal (5)
  • Fabre Jean-Charles (5)
  • Filliâtre Jean-Christophe (5)
  • Frydman Claudia (5)
  • Garavel Hubert (5)
  • Gastin Paul (5)
  • Gaudel Marie-Claude (5)
  • Genet Thomas (5)
  • Gervais Marie-Pierre (5)
  • Ghallab Malik (5)
  • Giorgetti Alain (5)
  • Gomes Samuel (5)
  • Hild François (5)
  • Huchard Marianne (5)
  • Iung Benoît (5)
  • Jong Hidde de (5)
  • Klaudel Hanna (5)
  • Lefèvre Laurent (5)
  • Leveugle Régis (5)
  • Madelaine Éric (5)
  • Mammar Amel (5)
  • Maraninchi Florence (5)
  • Martin Éric (5)
  • Massot Marc (5)
  • Molva Refik (5)
  • Monniaux David (5)
  • Monticolo Davy (5)
  • Morel Gérard (5)
  • Morel Jean-Michel (5)
  • Motet Gilles (5)
  • Mounier Laurent (5)
  • Munier-Kordon Alix (5)
  • Nicoud Franck (5)
  • Parissis Ioannis (5)
  • Pouzet Marc (5)
  • Raison Bertrand (5)
  • Robach Chantal (5)
  • Rosenberger Christophe (5)
  • Rouveret Alain (5)
  • Roux Olivier (5)
  • Roux Olivier Henri (5)
  • Ruas Anne (5)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (2351)
  • Sciences de l'ingénieur (2280)
  • Physique (968)
  • Sciences de la vie, biologie, biochimie (571)
  • Médecine et santé (393)
  • Mathématiques (329)
  • Sciences de la terre (327)
  • Chimie, minéralogie, cristallographie (268)
  • Gestion et organisation de l'entreprise (239)
  • Economie (203)
  • Droit (169)
  • Technologie (Sciences appliquées) (156)
  • Psychologie (108)
  • Informatique, information, généralités (99)
  • Sciences de la nature et mathématiques (83)
  • Astronomie, cartographie, géodésie (75)
  • Génie chimique, technologies alimentaires (62)
  • Sciences sociales, sociologie, anthropologie (59)
  • Agronomie, agriculture et médecine vétérinaire (47)
  • Langues et linguistique (40)
  • Education et enseignement (39)
  • Plantes. Botanique (37)
  • Géographie et voyages (37)
  • Fabrication industrielle (35)
  • Philosophie, psychologie (34)
  • Linguistique générale (34)
  • Science politique (28)
  • Sport (28)
  • Bibliothéconomie et sciences de l'information (19)
  • Géographie et histoire (18)
  • Histoire et critique littéraires, rhétorique (16)
  • Bâtiments (15)
  • Langue anglaise. Anglo-saxon (13)
  • Animaux. Zoologie (12)
  • Problèmes et services sociaux (11)
  • Commerce, communications, transports (11)
  • Arts. Beaux-arts et arts décoratifs (11)
  • Histoire ancienne et préhistoire (11)
  • Littérature de langues romanes. Littérature française (10)
  • Histoire moderne et contemporaine de l'Europe (10)
  • Autres langues (9)
  • Epistémologie, causalité, genre humain (8)
  • Urbanisme (8)
  • Médias d'information, journalisme, édition (7)
  • Arts du spectacle, loisirs (7)
  • Ethnologie (6)
  • Langues romanes. Français (6)
  • Architecture (6)
  • Musique (6)
  • Littératures anglaise et anglo-saxonne (6)
  • Langues espagnole et portugaise (4)
  • Paléontologie. Paléozoologie (4)
  • Littératures des autres langues (4)
  • Histoire générale de la France (4)
  • Religion (3)
  • Statistiques générales (3)
  • Administration publique. Arts et science militaires (3)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (3)
  • Histoire générale de l'Afrique (3)
  • Philosophie et théorie de la religion (2)
  • Autres religions (2)
  • Langues italienne, roumaine, rhéto-romane (2)
  • Langues helléniques. Grec classique (2)
  • Peinture (2)
  • Littérature italienne (2)
  • Littérature grecque (2)
  • Histoire générale de l'Amérique du Nord (2)
  • Histoire générale de l'Amérique du Sud (2)
  • Les divers systèmes et écoles philosophiques (1)
  • Philosophie occidentale moderne et philosophies non orientales (1)
  • Théologie chrétienne (1)
  • Théologie chrétienne et société, ecclésiologie (1)
  • Langues germaniques. Allemand (1)
  • Fabrication de produits à usages spécifiques (1)
  • Arts plastiques. Sculpture (1)
  • Photographie et les photographies, art numérique (1)
  • Littérature américaine en anglais (1)
  • Littérature allemande (1)
  • Littératures espagnole et portugaise (1)

Domaines :

Fullscreen

8441 thèses pour "Vérification"

Informatique. Modélisation et vérification

Soutenue le 10-09-2018
thèse soutenue

...-plete specifications for all list based SDMA by applying several refinementsteps, while they focus on the verification...

Accéder en ligne
Sciences de gestion

Soutenue le 24-06-2013
thèse soutenue
Droit privé et sciences criminelles

Soutenue le 03-07-2018
thèse soutenue
Informatique et applications

Soutenue le 09-10-2014
thèse soutenue

...benchmarks could not only facilitate run-ning performance analysis among different verification tools, but...

Accéder en ligne
Informatique

Soutenue le 28-04-2014
thèse soutenue

...-0.7). It then rolls down the hill half-way with an155CHAPTER 4: QUANTITATIVE VERIFICATION AND...

Accéder en ligne
Sciences appliquées

Soutenue en 1996
thèse soutenue

.... Martin, and S. Zdancewic. Formal verifica-tion of SSA-based optimizations for LLVM. In Proc. of PLDI’13...

Accéder en ligne

Résultats 1 à 10