Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (457)
  • Grenoble Alpes (450)
  • Grenoble (364)
  • Paris 6 (257)
  • Toulouse 3 (225)
  • Lyon (215)
  • Rennes 1 (210)
  • Paris 11 (155)
  • Université de Lorraine (149)
  • Bordeaux (139)
  • Aix-Marseille (126)
  • Sorbonne Paris Cité (124)
  • Paris Est (123)
  • Montpellier (114)
  • Toulouse, INPT (109)
  • Paris Sciences et Lettres (106)
  • Nantes (102)
  • Nice (94)
  • Grenoble INPG (93)
  • Cachan, Ecole normale supérieure (77)
  • Université Joseph Fourier (Grenoble) (76)
  • Paris 1 (75)
  • Normandie (73)
  • Paris, CNAM (73)
  • Besançon (69)
  • Orléans (68)
  • Brest (66)
  • Dijon (61)
  • Côte d'Azur (58)
  • Paris 7 (58)
  • Pau (57)
  • Lille 1 (56)
  • Clermont-Ferrand 2 (55)
  • Bourgogne Franche-Comté (53)
  • Paris, ENSAM (53)
  • Nancy 1 (51)
  • Lyon, INSA (49)
  • Bordeaux 1 (48)
  • Ecole centrale de Lille (47)
  • Compiègne (46)
  • Paris 10 (46)
  • Strasbourg (46)
  • Toulouse, INSA (46)
  • Lorient (45)
  • Toulouse 1 (45)
  • Paris, ENST (44)
  • Evry, Institut national des télécommunications (43)
  • Montpellier 2 (43)
  • Lyon 1 (41)
  • Paris 5 (41)
  • Toulouse, ISAE (38)
  • Limoges (36)
  • Vandoeuvre-les-Nancy, INPL (36)
  • Valenciennes (35)
  • Clermont Auvergne (33)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (31)
  • Poitiers (30)
  • Belfort-Montbéliard (29)
  • Lille 2 (29)
  • Paris 2 (29)
  • Troyes (28)
  • Ecole centrale de Nantes (27)
  • Le Mans (27)
  • Paris 9 (27)
  • Aix-Marseille 1 (26)
  • Reims (26)
  • La Rochelle (25)
  • Paris 8 (25)
  • Aix-Marseille 3 (24)
  • Avignon (24)
  • Châtenay-Malabry, Ecole centrale de Paris (24)
  • Strasbourg 1 (24)
  • Paris, ENMP (23)
  • Tours (23)
  • Cergy-Pontoise (22)
  • Ecully, Ecole centrale de Lyon (22)
  • Mulhouse (20)
  • Paris 13 (20)
  • Toulon (20)
  • Angers (19)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (19)
  • Montpellier 1 (19)
  • Palaiseau, Ecole polytechnique (19)
  • Caen (18)
  • Paris 4 (18)
  • Rennes, INSA (18)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (18)
  • Evry-Val d'Essonne (17)
  • Littoral (17)
  • Paris 12 (17)
  • Toulouse 2 (16)
  • Rouen (15)
  • Paris 3 (14)
  • Aix-Marseille 2 (13)
  • Versailles-St Quentin en Yvelines (13)
  • Amiens (12)
  • Bordeaux 3 (12)
  • Sorbonne université (12)
  • Université Savoie Mont Blanc (12)
  • Université libanaise (12)
  • École nationale d'ingénieurs de Tunis (Tunisie) (12)
  • Bordeaux 4 (11)
  • La Réunion (11)
  • Lyon 2 (11)
  • Montpellier 3 (11)
  • Paris, EHESS (11)
  • Perpignan (11)
  • Rennes 2 (11)
  • Artois (10)
  • Bordeaux 2 (10)
  • Paris, Muséum national d'histoire naturelle (10)
  • Clermont-Ferrand 1 (9)
  • Nancy 2 (9)
  • Saint-Etienne (9)
  • Télécom Bretagne (9)
  • CentraleSupélec (8)
  • Metz (8)
  • Paris, Institut d'études politiques (8)
  • Rennes, Agrocampus Ouest (8)
  • Ecole nationale des Mines d'Albi-Carmaux (7)
  • Grenoble 2 (7)
  • Le Havre (7)
  • Lille 3 (7)
  • Lyon 3 (7)
  • Marne-la-vallée, ENPC (7)
  • Montpellier, SupAgro (7)
  • Paris, Ecole normale supérieure (7)
  • Universidade de São Paulo (Brésil) (7)
  • Université de Sfax (Tunisie) (7)
  • Université de Sherbrooke (Québec, Canada) (7)
  • Ecole centrale de Marseille (6)
  • Jouy-en Josas, HEC (6)
  • Paris, AgroParisTech (6)
  • Strasbourg 2 (6)
  • Universitatea politehnica (Bucarest) (6)
  • Università degli studi La Sapienza (Rome) (6)
  • Université de Yaoundé I (6)
  • Université normale de la Chine de l'Est (Shanghai) (6)
  • École nationale d'Ingénieurs de Sfax (Tunisie) (6)
  • Paris, EPHE (5)
  • Paris, Télécom ParisTech (5)
  • Rouen, INSA (5)
  • Universidad del País Vasco (5)
  • Universidade estadual de Campinas (Brésil) (5)
  • Université de Carthage (Tunisie) (5)
  • Université de Tunis El Manar (5)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (5)
  • Université du Québec à Montréal (5)
  • Université libre de Bruxelles (1970-....) (5)
  • École nationale d'ingénieurs de Sfax (Tunisie) (5)
  • Brest, École nationale supérieure de techniques avancées Bretagne (4)
  • Corte (4)
  • Ecole polytechnique (Montréal, Canada) (4)
  • Saint-Etienne, EMSE (4)
  • Strasbourg 3 (4)
  • University of Waterloo (Canada) (4)
  • Universität Hannover (4)
  • Université de Montréal (4)
  • Université de Paris (2019-....) (4)
  • Vaulx-en-Velin, Ecole nationale des travaux publics (4)
  • Antilles (3)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (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)
  • Paris, Institut agronomique, vétérinaire et forestier de France (3)
  • Politechnika Gdańska (Pologne) (3)
  • Pontifícia universidade católica (Rio de Janeiro, Brésil) (3)
  • Rennes, École normale supérieure (3)
  • Universidad de Buenos Aires (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Universitat politécnica de Catalunya (3)
  • Università degli studi (Cassino, Italie) (3)
  • Università degli studi di Milano - Bicocca (3)
  • Università del Salento (Italie) (3)
  • Universität des Saarlandes (3)
  • Université Badji Mokhtar-Annaba (3)
  • Université Cadi Ayyad (Marrakech, Maroc) (3)
  • Université Pierre Mendès France (Grenoble) (3)
  • Université Stendhal (Grenoble) (3)
  • Université d'Abomey-Calavi (Bénin) (3)
  • Université de Cocody (Abidjan, Côte d'Ivoire) (3)
  • Université du Luxembourg (3)
  • Bourges, INSA Centre Val de Loire (2)
  • Chennai Mathematical Institute (2)
  • Colorado state university (2)
  • Dalian University of Technology (Chine) (2)
  • Ecole Centrale de Lille (2)
  • Georgia institute of technology (2)
  • IMT Mines Alès (2)
  • Kungliga tekniska högskolan (Stockholm) (2)
  • Nantes, Ecole des Mines (2)
  • Nantes, Ecole nationale vétérinaire (2)
  • Politecnico di Torino (2)
  • Technical University of chemistry and technology (Prague) (2)
  • Technische Universität (Munich, Allemagne) (2)
  • Toulouse, ENSAE (2)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (1605)
  • Physique (216)
  • Sciences appliquées (183)
  • Sciences de gestion (164)
  • Sciences économiques (123)
  • Génie électrique (81)
  • Mécanique (75)
  • Génie civil (70)
  • Psychologie (60)
  • Chimie (58)
  • Mathématiques (56)
  • Sciences et technologie industrielles (52)
  • Mathématiques appliquées (46)
  • Sciences et techniques (46)
  • Sciences de la vie et de la santé (42)
  • Électronique (40)
  • Droit privé (39)
  • Droit public (39)
  • Neurosciences (38)
  • Automatique (35)
  • Informatique et applications (34)
  • Electronique (33)
  • Génie mécanique (31)
  • Informatique et réseaux (29)
  • Nano electronique et nano technologies (28)
  • Droit (27)
  • Mécanique des solides (27)
  • Nanoélectronique et nanotechnologie (27)
  • Matériaux, Mécanique, Génie civil, Electrochimie (26)
  • Sciences pour l'ingénieur (26)
  • Matériaux, mécanique, génie civil, électrochimie (25)
  • Génie Civil (24)
  • Sciences de l'éducation (23)
  • Sciences du langage (23)
  • Géographie (22)
  • Mathématiques et Informatique (22)
  • Mécanique des fluides (22)
  • Biologie (21)
  • Génie des procédés (21)
  • Acoustique (20)
  • Philosophie (20)
  • Sciences de l'information et de la communication (19)
  • Systèmes automatiques et micro-électroniques (19)
  • Traitement du signal et télécommunications (18)
  • Linguistique (17)
  • Mécanique-matériaux (17)
  • Science politique (17)
  • Stic (17)
  • Génie industriel (16)
  • Sciences de l'univers (16)
  • Sociologie (16)
  • Instrumentation et informatique de l'image (15)
  • Mathématiques et informatique (15)
  • Sciences biologiques et fondamentales appliquées. Psychologie (15)
  • Biologie Santé (14)
  • Dynamique des fluides (14)
  • Nanophysique (14)
  • Robotique (14)
  • Sciences (14)
  • Sciences de l'ingénieur (14)
  • Sciences de la terre et de l'univers, et de l'environnement (14)
  • Sciences des matériaux (14)
  • Sciences et technologies industrielles (14)
  • Génie des Procédés et de l'Environnement (13)
  • Microélectronique (13)
  • Mécanique et énergétique (13)
  • Sciences de Gestion (13)
  • Automatique et informatique appliquée (12)
  • Informatique et mathématiques (12)
  • Microbiologie (12)
  • Mécanique des fluides, procédés, énergétique (12)
  • Sciences de la vie (12)
  • Terre, océan, espace (12)
  • Aspects moléculaires et cellulaires de la biologie (11)
  • Astronomie et Astrophysique (11)
  • Automatique et productique (11)
  • Energétique (11)
  • Genie electrique (11)
  • Gestion (11)
  • Mathématiques Appliquées (11)
  • Mécanique des matériaux (11)
  • Physique de la matière condensée et du rayonnement (11)
  • Sciences de la Terre et de l'Univers et de l'Environnement (11)
  • Sciences juridiques (11)
  • Signal et images (11)
  • Automatique et informatique (10)
  • Energie, Rayonnement, Plasma (10)
  • Energétique, thermique, combustion (10)
  • Géotechnique (10)
  • Micro-électronique (10)
  • Mécanique des solides, des matériaux, des structures et des surfaces (10)
  • Sciences pour l'Ingénieur (10)
  • Systèmes informatiques (10)
  • Électronique, électrotechnique, automatique (10)
  • Biochimie et biologie moléculaire (9)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (9)
  • Chimie analytique (9)
  • Electronique et communications (9)
  • Génie des procédés et des produits (9)
  • Génie industriel conception et production (9)
  • Histoire (9)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (9)
  • Optimisation et Sûreté des Systèmes (9)
  • Physique des plasmas (9)
  • Réseaux, information et communications (9)
  • Sciences agronomiques (9)
  • Sciences et techniques des activités physiques et sportives (9)
  • Structures et Matériaux (9)
  • Sureté de logiciel et calcul de haute performance (9)
  • Automatique et informatique industrielle (8)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (8)
  • Biologie cellulaire (8)
  • Génie Electrique (8)
  • Génie Industriel : conception et production (8)
  • Génie mécanique, mécanique des matériaux (8)
  • Informatique et télécommunications (8)
  • Lettres (8)
  • Micro et nano-électronique (8)
  • Mécanique, génie mécanique, génie civil (8)
  • Océan, atmosphère, climat (8)
  • Océan, atmosphère, hydrologie (8)
  • Physique des particules (8)
  • Sciences et Techniques de l'Environnement (8)
  • Signal, image, paroles, télécoms (8)
  • Traitement du signal et des images (8)
  • Automatique - productique (7)
  • Automatique, génie informatique, traitement du signal et des images (7)
  • Automatique, génie informatique, traitement du signal et image (7)
  • Biodiversité écologie environnement (7)
  • Génie Industriel (7)
  • Géochimie (7)
  • Informatique et Télécommunications (7)
  • Informatique, temps réel, robotique et automatique (7)
  • Mécanique. Génie mécanique. Génie civil (7)
  • Médecine (7)
  • Océan, Atmosphère, Hydrologie (7)
  • Océanographie (7)
  • Physique appliquée (7)
  • Physique théorique (7)
  • Programmation et systèmes (7)
  • Réseaux, Télécommunications, Systèmes et Architecture (7)
  • Surfaces et interfaces continentales, hydrologie (7)
  • Systèmes automatiques et microélectroniques (7)
  • Biologie marine (6)
  • Chimie - physique (6)
  • Chimie physique (6)
  • Epidémiologie (6)
  • Génie des Procédés (6)
  • Génie des systèmes industriels (6)
  • Géosciences (6)
  • Immunologie (6)
  • Littérature comparée (6)
  • Mathématiques fondamentales (6)
  • Mécanique des milieux fluides (6)
  • Mécanique et physique des fluides (6)
  • Mécanique numérique et Matériaux (6)
  • Météorologie, océanographie, physique de l'environnement (6)
  • Optique et photonique (6)
  • Optique et radiofréquence (6)
  • Physico-chimie de la matière condensée (6)
  • Sciences de la Terre (6)
  • Sciences economiques (6)
  • Signal, Image, Automatique (6)
  • Signal, Image, Vision (6)
  • Systèmes Mécaniques et Matériaux (6)
  • Systèmes industriels (6)
  • Sûreté de logiciel et calcul de haute performance (6)
  • Électronique, optronique et systèmes (6)
  • Énergie nucléaire (6)
  • Études anglophones (6)
  • Sciences de l'ingénieur (5)
  • Aspects moleculaires et cellulaires de la biologie (5)
  • Automatique, traitement du signal et génie informatique (5)
  • Biochimie (5)
  • Chimie biologie (5)
  • Chimie des matériaux (5)
  • Conception (5)
  • Contrôle des systèmes (5)
  • Droit international (5)
  • Electronique et Optoélectronique, Nano- et Microtechnologies (5)
  • Energétique et Procédés (5)
  • Ergonomie (5)
  • Geographie (5)
  • Géosciences et géoingénierie (5)
  • Imagerie et physique médicale (5)
  • Informatique et applications (5)
  • Informatique fondamentale et parallélisme (5)
  • Informatique industrielle (5)
  • Informatique temps réel, robotique et automatique (5)
  • Informatique-traitement du signal (5)
  • Ingénierie Microbienne et Enzymatique (5)
  • Lasers, molécules, rayonnement atmosphérique (5)
  • Mathématiques et modélisation (5)
  • Mécanique Avancée : Unité de recherche en Mécanique - Laboratoire Roberval (UMR-7337) (5)
  • Mécanique des fluides Energétique, Procédés (5)
  • Mécanique et matériaux (5)
  • Mécanique, génie mécanique (5)
  • Océanographie physique et environnement (5)
  • Physique de l'atmosphère (5)
  • Physique des accélérateurs (5)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (236)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (161)
  • École doctorale Informatique, télécommunications et électronique (Paris) (127)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (125)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (108)
  • École doctorale Sciences pour l'Ingénieur (Lille) (93)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (90)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (82)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (79)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (75)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (73)
  • École doctorale physique (Grenoble) (72)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (68)
  • École doctorale terre, univers, environnement (Grenoble) (64)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (62)
  • École doctorale en Informatique et Mathématiques de Lyon (61)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (60)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (57)
  • I2S - Information, Structures, Systèmes (55)
  • École doctorale chimie et science du vivant (Grenoble) (52)
  • École doctorale Physique en Île-de-France (Paris) (44)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (43)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (43)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (43)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (42)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (42)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (40)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (39)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (37)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (37)
  • École doctorale Sciences pour l'ingénieur (Nantes) (36)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (35)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (33)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (33)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (32)
  • École doctorale Sciences fondamentales et appliquées (Nice) (31)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (31)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (30)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (30)
  • École doctorale Systèmes (Toulouse) (29)
  • Ecole doctorale Informatique de Paris-Sud (28)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (28)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (28)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (28)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (27)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (27)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (25)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (25)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (24)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (24)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (24)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (22)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (22)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (22)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (22)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (21)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (21)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (21)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (20)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (20)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (20)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (20)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (20)
  • École doctorale Biologie-Santé (Lille) (19)
  • École doctorale Cerveau, cognition, comportement (Paris) (19)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (19)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (18)
  • Ecole doctorale de Dauphine (Paris) (18)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (18)
  • École doctorale Particules, Hadrons, Énergie, Noyau, Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (18)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (18)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (17)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (17)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (16)
  • École Doctorale de Chimie (Lyon) (16)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (16)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (16)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (16)
  • Sciences et Technologies de l'Information et de la Communication (15)
  • École doctorale Abbé Grégoire (Paris) (15)
  • École doctorale d'Économie (Paris) (15)
  • École doctorale de Physique et Astrophysique de Lyon (15)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (15)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (14)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (14)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (14)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (14)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (14)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (14)
  • École doctorale Économie, organisations, société (Nanterre) (14)
  • Ecole Doctorale Sciences de l'Environnement (Marseille) (13)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (13)
  • SIE - Sciences, Ingénierie et Environnement (13)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (13)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (13)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (13)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (13)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (13)
  • Ecole doctorale Sciences et technologies (Orléans) (11)
  • MATHSTIC (11)
  • Sciences Chimiques et Biologiques pour la Santé (11)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (11)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (11)
  • École Doctorale Neurosciences et Cognition (NSCo) (11)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (11)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (11)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (11)
  • École doctorale Sciences, technologie et santé (Amiens) (11)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (11)
  • École doctorale sciences économiques (Grenoble) (11)
  • Sciences Mathématiques de Paris Centre (10)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (10)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 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)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (10)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (10)
  • École doctorale Énergie environnement (Perpignan) (10)
  • IAEM Lorraine (9)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (9)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (9)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (9)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (9)
  • École doctorale des sciences chimiques (Talence, Gironde) (9)
  • École doctorale sciences de gestion (Grenoble) (9)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (9)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (8)
  • École Doctorale Sciences de la Matière (Toulouse) (8)
  • École doctorale Bio Sorbonne Paris Cité (Paris) (8)
  • École doctorale BioSE - Biologie, Santé, Environnement (8)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (8)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris) (8)
  • École doctorale Complexité du vivant (Paris) (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) (8)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (8)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (8)
  • École doctorale de droit privé (Paris) (8)
  • École doctorale Écologie Géosciences Agronomie Alimentation (Rennes) (8)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (7)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (7)
  • Mathématiques et Informatique (7)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (7)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (7)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (7)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (7)
  • École doctorale Euclide (La Rochelle ; 2018-....) (7)
  • École doctorale Frontières de l'innovation en recherche et éducation (7)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (7)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (7)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (7)
  • École doctorale Sciences du mouvement humain (Marseille) (7)
  • École doctorale Sciences pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (7)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (7)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (7)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (7)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (7)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (7)
  • EGAAL (6)
  • Ecole doctorale Arts et Métiers (Paris) (6)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (6)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (6)
  • Mathématiques, Sciences et technologies de l'information, Informatique (6)
  • SMI - Sciences des Métiers de l'Ingénieur (6)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (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 Concepts et langages (Paris) (6)
  • École doctorale Droit et Science Politique (Toulouse) (6)
  • École doctorale Matériaux, Matières, Molécules en Pays de la Loire (3MPL) (Le Mans) (6)
  • École doctorale Mer et Sciences. ED 548 (Toulon) (6)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (6)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (6)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne ; 2015-....) (6)
  • École doctorale Sciences de l'homme et de la société (Orléans) (6)
  • École doctorale Sciences de la Terre et Environnement (Strasbourg ; 2000) (6)
  • École doctorale Sciences de la matière (Rennes) (6)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (6)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (6)
  • École doctorale de Sciences Po (Paris) (6)
  • École doctorale de l'École pratique des hautes études (Paris) (6)
  • École doctorale des Sciences chimiques (Talence ; Gironde) (6)
  • DROIT (5)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (5)
  • Ecole Doctorale Sciences Juridiques et Politiques (Aix-en-Provence) (5)
  • Ecole doctorale Santé, sciences, technologies (Tours) (5)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (5)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (5)
  • Mathématiques et STIC (5)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (5)
  • Sciences Ecologiques, Vétérinaires, Agronomiques et Bioingénieries (5)
  • École Doctorale Droit et Science Politique (Nanterre) (5)
  • École doctorale Aéronautique-Astronautique (Toulouse) (5)
  • École doctorale C2MP - Chimie mécanique matériaux physique (Lorraine) (5)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt) (5)
  • École doctorale Langage et langues (Paris) (5)
  • École doctorale Physique et chimie des matériaux (Paris) (5)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Jensen Thomas (19)
  • Bensalem Saddek (17)
  • Borrione Dominique (17)
  • Barkaoui Kamel (16)
  • Maler Oded (16)
  • Aït-Ameur Yamine (15)
  • Ghibaudo Gérard (14)
  • Greiner Alain (14)
  • Kordon Fabrice (14)
  • Fesquet Laurent (12)
  • Haddad Serge (12)
  • Merz Stephan (12)
  • Méhaut Jean-François (12)
  • Sifakis Joseph (12)
  • Dorizzi Bernadette (11)
  • Rusinowitch Michaël (11)
  • Bouajjani Ahmed (10)
  • Julliand Jacques (10)
  • Kouchnarenko Olga (10)
  • Ladevèze Pierre (10)
  • Lakhnech Yassine (10)
  • Consel Charles (9)
  • Girard Patrick (9)
  • Marché Claude (9)
  • Naccache David (9)
  • Oquendo Flavio (9)
  • Pétrot Frédéric (9)
  • Barthe Gilles (8)
  • Cavalli Ana (8)
  • Chen Liming (8)
  • Comon-Lundh Hubert (8)
  • Diaz Michel (8)
  • Finkel Alain (8)
  • Goubault-Larrecq Jean (8)
  • Juanole Guy (8)
  • Rivière Alain (8)
  • Schmid Cordelia (8)
  • Thomesse Jean-Pierre (8)
  • Baudry Benoit (7)
  • Besacier Laurent (7)
  • Blazy Sandrine (7)
  • Boniol Frédéric (7)
  • Bozga Dorel Marius (7)
  • Faure Jean-Marc (7)
  • Filali Mamoun (7)
  • Fribourg Laurent (7)
  • Lafourcade Pascal (7)
  • Le Gall Pascale (7)
  • Markey Nicolas (7)
  • Morin-Allory Katell (7)
  • Mountassir Hassan (7)
  • Méry Dominique (7)
  • Nicolaïdis Michael (7)
  • Paulin-Mohring Christine (7)
  • Puaut Isabelle (7)
  • Pujolle Guy (7)
  • Roux Olivier F. (7)
  • Sallé Patrick (7)
  • Schnoebelen Philippe (7)
  • Waeselynck Hélène (7)
  • Wiels Virginie (7)
  • Babau Jean-Philippe (6)
  • Bacha Seddik (6)
  • Bard Pierre-Yves (6)
  • Bhargavan Karthikeyan (6)
  • Calvary Gaëlle (6)
  • Chollet Gérard (6)
  • Cortier Véronique (6)
  • Courtiat Jean-Pierre (6)
  • Cousot Radhia (6)
  • Dang Thao (6)
  • Dubois Catherine (6)
  • Fernandez Jean-Claude (6)
  • Giambiasi Norbert (6)
  • Girault Claude (6)
  • Groz Roland (6)
  • Halbwachs Nicolas (6)
  • Hill David R. C. (6)
  • Le Guernic Paul (6)
  • Legeard Bruno (6)
  • Leveugle Régis (6)
  • Loulergue Frédéric (6)
  • Palanque Philippe (6)
  • Pantel Marc (6)
  • Pautet Laurent (6)
  • Pierre Laurence (6)
  • Robach Chantal (6)
  • Rutten Eric (6)
  • Santana Miguel (6)
  • Schoenauer Marc (6)
  • Toguyeni Abdoul Karim Armand (6)
  • Walukiewicz Igor (6)
  • Alla Hassane Lotfi (5)
  • Auguin Michel (5)
  • Ausbourg Bruno d' (5)
  • Azéma Pierre (5)
  • Bodeveix Jean-Paul (5)
  • Bonastre Jean-François (5)
  • Caire Raphaël (5)
  • Chamoin Ludovic (5)
  • Chareyre Bruno (5)
  • Ciais Philippe (5)
  • Cogan Scott (5)
  • Collart-Dutilleul Simon (5)
  • Crebier Jean-Christophe (5)
  • Crespi Noël (5)
  • Delaune Stéphanie (5)
  • Dufour Frédéric (5)
  • Dupuy-Chessa Sophie (5)
  • Elloy Jean-Pierre (5)
  • Estraillier Pascal (5)
  • Garavel Hubert (5)
  • Gastin Paul (5)
  • Gaudel Marie-Claude (5)
  • Genet Thomas (5)
  • Ghallab Malik (5)
  • Giorgetti Alain (5)
  • Girard Antoine (5)
  • Gomes Samuel (5)
  • Jacquemod Gilles (5)
  • Jard Claude (5)
  • Jomaah Jalal (5)
  • Jong Hidde de (5)
  • Jéron Thierry (5)
  • Kheddar Abderrahmane (5)
  • Kirchner Hélène (5)
  • Klaudel Hanna (5)
  • Lanet Jean-Louis (5)
  • Le Thanh Nhan (5)
  • Ledru Yves (5)
  • Legay Axel (5)
  • Lesage Jean-Jacques (5)
  • Madelaine Éric (5)
  • Maraninchi Florence (5)
  • Martin Éric (5)
  • Mateescu Radu (5)
  • Mosbah Mohamed (5)
  • Mounier Laurent (5)
  • Nicoud Franck (5)
  • Ogier Jean-Marc (5)
  • Rimpault Gérald (5)
  • Rouveret Alain (5)
  • Roux Olivier Henri (5)
  • Rueher Michel (5)
  • Sentieys Olivier (5)
  • Shahrour Isam (5)
  • Sunyé Gerson (5)
  • Teller Robert (5)
  • Termier Alexandre (5)
  • Trinquet Yvon (5)
  • Vannier Jean-Claude (5)
  • Zaïdi Fatiha (5)
  • Anghel Lorena (4)
  • Aniorté Philippe (4)
  • Apvrille Ludovic (4)
  • Attali Isabelle (4)
  • Attiogbé Christian (4)
  • Aubry Denis (4)
  • Balestra Francis (4)
  • Berruet Pascal (4)
  • Bert Didier (4)
  • Bertrand Nathalie (4)
  • Besson Jacques (4)
  • Blanchet Bruno (4)
  • Bocquet Jean-Claude (4)
  • Bousquet Lydie du (4)
  • Bouyer-Decitre Patricia (4)
  • Briot Maurice (4)
  • Brogliato Bernard (4)
  • Casalis Grégoire (4)
  • Caucal Didier (4)
  • Chapurlat Vincent (4)
  • Charrier Christophe (4)
  • Colasse Bernard (4)
  • Comyn-Wattiau Isabelle (4)
  • Courtois Bernard (4)
  • Dague Philippe (4)
  • Darve Félix (4)
  • Dekeyser Jean-Luc (4)
  • Delahaye David (4)
  • Demri Stéphane P. (4)
  • Di Benedetto Hervé (4)
  • Dowek Gilles (4)
  • Ducrocq Véronique (4)
  • Dugelay Jean-Luc (4)
  • El Kamel Abdelkader (4)
  • Fabre Jean-Charles (4)
  • Filliâtre Jean-Christophe (4)
  • Frydman Claudia (4)
  • Gaaloul Walid (4)
  • Garoche Pierre-Loïc (4)
  • Geiselmann Johannes (4)
  • Gervais Marie-Pierre (4)
  • Ghazel Mohamed (4)
  • Graf Susanne (4)
  • Gökalp Iskender (4)
  • Hacid Mohand Saïd (4)
  • Hadj-Said Nouredine (4)
  • Hild François (4)
  • Huchard Marianne (4)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1976)
  • Sciences de l'ingénieur (1830)
  • Physique (764)
  • Sciences de la vie, biologie, biochimie (402)
  • Médecine et santé (278)
  • Sciences de la terre (262)
  • Mathématiques (232)
  • Gestion et organisation de l'entreprise (210)
  • Chimie, minéralogie, cristallographie (193)
  • Economie (169)
  • Droit (147)
  • Technologie (Sciences appliquées) (135)
  • Psychologie (93)
  • Informatique, information, généralités (90)
  • Sciences de la nature et mathématiques (82)
  • Astronomie, cartographie, géodésie (54)
  • Sciences sociales, sociologie, anthropologie (45)
  • Langues et linguistique (39)
  • Génie chimique, technologies alimentaires (34)
  • Education et enseignement (32)
  • Agronomie, agriculture et médecine vétérinaire (32)
  • Géographie et voyages (31)
  • Linguistique générale (30)
  • Philosophie, psychologie (28)
  • Science politique (27)
  • Fabrication industrielle (27)
  • Plantes. Botanique (21)
  • Sport (20)
  • Bibliothéconomie et sciences de l'information (16)
  • Histoire et critique littéraires, rhétorique (16)
  • Langue anglaise. Anglo-saxon (12)
  • Géographie et histoire (11)
  • Commerce, communications, transports (10)
  • Littérature de langues romanes. Littérature française (10)
  • Autres langues (9)
  • Bâtiments (9)
  • Arts. Beaux-arts et arts décoratifs (9)
  • Histoire ancienne et préhistoire (9)
  • Histoire moderne et contemporaine de l'Europe (9)
  • Animaux. Zoologie (8)
  • Epistémologie, causalité, genre humain (7)
  • Urbanisme (7)
  • Arts du spectacle, loisirs (7)
  • Médias d'information, journalisme, édition (6)
  • Littératures anglaise et anglo-saxonne (6)
  • Problèmes et services sociaux (5)
  • Ethnologie (5)
  • Langues romanes. Français (5)
  • Musique (5)
  • Langues espagnole et portugaise (4)
  • Paléontologie. Paléozoologie (4)
  • Religion (3)
  • Administration publique. Arts et science militaires (3)
  • Architecture (3)
  • Littératures des autres langues (3)
  • Histoire générale de la France (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)
  • Littérature italienne (2)
  • Littérature grecque (2)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (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)
  • Statistiques générales (1)
  • Langues germaniques. Allemand (1)
  • Fabrication de produits à usages spécifiques (1)
  • Arts plastiques. Sculpture (1)
  • Peinture (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)
  • Histoire générale de l'Afrique (1)

Domaines :

Fullscreen

6772 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
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
Informatique

Soutenue le 08-12-2017
thèse soutenue
Informatique et applications

Soutenue en 2013
thèse soutenue

Résultats 1 à 10