Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (364)
  • Grenoble Alpes (331)
  • Paris Saclay (261)
  • Paris Sciences et Lettres (122)
  • Paris 6 (111)
  • Lyon (107)
  • Rennes 1 (85)
  • Bordeaux (82)
  • Paris, CNAM (81)
  • Université de Lorraine (81)
  • Paris 10 (80)
  • Paris 1 (68)
  • Pau (62)
  • Montpellier (61)
  • Paris Est (58)
  • Dijon (57)
  • Toulouse 3 (56)
  • Aix-Marseille (54)
  • Sorbonne Paris Cité (54)
  • Paris 11 (48)
  • Côte d'Azur (42)
  • Ecole centrale de Lille (40)
  • Paris 5 (39)
  • Paris 3 (38)
  • Toulouse, INPT (35)
  • Besançon (29)
  • Brest (29)
  • Nice (29)
  • Normandie (27)
  • Strasbourg (27)
  • Troyes (24)
  • Evry, Institut national des télécommunications (22)
  • Lorient (22)
  • Nantes (22)
  • Bourgogne Franche-Comté (20)
  • Limoges (20)
  • Paris 4 (20)
  • Paris 8 (18)
  • Paris, Ecole normale supérieure (18)
  • Tours (18)
  • Montpellier 2 (17)
  • Angers (16)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (16)
  • Paris, ENST (16)
  • Toulouse, INSA (16)
  • Valenciennes (16)
  • Cachan, Ecole normale supérieure (15)
  • Paris 9 (15)
  • Bordeaux 3 (14)
  • Mulhouse (14)
  • Toulouse 2 (14)
  • Bordeaux 1 (13)
  • Clermont-Ferrand 2 (13)
  • Le Mans (13)
  • Lyon, INSA (13)
  • Nancy 1 (13)
  • Orléans (13)
  • La Rochelle (12)
  • Clermont Auvergne (11)
  • Montpellier 3 (11)
  • Montpellier, SupAgro (11)
  • Cergy-Pontoise (10)
  • Compiègne (10)
  • Paris, ENSAM (10)
  • Rennes, INSA (10)
  • Toulouse 1 (10)
  • Toulouse, ISAE (10)
  • Universidade de São Paulo (Brésil) (10)
  • Lille 1 (9)
  • Paris, Institut d'études politiques (9)
  • Rennes, Agrocampus Ouest (9)
  • Toulon (9)
  • Châtenay-Malabry, Ecole centrale de Paris (8)
  • Lille 3 (8)
  • Paris 7 (8)
  • Avignon (7)
  • Bordeaux 4 (7)
  • Evry-Val d'Essonne (7)
  • Lille 2 (7)
  • Paris, EHESS (7)
  • Reims (7)
  • Rennes 2 (7)
  • Belfort-Montbéliard (6)
  • Ecole centrale de Marseille (6)
  • Grenoble 1 (6)
  • Paris 13 (6)
  • Paris, Muséum national d'histoire naturelle (6)
  • Perpignan (6)
  • Poitiers (6)
  • Universidad de Zaragoza (Espagne) (6)
  • Université de Sherbrooke (Québec, Canada) (6)
  • Artois (5)
  • Grenoble INPG (5)
  • Jouy-en Josas, HEC (5)
  • Le Havre (5)
  • Lyon 1 (5)
  • Palaiseau, Ecole polytechnique (5)
  • Paris, AgroParisTech (5)
  • Paris, ENMP (5)
  • Paris, INALCO (5)
  • Rouen, INSA (5)
  • Université de Sfax (Tunisie) (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • Amiens (4)
  • Antilles (4)
  • Bordeaux 2 (4)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (4)
  • Ecully, Ecole centrale de Lyon (4)
  • La Réunion (4)
  • Littoral (4)
  • Lyon 2 (4)
  • Lyon 3 (4)
  • Montpellier 1 (4)
  • Paris, EPHE (4)
  • Rennes, École normale supérieure (4)
  • Supélec (4)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (4)
  • Universitatea politehnica (Bucarest) (4)
  • Université de Liège (4)
  • Université de Tunis El Manar (4)
  • Université de Yaoundé I (4)
  • Université du Québec à Montréal (4)
  • Université libanaise (4)
  • École nationale d'ingénieurs de Tunis (Tunisie) (4)
  • Aix-Marseille 1 (3)
  • Antilles-Guyane (3)
  • Ecole nationale des Mines d'Albi-Carmaux (3)
  • Grenoble 2 (3)
  • Institute for Physical Research (Ashtarak) (3)
  • Saint-Etienne (3)
  • Strasbourg 2 (3)
  • Technische Universität (Munich, Allemagne) (3)
  • Télécom Bretagne (3)
  • Universidad de los Andes (Bogotá) (3)
  • Universidad del País Vasco (3)
  • Universidad del País Vasco. Facultad de ciencias (3)
  • Università degli studi La Sapienza (Rome) (3)
  • Universität Bielefeld (3)
  • Université Laval (Québec, Canada) (3)
  • Université catholique de Louvain (1970-....) (3)
  • Université de Sherbrooke (3)
  • Université du Luxembourg (3)
  • Versailles-St Quentin en Yvelines (3)
  • Aix-Marseille 3 (2)
  • Caen (2)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (2)
  • Chambéry (2)
  • Corte (2)
  • East China Normal University (Shanghai) (2)
  • Nancy 2 (2)
  • Northwestern Polytechnical University (Chine) (2)
  • Paris 12 (2)
  • Paris 2 (2)
  • Rouen (2)
  • Saint-Etienne, EMSE (2)
  • Universidad central de Venezuela (2)
  • Universidad de Sevilla (Espagne) (2)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (2)
  • Universitat autònoma de Barcelona (2)
  • Universiteit Leiden (Leyde, Pays-Bas) (2)
  • Universiteit van Amsterdam (2)
  • University of Kent at Canterbury (2)
  • Università degli studi (Bologne, Italie) (2)
  • Università degli studi (Turin, Italie) (2)
  • Università degli studi Roma Tre (2)
  • Università degli studi di Firenze (2)
  • Università degli studi di Milano - Bicocca (2)
  • Universität Hannover (Hanovre, Allemagne) (2)
  • Universität des Saarlandes (2)
  • Université Cheikh Anta Diop de Dakar (2)
  • Université Libanaise. Faculté des Sciences (Beyrouth, Liban) (2)
  • Université Mohammed V-Agdal (Rabat, Maroc) (2)
  • Université Savoie Mont Blanc (2)
  • Université de Carthage (Tunisie) (2)
  • Université de Genève (2)
  • Université de Montréal (2)
  • Université de Neuchâtel (Suisse) (2)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Vaulx-en-Velin, Ecole nationale des travaux publics (2)
  • École Mohammadia d'ingénieurs (Rabat, Maroc) (2)
  • École Nationale des Sciences de l'Informatique (Tunis) (2)
  • . (1)
  • 122 - ACADEMIE POLONAISE DES SCIENCES (1)
  • 416 Univ Federal do Rio Grande do Sul (1)
  • Academia de Muzică Gheorghe Dima (Cluj-Napoca) (1)
  • Academy of mathematics and systems science (Pékin) (1)
  • Adam Mickiewicz University (Poznan, Pologne) (1)
  • Aix-Marseille 2 (1)
  • Albert-Ludwigs-Universität (Fribourg-en-Brisgau, Allemagne) (1)
  • Annaba (Algérie) (1)
  • BEN GURION UNIVERSITY OF NEGEV (1)
  • Bahia (1)
  • Ben-Gurion university of the Negev (1)
  • Brandenburgische Technische Universität Cottbus (Allemagne) (1)
  • Brescki dzâržaǔny Ǔniversitet imâ A. S. Puškina (1)
  • Brno University of Technology (MAIS) (1)
  • California institute of technology (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (863)
  • Sciences de gestion (171)
  • Sciences économiques (127)
  • Physique (102)
  • Mathématiques (91)
  • Mathématiques appliquées (51)
  • Chimie (43)
  • Psychologie (41)
  • Sciences et technologie industrielles (27)
  • Mathématiques et Informatique (24)
  • Sciences de Gestion (24)
  • Sciences de l'éducation (23)
  • Science politique (22)
  • Automatique (21)
  • Neurosciences (21)
  • Études anglophones (21)
  • Mathématiques et informatique (20)
  • Sciences du langage (19)
  • Sciences de la vie et de la santé (18)
  • Sciences economiques (18)
  • Nanoélectronique et nanotechnologie (16)
  • Sociologie (16)
  • Informatique et applications (15)
  • Mathématiques fondamentales (15)
  • Philosophie (15)
  • Stic (15)
  • Sciences de l'univers (14)
  • Droit public (13)
  • Informatique et réseaux (13)
  • Mathématiques Appliquées (13)
  • Mécanique (13)
  • Optimisation et Sûreté des Systèmes (13)
  • Génie électrique (12)
  • Géosciences (12)
  • Physique de la matière condensée et du rayonnement (12)
  • Physique théorique (12)
  • Sciences de l'information et de la communication (12)
  • Géographie (11)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (11)
  • Sciences de la terre et de l'univers, et de l'environnement (11)
  • Sciences et technologies industrielles (11)
  • Traitement du signal et télécommunications (11)
  • Automatique - productique (10)
  • Biologie (10)
  • Génie industriel (10)
  • Linguistique (10)
  • Robotique (10)
  • Astronomie et Astrophysique (9)
  • Automatique et informatique industrielle (9)
  • Economie (9)
  • Mathématiques et applications (9)
  • Architecture (8)
  • Automatique et productique (8)
  • Chimie organique (8)
  • Génie civil (8)
  • Sciences (8)
  • Sciences pour l'ingénieur (8)
  • Signal, image, paroles, télécoms (8)
  • Astrophysique (7)
  • Automatique, traitement du signal et des images (7)
  • Droit (7)
  • Geographie (7)
  • Génie Industriel (7)
  • Génie industriel conception et production (7)
  • Instrumentation et informatique de l'image (7)
  • Sciences politiques (7)
  • Automatique, génie informatique, traitement du signal et des images (6)
  • Automatique, génie informatique, traitement du signal et images (6)
  • Etudes anglophones (6)
  • Génie mécanique (6)
  • Histoire (6)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (6)
  • Mathematiques (6)
  • Mathématiques appliquées et calcul scientifique (6)
  • Matériaux, Mécanique, Génie civil, Electrochimie (6)
  • Nanophysique (6)
  • Sciences cognitives, psychologie et neurocognition (6)
  • Automatique, génie informatique, traitement du signal et image (5)
  • Droit privé (5)
  • Electronique (5)
  • Génie Industriel : conception et production (5)
  • Histoire de l'art (5)
  • Informatique temps réel, robotique et automatique (5)
  • Matériaux, mécanique, génie civil, électrochimie (5)
  • Médecine (5)
  • Nano electronique et nano technologies (5)
  • Physique quantique (5)
  • Sciences de gestion. Prospective, innovation, stratégie, organisation (5)
  • Sciences de la Terre et de l'Univers et de l'Environnement (5)
  • Sciences et génie des activités à risques (5)
  • Sciences Économiques (5)
  • Systèmes automatiques et micro-électroniques (5)
  • Anglais (4)
  • Automatique. Automatique, génie informatique (4)
  • Biologie Santé (4)
  • Biologie et agronomie (4)
  • Biologie marine (4)
  • Chimie physique moléculaire et structurale (4)
  • Chimie-Physique (4)
  • Didactique des langues et des cultures (4)
  • Energétique (4)
  • Ergonomie (4)
  • Immunologie (4)
  • Ingénierie de la Cognition, de l'interaction, de l'Apprentissage et de la création (4)
  • Intelligence artificielle (4)
  • Mécanique des fluides, procédés, énergétique (4)
  • Mécanique des solides (4)
  • Pathologie, Toxicologie, Génétique et Nutrition (4)
  • Physique Théorique (4)
  • Physique des matériaux (4)
  • Réseaux, Télécommunications, Systèmes et Architecture (4)
  • Réseaux, information et communications (4)
  • Santé publique (4)
  • Sciences agronomiques (4)
  • Sciences du langage - linguistique (4)
  • Signal et images (4)
  • Sureté de logiciel et calcul de haute performance (4)
  • Systèmes informatiques (4)
  • Traitement du signal et des images (4)
  • Acoustique (3)
  • Aménagement de l'espace, Urbanisme (3)
  • Arts (3)
  • Astrophysique et milieux dilues (3)
  • Automatique, Génie informatique, Traitement du Signal et des Images (3)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (3)
  • Automatique, Traitement du signal et des images, Génie informatique (3)
  • Automatique, signal, productique, robotique (3)
  • Biodiversité écologie environnement (3)
  • Bioinformatique (3)
  • Biostatistiques (3)
  • Chimie Moléculaire (3)
  • Chimie Physique (3)
  • Chimie des matériaux (3)
  • Chimie inorganique et bio inorganique (3)
  • Chimie physique (3)
  • Conception (3)
  • Ecologie et Biodiversité (3)
  • Economie et finance (3)
  • Epidémiologie (3)
  • Ethnologie (3)
  • Français, langue étrangère (3)
  • Genie electrique (3)
  • Génie Civil (3)
  • Génie Electrique (3)
  • Génie informatique (3)
  • Géosciences et géoingénierie (3)
  • Hydrologie (3)
  • Informatique et mathématiques (3)
  • Informatique médicale (3)
  • Intelligence Artificielle (3)
  • Interactions moléculaires et cellulaires (3)
  • Langues et litteratures etrangeres (3)
  • Langues et littératures anglaises et anglo-saxonnes (3)
  • Langues et littératures étrangères (3)
  • Lettres (3)
  • Linguistique anglaise (3)
  • Mathematiques pures (3)
  • Mathématiques et leurs interactions (3)
  • Mathématiques-Informatique (3)
  • Micro et nanoélectronique (3)
  • Musicologie (3)
  • Mécanique et énergétique (3)
  • Mécanique numérique et Matériaux (3)
  • Météorologie, océanographie, physique de l'environnement (3)
  • Physique de la matière condensée (3)
  • Physique subatomique et astroparticules (3)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (3)
  • Santé publique - épidémiologie (3)
  • Sciences cognitives (3)
  • Sciences de l'évolution et de la Biodiversité (3)
  • Sciences de la Vie et de la Santé (3)
  • Sciences de la planète et de l'univers (3)
  • Sciences de la vie (3)
  • Sciences du Mouvement Humain (3)
  • Sciences du langage : traitement automatique des langues (3)
  • Signal image parole telecoms (3)
  • Signal, Image, Automatique (3)
  • Signal, Image, Vision (3)
  • Sociologie, démographie (3)
  • Staps (3)
  • Sureté de Logiciel et Calcul à Haute Performance (3)
  • Sûreté de Logiciel et Calcul à Haute Performance (3)
  • Sûreté de logiciel et calcul de haute performance (3)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (3)
  • Terre solide (3)
  • Traductologie (3)
  • Électronique (3)
  • Électronique, électrotechnique, automatique (3)
  • Études du monde anglophone (3)
  • Agrosystèmes, Écosystèmes et Environnement (2)
  • Aménagement de l'espace, urbanisme (2)
  • Anthropologie (2)
  • Archéologie (2)
  • Art et archéologie (2)
  • Aspects moleculaires et cellulaires de la biologie (2)
  • Aspects moléculaires et cellulaires de la biologie (2)
  • Automatique et informatique (2)
  • Automatique et informatique appliquée (2)
  • Automatique, Génie Informatique, Traitement du Signal et des Images (2)
  • Automatique, Traitement du Signal et des Images, Génie informatique (2)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (262)
  • École doctorale Informatique, télécommunications et électronique (Paris) (82)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (66)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (66)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (63)
  • École doctorale Sciences pour l'Ingénieur (Lille) (63)
  • École doctorale physique (Grenoble) (62)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (52)
  • École doctorale Physique en Île-de-France (Paris) (50)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (49)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (48)
  • Ecole doctorale de Dauphine (Paris) (45)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (44)
  • École doctorale en Informatique et Mathématiques de Lyon (42)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (38)
  • École doctorale d'Économie (Paris) (38)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (38)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (36)
  • École doctorale Économie, organisations, société (Nanterre) (36)
  • École doctorale terre, univers, environnement (Grenoble) (35)
  • École doctorale chimie et science du vivant (Grenoble) (32)
  • École doctorale Abbé Grégoire (Paris) (31)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (30)
  • Sciences et Technologies de l'Information et de la Communication (29)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (29)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (29)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (28)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (28)
  • École doctorale sciences de gestion (Grenoble) (28)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne) (27)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (26)
  • Ecole doctorale Informatique de Paris-Sud (25)
  • École doctorale Sciences de l'Homme et de la Société (Cachan, Val-de-Marne) (25)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (25)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (24)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (24)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (22)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (22)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (18)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (18)
  • École doctorale Cerveau, cognition, comportement (Paris) (18)
  • École doctorale Sciences fondamentales et appliquées (Nice) (18)
  • École doctorale sciences économiques (Grenoble) (18)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (17)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (16)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (16)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (16)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (15)
  • I2S - Information, Structures, Systèmes (15)
  • MATHSTIC (15)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (15)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (15)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (14)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (14)
  • École doctorale Langage et langues (Paris) (14)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (14)
  • École doctorale Systèmes (Toulouse) (14)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (13)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (13)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (13)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (13)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (12)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (12)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (12)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (12)
  • Ecole doctorale Arts et Métiers (Paris) (11)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (11)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (11)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (11)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (11)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (10)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt) (10)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (10)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (10)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (9)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (9)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (9)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (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 pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (9)
  • École doctorale de Sciences Po (Paris) (9)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (8)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (8)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (8)
  • Sciences de l'Homme et de la Société (8)
  • École Doctorale Droit et Science Politique (Nanterre) (8)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (8)
  • École Doctorale Neurosciences et Cognition (NSCo) (8)
  • École Doctorale de Chimie (Lyon) (8)
  • École doctorale Concepts et langages (Paris) (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 Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (8)
  • École doctorale Ondes et Matière (2015-.... ; Orsay, Essonne) (8)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (8)
  • École doctorale Sciences de la nature et de l'Homme. Évolution et écologie (Paris) (8)
  • École doctorale de l'École pratique des hautes études (Paris) (8)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (8)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (8)
  • BioSE - Ecole Doctorale Biologie, Santé, Environnement (7)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (7)
  • Ecole doctorale Économie, Management, Mathématiques et Physique (EM2P) (Cergy-Pontoise, Val d'Oise) (7)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (7)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (7)
  • École Doctorale Mécanique, Énergétique, Génie civil et Procédés (Toulouse) (7)
  • École Doctorale Sciences de la Matière (Toulouse) (7)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (7)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (7)
  • École doctorale Frontières du vivant (7)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (7)
  • École doctorale Lettres, langues, spectacles (Nanterre) (7)
  • École doctorale Sciences et Ingénierie (2008-2015 ; Evry) (7)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (7)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (7)
  • École doctorale Vie-Agro-Santé (Rennes) (7)
  • École doctorale de Physique et Astrophysique de Lyon (7)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (7)
  • Économie et Gestion de Montpellier (École Doctorale ; 2009-2014) (7)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (6)
  • Ecole Doctorale Sciences Chimiques (Marseille) (6)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (6)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (6)
  • Mathématiques Hadamard (6)
  • Mathématiques Informatique Télécommunications de Toulouse (6)
  • École doctorale Arts et médias (Paris) (6)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris) (6)
  • École doctorale Europe latine et Amérique latine (Paris) (6)
  • École doctorale Génétique, cellulaire, immunologie, infectiologie et développement (....-2013 ; Paris) (6)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (6)
  • École doctorale Philosophie (Paris) (6)
  • École doctorale Physique et chimie des matériaux (Paris) (6)
  • École doctorale Santé Publique (2015-.... ; Kremlin-Bicêtre, Val-de-Marne) (6)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (6)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (6)
  • École doctorale Sciences économiques et gestion (Lyon) (6)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne) (5)
  • MATISSE (5)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (5)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (5)
  • École doctorale Biologie-Santé (Lille) (5)
  • École doctorale Biologie-Santé (Rennes) (5)
  • École doctorale Carnot (Dijon ; .....-2012) (5)
  • École doctorale Civilisations et sociétés euro-méditerranéennes et comparées (Toulon) (5)
  • École doctorale Complexité du vivant (Paris) (5)
  • École doctorale Matériaux, Matières, Molécules en Pays de la Loire (3MPL) (Le Mans) (5)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne) (5)
  • École doctorale Sciences de l'homme, des organisations et de la société (Rennes) (5)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (5)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (5)
  • École doctorale Sciences du Management Gestion-Organisation-Décision-Information (Paris) (5)
  • École doctorale Sciences du mouvement humain (Marseille) (5)
  • École doctorale Sciences humaines et sociales (Rennes) (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 ; 2015-....) (5)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne) (5)
  • École doctorale de droit (Pessac, Gironde) (5)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (5)
  • École doctorale des Sciences physiques et de l’Ingénieur (Talence ; Gironde) (5)
  • École doctorale normande de chimie (Caen) (5)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (5)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (4)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (4)
  • SJPEG - Ecole Doctorale Sciences Juridiques, Politique, Economiques et de Gestion (4)
  • SMI - Sciences des Métiers de l'Ingénieur (4)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (4)
  • École doctorale Chimie moléculaire de Paris Centre (Paris) (4)
  • École doctorale Civilisations, cultures, littératures et sociétés (Paris) (4)
  • École doctorale Cognition, langage, interaction (Saint-Denis, Seine-Saint-Denis) (4)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (4)
  • École doctorale Lettres, Communication, Langues, Arts (Dijon ; Besançon ; 2017-....) (4)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne) (4)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (4)
  • École doctorale Sciences de la vie et de la santé (Strasbourg ; 2000-....) (4)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (4)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris) (4)
  • École doctorale Sciences pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (4)
  • École doctorale Sociétés, humanités, arts et lettres (Nice ; 2016-....) (4)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (4)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (4)
  • École doctorale homme, sociétés, risques, territoire (Caen) (4)
  • Ecole Doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (2000-2015 ; Paris) (3)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (3)
  • Ecole Doctorale Sciences de l'Environnement (Marseille) (3)
  • Ecole doctorale Innovation Thérapeutique : du Fondamental à l'Appliqué (2000-2015 ; Châtenay-Malabry, Haut-de-Seine) (3)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (3)
  • Ecole doctorale Stanislas (Nancy-Metz) (3)
  • Langues, Littératures, Cultures, Civilisations (3)
  • OMI - Organisations, Marchés, Institutions (3)
  • Sciences Chimiques et Biologiques pour la Santé (3)
  • Sciences de l'homme, du Politique et du Territoire (3)
  • Sciences pour l'ingénieur (SPI) (3)
  • Structure et Dynamique des Systèmes Vivants (3)
  • Terre, Univers, Environnement (3)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; ....-2014) (3)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (2015-.... ; Paris) (3)
  • École doctorale Arts plastiques, esthétique et sciences de l'art (Paris) (3)
  • École doctorale Arts, Lettres, Langues (Rennes) (3)
  • École doctorale Cognition, éducation, interactions (Nantes) (3)
  • École doctorale Droit et Science Politique (Toulouse) (3)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne) (3)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (1796)
  • français (1776)
  • espagnol (17)
  • portugais (7)
  • allemand (2)
  • arabe (1)
  • tibétain (1)
  • basque (1)
  • roumain (1)
  • chinois (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (12)
  • Maler Oded (10)
  • Méhaut Jean-François (10)
  • Pesqueux Yvon (10)
  • Barkaoui Kamel (9)
  • Dubois Catherine (8)
  • Oquendo Flavio (8)
  • Termier Alexandre (8)
  • Baudry Benoit (7)
  • Bozga Dorel Marius (7)
  • Fesquet Laurent (7)
  • Gaussier Éric (7)
  • Lakhnech Yassine (7)
  • Laleau Régine (7)
  • Morin-Allory Katell (7)
  • Trystram Denis (7)
  • Calvary Gaëlle (6)
  • Chbeir Richard (6)
  • Dupuy-Chessa Sophie (6)
  • Jaussaud Jacques (6)
  • Mosbah Mohamed (6)
  • Pétrot Frédéric (6)
  • Schoenauer Marc (6)
  • Sifakis Joseph (6)
  • Toguyeni Abdoul Karim Armand (6)
  • Yvon François (6)
  • Aït-Ameur Yamine (5)
  • Blazy Sandrine (5)
  • Borrione Dominique (5)
  • Cavalli Ana (5)
  • Chanussot Jocelyn (5)
  • Collart-Dutilleul Simon (5)
  • El Kamel Abdelkader (5)
  • Groz Roland (5)
  • Laugier Christian (5)
  • Le Gall Pascale (5)
  • Naccache David (5)
  • Nicolaïdis Michael (5)
  • Nicolle Christophe (5)
  • Pointcheval David (5)
  • Weil Benoît (5)
  • Allenet Benoît (4)
  • Aniorté Philippe (4)
  • Barkatou Moulay Abdelfattah (4)
  • Barucq Hélène (4)
  • Bocquet Rachel (4)
  • Brissaud Daniel (4)
  • Casida Mark Earl (4)
  • Castelluccia Claude (4)
  • Collet Christine (4)
  • Dang Thao (4)
  • Delaune Stéphanie (4)
  • Demongeot Jacques (4)
  • Euzenat Jérôme (4)
  • Filiol Éric (4)
  • Flaus Jean-Marie (4)
  • Fouque Pierre-Alain (4)
  • Frappier Marc (4)
  • Gaudel Marie-Claude (4)
  • Genevès Pierre (4)
  • Ghibaudo Gérard (4)
  • Grau Brigitte (4)
  • Hekking Frank W. J. (4)
  • Huchard Marianne (4)
  • Julliand Jacques (4)
  • Kolski Christophe (4)
  • Lafourcade Pascal (4)
  • Laskar Jacques (4)
  • Layaida Nabil (4)
  • Ledru Yves (4)
  • Lefèvre Laurent (4)
  • Maupeu Hervé (4)
  • Mothe Caroline (4)
  • Natkin Stéphane (4)
  • Palanque Philippe (4)
  • Perruquetti Wilfrid (4)
  • Pierre Laurence (4)
  • Potet Marie-Laure (4)
  • Rieu Dominique (4)
  • Ronfard Rémi (4)
  • Santana Miguel (4)
  • Stefani Jean-Bernard (4)
  • Teytaud Olivier (4)
  • Walczak Aleksandra (4)
  • Alami Rachid (3)
  • Alla Hassane Lotfi (3)
  • Ammari Habib (3)
  • Arrighi Pablo (3)
  • Artiba Abdelhakim (3)
  • Aussem Alexandre (3)
  • Basset Michel (3)
  • Berruet Pascal (3)
  • Bertot Yves (3)
  • Bertrand Yves (3)
  • Besacier Laurent (3)
  • Bhargavan Karthikeyan (3)
  • Blanco Éric (3)
  • Boitet Christian (3)
  • Bon Philippe (3)
  • Boochs Frank (3)
  • Bouchenak Sara (3)
  • Bourcier Johann (3)
  • Bousquet Lydie du (3)
  • Brochet Pascal (3)
  • Cani Marie-Paule (3)
  • Charpillet François (3)
  • Chen Liming (3)
  • Chevalier Françoise (3)
  • Chevallet Jean-Pierre (3)
  • Ciofini Ilaria (3)
  • Combarnous François (3)
  • Comyn-Wattiau Isabelle (3)
  • Couffignal Georges (3)
  • Cruz Christophe (3)
  • De Vreyer Philippe (3)
  • Debar Hervé (3)
  • Degache Christian (3)
  • Demailly Jean-Pierre (3)
  • Demazeau Yves (3)
  • Desclès Jean-Pierre (3)
  • Donsez Didier (3)
  • Duda Andrzej (3)
  • El-Koursi El-Miloudi (3)
  • Faure Jean-Marc (3)
  • Fernandez Jean-Claude (3)
  • Filali Mamoun (3)
  • Foufou Sebti (3)
  • Fradet Pascal (3)
  • Front Agnès (3)
  • Frydman Claudia (3)
  • Gaaloul Walid (3)
  • Gerbier Bernard (3)
  • Ghazel Mohamed (3)
  • Girard Antoine (3)
  • Girault Alain (3)
  • Guillaud Xavier (3)
  • Guilley Sylvain (3)
  • Guérin Stéphane (3)
  • Gzara Lilia (3)
  • Haddad Serge (3)
  • Hammadi Slim (3)
  • Hao Jin-Kao (3)
  • Hirigoyen Gérard (3)
  • Horaud Radu (3)
  • Jensen Thomas (3)
  • Jmaiel Mohamed (3)
  • Kirchner Claude (3)
  • Klein Christian (3)
  • Kordon Fabrice (3)
  • Lalanda Philippe (3)
  • Laurent Maryline (3)
  • Lavenier Dominique (3)
  • Le masson Pascal (3)
  • Lenczner Michel (3)
  • Lécuyer Anatole (3)
  • Léon Jean-Claude (3)
  • Léonard Christian (3)
  • Lévy Nicole (3)
  • Mackay Wendy (3)
  • Mangematin Vincent (3)
  • Mangenot François (3)
  • Marché Claude (3)
  • Martin Hervé (3)
  • Mazure Bertrand (3)
  • Mazzanti Marinella (3)
  • Merz Stephan (3)
  • Mignon Valérie (3)
  • Minguzzi Anna (3)
  • Mokhtari Mounir (3)
  • Monniaux David (3)
  • Mora Thierry (3)
  • Moreaux Patrice (3)
  • Morgenstern Aliyah (3)
  • Moy Matthieu (3)
  • Muller Jean-Michel (3)
  • Nakagawa Elisa Yumi (3)
  • Narcy-Combes Jean-Paul (3)
  • Paillard Thierry (3)
  • Pantel Marc (3)
  • Parissis Ioannis (3)
  • Paulin-Mohring Christine (3)
  • Pesty Sylvie (3)
  • Ploix Stéphane (3)
  • Portalier Serge (3)
  • Ramdani Nacim (3)
  • Ramel Jean-Yves (3)
  • Rauzy Antoine (3)
  • Rusinowitch Michaël (3)
  • Sentieys Olivier (3)
  • Simon Daniel (3)
  • Snoussi Hichem (3)
  • Spalanzani Alain (3)
  • Strecker Martin (3)
  • Tabourot Laurent (3)
  • Talpin Jean-Pierre (3)
  • Thibon Christian (3)
  • Tollenaere Michel (3)
  • Toumani Farouk (3)
  • Tricot André (3)
  • Vargas-Solar Genoveva (3)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1043)
  • Sciences de l'ingénieur (477)
  • Mathématiques (280)
  • Physique (249)
  • Gestion et organisation de l'entreprise (210)
  • Economie (191)
  • Sciences de la vie, biologie, biochimie (180)
  • Médecine et santé (146)
  • Chimie, minéralogie, cristallographie (110)
  • Sciences de la terre (92)
  • Informatique, information, généralités (60)
  • Psychologie (57)
  • Sciences sociales, sociologie, anthropologie (51)
  • Langues et linguistique (46)
  • Linguistique générale (41)
  • Droit (38)
  • Education et enseignement (36)
  • Science politique (35)
  • Astronomie, cartographie, géodésie (35)
  • Littératures anglaise et anglo-saxonne (23)
  • Philosophie, psychologie (22)
  • Technologie (Sciences appliquées) (18)
  • Agronomie, agriculture et médecine vétérinaire (18)
  • Langue anglaise. Anglo-saxon (17)
  • Histoire et critique littéraires, rhétorique (17)
  • Géographie et histoire (17)
  • Géographie et voyages (17)
  • Arts. Beaux-arts et arts décoratifs (15)
  • Musique (13)
  • Sport (13)
  • Fabrication industrielle (12)
  • Arts du spectacle, loisirs (12)
  • Ethnologie (11)
  • Animaux. Zoologie (11)
  • Architecture (11)
  • Bibliothéconomie et sciences de l'information (9)
  • Sciences de la nature et mathématiques (9)
  • Histoire ancienne et préhistoire (9)
  • Langues romanes. Français (8)
  • Autres langues (8)
  • Urbanisme (8)
  • Littérature américaine en anglais (7)
  • Génie chimique, technologies alimentaires (6)
  • Histoire générale de l'Amérique du Nord (6)
  • Epistémologie, causalité, genre humain (5)
  • Statistiques générales (5)
  • Administration publique. Arts et science militaires (5)
  • Commerce, communications, transports (5)
  • Philosophie occidentale moderne et philosophies non orientales (4)
  • Autres religions (4)
  • Histoire moderne et contemporaine de l'Europe (4)
  • Plantes. Botanique (3)
  • Bâtiments (3)
  • Littérature de langues romanes. Littérature française (3)
  • Littératures espagnole et portugaise (3)
  • Médias d'information, journalisme, édition (2)
  • Religion (2)
  • Problèmes et services sociaux (2)
  • Langues espagnole et portugaise (2)
  • Arts plastiques. Sculpture (2)
  • Peinture (2)
  • Arts graphiques (2)
  • Photographie et les photographies, art numérique (2)
  • Littérature latine (2)
  • Littératures des autres langues (2)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (2)
  • Histoire générale de l'Amérique du Sud (2)
  • Langues germaniques. Allemand (1)
  • Langues italiques. Latin (1)
  • Langues helléniques. Grec classique (1)
  • Paléontologie. Paléozoologie (1)
  • Fabrication de produits à usages spécifiques (1)
  • Dessin. Arts décoratifs (1)
  • Littérature allemande (1)
  • Littérature grecque (1)
  • Histoire générale de l'Afrique (1)

Domaines :

Fullscreen

3434 thèses pour Formal methods

Informatique

Soutenue le 16-12-2015
thèse soutenue

...Formal methods are based on the use of mathematical techniques andformal logic to specify and...

Accéder en ligne

.... Decentralised LTLMonitoring. In: FM 2012: Formal Methods: 18th Interna-tional Symposium, Paris, France, August...

Accéder en ligne

...are highly automated formal methods comparable totraditional simulation. Although formal verification...

Accéder en ligne
Sûreté de Logiciel et Calcul à Haute Performance

Soutenue le 09-12-2014
thèse soutenue

...Formal Methods expert andthe DSML designer. It is appropriate to give for these concerned actors a...

Accéder en ligne
Philosophie des sciences informatiques

Soutenue en 2010
thèse soutenue
Informatique

Soutenue en 2005
thèse soutenue

...Keywords : Software testing, random generation, symbolic execution, infeasible paths, formal methodsAbstract : A...

Accéder en ligne
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 06-07-2017
thèse soutenue

...International Conferenceon Formal Engineering Methods (ICFEM). 2016.[8] G. Babin, Y. Aït-Ameur and M. Pantel...

Accéder en ligne
Nano electronique et nano technologies

Soutenue le 28-03-2018
thèse soutenue

...formal check. Using both thejusti ed counter-examples and the proposed assumptions, a veri cation...

Accéder en ligne

Résultats 1 à 10