Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (363)
  • Grenoble Alpes (357)
  • Paris Saclay (305)
  • Paris Sciences et Lettres (136)
  • Paris 6 (130)
  • Lyon (128)
  • Paris, CNAM (91)
  • Rennes 1 (88)
  • Bordeaux (87)
  • Université de Lorraine (82)
  • Paris 10 (81)
  • Toulouse 3 (78)
  • Montpellier (76)
  • Paris 1 (74)
  • Paris Est (68)
  • Sorbonne Paris Cité (68)
  • Pau (63)
  • Dijon (58)
  • Aix-Marseille (56)
  • Côte d'Azur (48)
  • Paris 11 (48)
  • Ecole centrale de Lille (41)
  • Paris 5 (39)
  • Paris 3 (38)
  • Toulouse, INPT (36)
  • Brest (33)
  • Normandie (33)
  • Strasbourg (31)
  • Besançon (29)
  • Nice (29)
  • Nantes (27)
  • Orléans (26)
  • Tours (26)
  • Bourgogne Franche-Comté (24)
  • Troyes (24)
  • Evry, Institut national des télécommunications (23)
  • Limoges (23)
  • Clermont-Ferrand 2 (22)
  • Lorient (22)
  • Valenciennes (21)
  • Paris 4 (20)
  • Paris 8 (19)
  • Montpellier 2 (18)
  • Paris, Ecole normale supérieure (18)
  • Toulouse 2 (18)
  • Angers (17)
  • Toulouse, INSA (17)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (16)
  • Paris, ENST (16)
  • Cachan, Ecole normale supérieure (15)
  • Lyon, INSA (15)
  • Mulhouse (15)
  • Bordeaux 1 (14)
  • Bordeaux 3 (14)
  • Nancy 1 (14)
  • Paris 9 (14)
  • Le Mans (13)
  • Paris, ENSAM (13)
  • Cergy-Pontoise (12)
  • La Rochelle (12)
  • Montpellier 3 (12)
  • Clermont Auvergne (11)
  • Montpellier, SupAgro (11)
  • Rennes, Agrocampus Ouest (11)
  • Toulouse 1 (11)
  • Compiègne (10)
  • Lille 2 (10)
  • Rennes, INSA (10)
  • Toulouse, ISAE (10)
  • Universidade de São Paulo (Brésil) (10)
  • Avignon (9)
  • Châtenay-Malabry, Ecole centrale de Paris (9)
  • Lille 1 (9)
  • Lille 3 (9)
  • Paris, Institut d'études politiques (9)
  • Perpignan (9)
  • Toulon (9)
  • Belfort-Montbéliard (8)
  • Paris 7 (8)
  • Paris, Muséum national d'histoire naturelle (8)
  • Reims (8)
  • Rennes 2 (8)
  • Université Joseph Fourier (Grenoble) (8)
  • Bordeaux 4 (7)
  • Evry-Val d'Essonne (7)
  • La Réunion (7)
  • Paris, EHESS (7)
  • Ecole centrale de Marseille (6)
  • Paris 13 (6)
  • Poitiers (6)
  • Universidad de Zaragoza (Espagne) (6)
  • Università degli studi La Sapienza (Rome) (6)
  • Université de Sherbrooke (Québec, Canada) (6)
  • Artois (5)
  • Grenoble INPG (5)
  • Jouy-en Josas, HEC (5)
  • Le Havre (5)
  • Littoral (5)
  • Lyon 1 (5)
  • Palaiseau, Ecole polytechnique (5)
  • Paris, AgroParisTech (5)
  • Paris, ENMP (5)
  • Paris, INALCO (5)
  • Rennes, École normale supérieure (5)
  • Rouen, INSA (5)
  • Universitatea politehnica (Bucarest) (5)
  • Université de Sfax (Tunisie) (5)
  • Université du Québec à Montréal (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • École nationale d'ingénieurs de Tunis (Tunisie) (5)
  • Amiens (4)
  • Antilles (4)
  • Bordeaux 2 (4)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (4)
  • Ecole nationale des Mines d'Albi-Carmaux (4)
  • Ecully, Ecole centrale de Lyon (4)
  • Lyon 2 (4)
  • Lyon 3 (4)
  • Montpellier 1 (4)
  • Paris, EPHE (4)
  • Supélec (4)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (4)
  • Université catholique de Louvain (1970-....) (4)
  • Université de Liège (4)
  • Université de Tunis El Manar (4)
  • Université de Yaoundé I (4)
  • Université libanaise (4)
  • Aix-Marseille 1 (3)
  • Antilles-Guyane (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ät Bielefeld (3)
  • Université Laval (Québec, Canada) (3)
  • Université de Sherbrooke (3)
  • Université du Luxembourg (3)
  • Versailles-St Quentin en Yvelines (3)
  • Aix-Marseille 2 (2)
  • Aix-Marseille 3 (2)
  • Caen (2)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (2)
  • Chambéry (2)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Corte (2)
  • East China Normal University (Shanghai) (2)
  • Grenoble 2 (2)
  • Lyon, École normale supérieure (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 estadual de Campinas (Brésil) (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à degli studi di Roma "Tor Vergata" (2)
  • Universität Hannover (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 (Tunisie). Faculté des Sciences économiques et de gestion (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 Nationale des Sciences de l'Informatique (Tunis) (2)
  • . (1)
  • 122 - ACADEMIE POLONAISE DES SCIENCES (1)
  • 416 Univ Federal do Rio Grande do Sul (1)
  • ?cole Mohammadia d'ing?nieurs (Rabat, Maroc) (1)
  • Academia de Muzică Gheorghe Dima (Cluj-Napoca) (1)
  • Academy of mathematics and systems science (Pékin) (1)
  • Adam Mickiewicz University (Poznan, Pologne) (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)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (944)
  • Sciences de gestion (180)
  • Sciences économiques (132)
  • Physique (119)
  • Mathématiques (97)
  • Mathématiques appliquées (54)
  • Chimie (48)
  • Psychologie (46)
  • Automatique (27)
  • Mathématiques et Informatique (27)
  • Sciences et technologie industrielles (27)
  • Sciences de Gestion (25)
  • Neurosciences (24)
  • Sciences de l'éducation (24)
  • Science politique (23)
  • Mathématiques et informatique (22)
  • Sciences du langage (22)
  • Études anglophones (21)
  • Sciences de la vie et de la santé (20)
  • Sciences economiques (20)
  • Sociologie (20)
  • Informatique et applications (17)
  • Mathématiques Appliquées (17)
  • Philosophie (17)
  • Mathématiques fondamentales (16)
  • Nanoélectronique et nanotechnologie (16)
  • Sciences de l'univers (16)
  • Génie électrique (15)
  • Sciences de l'information et de la communication (15)
  • Stic (15)
  • Droit public (14)
  • Mécanique (14)
  • Optimisation et Sûreté des Systèmes (13)
  • Géosciences (12)
  • Physique de la matière condensée et du rayonnement (12)
  • Physique théorique (12)
  • Sciences et technologies industrielles (12)
  • Automatique - productique (11)
  • Génie industriel (11)
  • Géographie (11)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (11)
  • Robotique (11)
  • Sciences de la terre et de l'univers, et de l'environnement (11)
  • Traitement du signal et télécommunications (11)
  • Astronomie et Astrophysique (10)
  • Biologie (10)
  • Chimie organique (10)
  • Linguistique (10)
  • Automatique et informatique industrielle (9)
  • Economie (9)
  • Informatique et réseaux (9)
  • Mathématiques et applications (9)
  • Sciences (9)
  • Architecture (8)
  • Automatique et productique (8)
  • Génie civil (8)
  • Intelligence artificielle (8)
  • Nanophysique (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)
  • Mathematiques (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)
  • Mathématiques appliquées et calcul scientifique (6)
  • Matériaux, Mécanique, Génie civil, Electrochimie (6)
  • Sciences cognitives, psychologie et neurocognition (6)
  • Sciences de la Terre et de l'Univers et de l'Environnement (6)
  • Acoustique (5)
  • Automatique, génie informatique, traitement du signal et image (5)
  • Biologie Santé (5)
  • Biologie et agronomie (5)
  • Electronique (5)
  • Ergonomie (5)
  • Génie Industriel : conception et production (5)
  • Histoire de l'art (5)
  • Image, information, hypermedia (5)
  • Immunologie (5)
  • Informatique et r?seaux (5)
  • Math?matiques appliqu?es (5)
  • Matériaux, mécanique, génie civil, électrochimie (5)
  • Médecine (5)
  • Nano electronique et nano technologies (5)
  • Physique quantique (5)
  • Sciences agronomiques (5)
  • Sciences cognitives (5)
  • Sciences de gestion. Prospective, innovation, stratégie, organisation (5)
  • Sciences Économiques (5)
  • Sureté de logiciel et calcul de haute performance (5)
  • Systèmes automatiques et micro-électroniques (5)
  • Traitement du signal et des images (5)
  • Anglais (4)
  • Automatique. Automatique, génie informatique (4)
  • Biologie marine (4)
  • Chimie physique (4)
  • Chimie physique moléculaire et structurale (4)
  • Chimie-Physique (4)
  • Didactique des langues et des cultures (4)
  • Droit privé (4)
  • Ecologie et Biodiversité (4)
  • Energétique (4)
  • Epidémiologie (4)
  • Informatique temps réel, robotique et automatique (4)
  • Ingénierie de la Cognition, de l'interaction, de l'Apprentissage et de la création (4)
  • Interactions moléculaires et cellulaires (4)
  • Linguistique anglaise (4)
  • Mécanique des fluides, procédés, énergétique (4)
  • Mécanique des solides (4)
  • Mécanique et énergétique (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)
  • STIC (sciences et technologies de l'information et de la communication) - Cergy (4)
  • Santé publique (4)
  • Sciences de la Vie et de la Santé (4)
  • Sciences de la planète et de l'univers (4)
  • Sciences du langage - linguistique (4)
  • Sciences et génie des matériaux (4)
  • Signal et images (4)
  • Structure et réactions nucléaires (4)
  • Systèmes informatiques (4)
  • Arts (3)
  • Aspects moléculaires et cellulaires de la biologie (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)
  • Conception (3)
  • Ecologie (3)
  • Economie et finance (3)
  • Ethnologie (3)
  • Français, langue étrangère (3)
  • G?osciences et g?oing?nierie (3)
  • Genie electrique (3)
  • Génie Civil (3)
  • Génie Electrique (3)
  • Génie informatique (3)
  • Géomatique (3)
  • Hydrologie (3)
  • Informatique et mathématiques (3)
  • Informatique médicale (3)
  • Intelligence Artificielle (3)
  • Langues et litteratures etrangeres (3)
  • Langues et littératures anglaises et anglo-saxonnes (3)
  • Langues et littératures étrangères (3)
  • Lettres (3)
  • Littérature générale et comparée (3)
  • Math?matiques (3)
  • Mathematiques pures (3)
  • Mathématiques et leurs interactions (3)
  • Mathématiques-Informatique (3)
  • Micro et nanoélectronique (3)
  • Musicologie (3)
  • Mécanique des fluides (3)
  • Météorologie, océanographie, physique de l'environnement (3)
  • Océan, Atmosphère, Hydrologie (3)
  • Océanographie (3)
  • Physique subatomique et astroparticules (3)
  • Santé publique - épidémiologie (3)
  • Sciences ?conomiques (3)
  • Sciences Economiques (3)
  • Sciences appliquées (3)
  • Sciences de l'évolution et de la Biodiversité (3)
  • Sciences de la vie (3)
  • Sciences du Mouvement Humain (3)
  • Sciences du langage : traitement automatique des langues (3)
  • Sciences et génie des activités à risques (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)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (278)
  • École doctorale Informatique, télécommunications et électronique (Paris) (84)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (66)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (65)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (64)
  • École doctorale Sciences pour l'Ingénieur (Lille) (63)
  • École doctorale physique (Grenoble) (63)
  • École doctorale Physique en Île-de-France (Paris) (58)
  • Ecole doctorale de Dauphine (Paris) (53)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (52)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (52)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (50)
  • École doctorale en Informatique et Mathématiques de Lyon (50)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (49)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (48)
  • École doctorale d'Économie (Paris) (40)
  • Sciences et Technologies de l'Information et de la Communication (39)
  • É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) (37)
  • École doctorale terre, univers, environnement (Grenoble) (36)
  • École doctorale Abbé Grégoire (Paris) (34)
  • École doctorale chimie et science du vivant (Grenoble) (32)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (31)
  • École doctorale Économie, organisations, société (Nanterre) (31)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (30)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (29)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (29)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (28)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (28)
  • École doctorale sciences de gestion (Grenoble) (28)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (27)
  • Ecole doctorale Informatique de Paris-Sud (25)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne) (25)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (24)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (24)
  • École doctorale Cerveau, cognition, comportement (Paris) (23)
  • École doctorale Sciences de l'Homme et de la Société (Cachan, Val-de-Marne) (23)
  • I2S - Information, Structures, Systèmes (22)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (22)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (22)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (21)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (20)
  • École doctorale Systèmes (Toulouse) (19)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (18)
  • École doctorale Sciences fondamentales et appliquées (Nice) (18)
  • École doctorale sciences économiques (Grenoble) (18)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (17)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (17)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (16)
  • MATHSTIC (16)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (16)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (15)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (15)
  • École doctorale Langage et langues (Paris) (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)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (14)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (14)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (14)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (14)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (14)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (13)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (13)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (13)
  • ?cole doctorale Informatique, t?l?communications et ?lectronique (Paris) (12)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (12)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (12)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (12)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (12)
  • Ecole doctorale Arts et Métiers (Paris) (11)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt) (11)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (11)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (10)
  • École doctorale Sciences de la nature et de l'Homme. Évolution et écologie (Paris) (10)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (10)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (10)
  • ?cole doctorale Sciences des m?tiers de l'ing?nieur (Paris) (9)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (9)
  • École Doctorale Neurosciences et Cognition (NSCo) (9)
  • École Doctorale Sciences de la Matière (Toulouse) (9)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (9)
  • École doctorale Comportement, Langage, Éducation, Socialisation, Cognition (Toulouse) (9)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (9)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (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 de la mer (Plouzané, Finistère) (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 écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (9)
  • École doctorale de Physique et Astrophysique de Lyon (9)
  • École doctorale de Sciences Po (Paris) (9)
  • École doctorale de l'École pratique des hautes études (Paris) (9)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (9)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (8)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (8)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (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 Interdisciplinaire Sciences-Santé. (Villeurbanne) (8)
  • École Doctorale de Chimie (Lyon) (8)
  • École doctorale Concepts et langages (Paris) (8)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (8)
  • École doctorale Physique et chimie des matériaux (Paris) (8)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (8)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (8)
  • École doctorale Vie-Agro-Santé (Rennes) (8)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (8)
  • ?cole doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (7)
  • BioSE - Ecole Doctorale Biologie, Santé, Environnement (7)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (7)
  • Ecole doctorale Économie, Management, Mathématiques et Physique (EM2P) (Cergy-Pontoise, Val d'Oise) (7)
  • Mathématiques, Sciences et technologies de l'information, Informatique (7)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (7)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (7)
  • École doctorale Arts et médias (Paris) (7)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (7)
  • École doctorale Frontières du vivant (7)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (7)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (7)
  • École doctorale Langues, littératures et sociétés du monde (Paris) (7)
  • École doctorale Lettres, langues, spectacles (Nanterre) (7)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (7)
  • École doctorale Philosophie (Paris) (7)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (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 de droit de la Sorbonne (Paris ; 2015-....) (7)
  • Économie et Gestion de Montpellier (École Doctorale ; 2009-2014) (7)
  • ?cole doctorale ?conomie, organisations, soci?t? (Nanterre) (6)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (6)
  • Ecole Doctorale Sciences Chimiques (Marseille) (6)
  • Ecole doctorale Santé, sciences, technologies (Tours) (6)
  • Mathématiques Hadamard (6)
  • Mathématiques Informatique Télécommunications de Toulouse (6)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (6)
  • École doctorale Biologie-Santé (Lille) (6)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (6)
  • École doctorale Biologie-Santé (Rennes) (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 Particules, Hadrons, Énergie, Noyau, Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne) (6)
  • École doctorale Santé Publique (2015-.... ; Kremlin-Bicêtre, Val-de-Marne) (6)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne) (6)
  • École doctorale Sciences sociales (Lyon) (6)
  • École doctorale Sciences économiques et gestion (Lyon) (6)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne) (6)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (6)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (6)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (6)
  • ?cole doctorale Ondes et Mati?re (2015-.... ; Orsay, Essonne) (5)
  • ?cole doctorale Sciences pour l'Ing?nieur (Lille) (5)
  • ?cole doctorale de math?matiques Hadamard (Orsay, Essonne) (5)
  • 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)
  • É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 Lettres, langues, linguistique, arts (Lyon) (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 et de la société (Villeneuve d'Ascq, Nord) (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 humaines et sociales : cultures, individus, sociétés (Paris) (5)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (5)
  • École doctorale de droit (Pessac, Gironde) (5)
  • École doctorale normande de chimie (Caen) (5)
  • ?cole doctorale Math?matiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (4)
  • ?cole doctorale Sciences de l'Homme et de la Soci?t? (Cachan, Val-de-Marne) (4)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (4)
  • Ecole doctorale Langages, Espaces, Temps, Sociétés (Besançon ; 1991-2016) (4)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (4)
  • SMI - Sciences des Métiers de l'Ingénieur (4)
  • Sciences Chimiques et Biologiques pour la Santé (4)
  • Terre, Univers, Environnement (4)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (4)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (4)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (4)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (2015-.... ; Paris) (4)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (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 Innovation thérapeutique : du fondamental à l'appliqué (2015-.... ; Châtenay-Malabry, Hauts-de-Seine) (4)
  • École doctorale Lettres, Communication, Langues, Arts (Dijon ; Besançon ; 2017-....) (4)
  • École doctorale Ondes et Matière (2015-.... ; Orsay, Essonne) (4)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (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 pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (4)
  • École doctorale Sciences sociales (Saint-Denis, Seine-Saint-Denis) (4)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (1984)
  • français (1925)
  • espagnol (18)
  • portugais (8)
  • allemand (2)
  • roumain (2)
  • arabe (1)
  • tibétain (1)
  • basque (1)
  • italien (1)
  • chinois (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (14)
  • Maler Oded (11)
  • Barkaoui Kamel (10)
  • Méhaut Jean-François (10)
  • Pesqueux Yvon (10)
  • Dubois Catherine (8)
  • Gaussier Éric (8)
  • Oquendo Flavio (8)
  • Termier Alexandre (8)
  • Baudry Benoit (7)
  • Bozga Dorel Marius (7)
  • Fesquet Laurent (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)
  • Huchard Marianne (5)
  • Laugier Christian (5)
  • Le Gall Pascale (5)
  • Le Masson Pascal (5)
  • Lefèvre Laurent (5)
  • Loulergue Frédéric (5)
  • Naccache David (5)
  • Nicolaïdis Michael (5)
  • Nicolle Christophe (5)
  • Palanque Philippe (5)
  • Pointcheval David (5)
  • Potet Marie-Laure (5)
  • Allenet Benoît (4)
  • Aniorté Philippe (4)
  • Barkatou Moulay Abdelfattah (4)
  • Barucq Hélène (4)
  • Besacier Laurent (4)
  • Bocquet Rachel (4)
  • Boitet Christian (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)
  • Faiz Rim (4)
  • Flaus Jean-Marie (4)
  • Fouque Pierre-Alain (4)
  • Frappier Marc (4)
  • Gaudel Marie-Claude (4)
  • Genevès Pierre (4)
  • Ghibaudo Gérard (4)
  • Girard Antoine (4)
  • Grau Brigitte (4)
  • Guillaud Xavier (4)
  • Hekking Frank W. J. (4)
  • Julliand Jacques (4)
  • Kirchner Claude (4)
  • Kolski Christophe (4)
  • Lafourcade Pascal (4)
  • Lalanda Philippe (4)
  • Laskar Jacques (4)
  • Layaida Nabil (4)
  • Ledru Yves (4)
  • Léon Jean-Claude (4)
  • Maupeu Hervé (4)
  • Mothe Caroline (4)
  • Natkin Stéphane (4)
  • Palma Noël de (4)
  • Perruquetti Wilfrid (4)
  • Pierre Laurence (4)
  • Rieu Dominique (4)
  • Ronfard Rémi (4)
  • Santana Miguel (4)
  • Teytaud Olivier (4)
  • Tricot André (4)
  • Walczak Aleksandra (4)
  • Weil Benoît (4)
  • Alami Rachid (3)
  • Alla Hassane Lotfi (3)
  • Ammari Habib (3)
  • Arrighi Pablo (3)
  • Artiba Abdelhakim (3)
  • Aussem Alexandre (3)
  • Barbier Franck (3)
  • Basset Michel (3)
  • Berruet Pascal (3)
  • Bertot Yves (3)
  • Bertrand Yves (3)
  • Bhargavan Karthikeyan (3)
  • Blanco Éric (3)
  • Bon Philippe (3)
  • Bonneau Georges-Pierre (3)
  • Boochs Frank (3)
  • Bouchenak Sara (3)
  • Boughanem Mohand (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)
  • Crespi Noël (3)
  • Cresson Jacky (3)
  • Cruz Christophe (3)
  • De Vreyer Philippe (3)
  • Debar Hervé (3)
  • Degache Christian (3)
  • Delahaye David (3)
  • Demailly Jean-Pierre (3)
  • Demazeau Yves (3)
  • Desclès Jean-Pierre (3)
  • Donsez Didier (3)
  • Duda Andrzej (3)
  • El Mekkaoui de Freitas Najat (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)
  • Gaussier Philippe (3)
  • Gerbier Bernard (3)
  • Ghazel Mohamed (3)
  • Girault Alain (3)
  • Gourbesville Philippe (3)
  • Guilley Sylvain (3)
  • Guérin Stéphane (3)
  • Gzara Lilia (3)
  • Haddad Serge (3)
  • Hahmann Stéfanie (3)
  • Hammadi Slim (3)
  • Hao Jin-Kao (3)
  • Hirigoyen Gérard (3)
  • Horaud Radu (3)
  • Huneman Philippe (3)
  • Iosif Radu (3)
  • Jensen Thomas (3)
  • Jmaiel Mohamed (3)
  • Klein Christian (3)
  • Kordon Fabrice (3)
  • Laurent Maryline (3)
  • Lavenier Dominique (3)
  • Lenczner Michel (3)
  • Lesot Marie-Jeanne (3)
  • Lécuyer Anatole (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)
  • Pinet François (3)
  • Ploix Stéphane (3)
  • Portalier Serge (3)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1143)
  • Sciences de l'ingénieur (516)
  • Mathématiques (310)
  • Physique (280)
  • Gestion et organisation de l'entreprise (220)
  • Economie (205)
  • Sciences de la vie, biologie, biochimie (200)
  • Médecine et santé (164)
  • Chimie, minéralogie, cristallographie (120)
  • Sciences de la terre (102)
  • Informatique, information, généralités (71)
  • Psychologie (63)
  • Sciences sociales, sociologie, anthropologie (59)
  • Langues et linguistique (50)
  • Linguistique générale (47)
  • Droit (41)
  • Education et enseignement (40)
  • Astronomie, cartographie, géodésie (40)
  • Science politique (36)
  • Philosophie, psychologie (24)
  • Littératures anglaise et anglo-saxonne (23)
  • Agronomie, agriculture et médecine vétérinaire (21)
  • Langue anglaise. Anglo-saxon (20)
  • Technologie (Sciences appliquées) (20)
  • Histoire et critique littéraires, rhétorique (19)
  • Géographie et histoire (19)
  • Géographie et voyages (19)
  • Sport (16)
  • Arts. Beaux-arts et arts décoratifs (15)
  • Musique (13)
  • Ethnologie (12)
  • Animaux. Zoologie (12)
  • Fabrication industrielle (12)
  • Arts du spectacle, loisirs (12)
  • Architecture (11)
  • Histoire ancienne et préhistoire (11)
  • Bibliothéconomie et sciences de l'information (9)
  • Langues romanes. Français (9)
  • Autres langues (9)
  • Sciences de la nature et mathématiques (9)
  • Urbanisme (9)
  • Epistémologie, causalité, genre humain (7)
  • Génie chimique, technologies alimentaires (7)
  • Littérature américaine en anglais (7)
  • Histoire générale de l'Amérique du Nord (6)
  • Philosophie occidentale moderne et philosophies non orientales (5)
  • Statistiques générales (5)
  • Administration publique. Arts et science militaires (5)
  • Commerce, communications, transports (5)
  • Histoire moderne et contemporaine de l'Europe (5)
  • Autres religions (4)
  • Plantes. Botanique (4)
  • Bâtiments (4)
  • Médias d'information, journalisme, édition (3)
  • Langues espagnole et portugaise (3)
  • Littérature de langues romanes. Littérature française (3)
  • Littératures espagnole et portugaise (3)
  • Littérature latine (3)
  • Histoire générale de l'Amérique du Sud (3)
  • Religion (2)
  • Problèmes et services sociaux (2)
  • Arts plastiques. Sculpture (2)
  • Peinture (2)
  • Arts graphiques (2)
  • Photographie et les photographies, art numérique (2)
  • Littératures des autres langues (2)
  • Histoire générale de l'Asie, Orient, Extrême-Orient (2)
  • Morale (éthique) (1)
  • Langues germaniques. Allemand (1)
  • Langues italienne, roumaine, rhéto-romane (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

3767 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
Mathématiques Appliquées

Soutenue le 07-05-2018
thèse soutenue

.... Formal methods are the set of computational methodswhich provide guarantees and proofs, which can be...

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

Résultats 1 à 10