Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (544)
  • Université Grenoble Alpes (ComUE) (417)
  • Paris 6 (293)
  • Grenoble (285)
  • Lyon (283)
  • Université de Lorraine (225)
  • Paris Sciences et Lettres (ComUE) (178)
  • Toulouse 3 (160)
  • Bordeaux (153)
  • Rennes 1 (150)
  • Montpellier (132)
  • Sorbonne Paris Cité (131)
  • Sorbonne université (121)
  • Paris Est (117)
  • Aix-Marseille (111)
  • Paris 11 (86)
  • Université Côte d'Azur (ComUE) (77)
  • Cachan, Ecole normale supérieure (68)
  • Nancy 1 (57)
  • Nantes (55)
  • Toulouse, INPT (55)
  • Clermont Auvergne (52)
  • Paris, CNAM (50)
  • Brest (49)
  • Bourgogne Franche-Comté (48)
  • Paris 1 (48)
  • Normandie (47)
  • Pau (47)
  • Toulouse, ISAE (46)
  • Paris, ENSAM (44)
  • Toulouse, INSA (42)
  • Orléans (41)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (40)
  • Dijon (37)
  • Ecole centrale de Lille (37)
  • Lyon 1 (37)
  • Nice (37)
  • université Paris-Saclay (37)
  • La Rochelle (33)
  • Lorient (31)
  • Paris 5 (30)
  • Toulouse 1 (30)
  • Clermont-Ferrand 2 (28)
  • Compiègne (28)
  • Tours (28)
  • Bordeaux 1 (27)
  • Institut polytechnique de Paris (27)
  • Ecole centrale de Nantes (26)
  • Besançon (25)
  • Paris 10 (25)
  • Limoges (24)
  • Lille 2 (23)
  • Université Grenoble Alpes (23)
  • Troyes (22)
  • Lyon, INSA (21)
  • Strasbourg (21)
  • Belfort-Montbéliard (20)
  • Evry, Institut national des télécommunications (20)
  • Montpellier 2 (20)
  • Paris, ENST (20)
  • Reims (20)
  • CentraleSupélec (18)
  • Cergy-Pontoise (18)
  • Rennes, INSA (16)
  • Angers (15)
  • Université libanaise (15)
  • La Réunion (14)
  • Paris, EHESS (13)
  • Paris, Muséum national d'histoire naturelle (13)
  • Avignon (12)
  • Lille 1 (12)
  • Paris 3 (12)
  • Paris 7 (12)
  • Paris, Ecole normale supérieure (12)
  • Toulouse 2 (12)
  • Bordeaux 2 (11)
  • Ecully, Ecole centrale de Lyon (11)
  • Mulhouse (11)
  • Poitiers (11)
  • Valenciennes (11)
  • Artois (10)
  • Grenoble 1 (10)
  • Grenoble INPG (10)
  • Littoral (10)
  • Metz (10)
  • Le Mans (9)
  • Montpellier, SupAgro (9)
  • Rennes 2 (9)
  • Rennes, Agrocampus Ouest (9)
  • Università degli studi La Sapienza (Rome) (9)
  • Bordeaux 3 (8)
  • East China normal university (Shanghai) (8)
  • Ecole nationale des Mines d'Albi-Carmaux (8)
  • Montpellier 3 (8)
  • Paris, EPHE (8)
  • Amiens (7)
  • Evry-Val d'Essonne (7)
  • Paris 13 (7)
  • Paris, AgroParisTech (7)
  • Paris, Institut d'études politiques (7)
  • Perpignan (7)
  • Université de Carthage (Tunisie) (7)
  • Université du Luxembourg (7)
  • Brest, École nationale supérieure de techniques avancées Bretagne (6)
  • Ecole centrale de Marseille (6)
  • Rennes, École normale supérieure (6)
  • Universidade de São Paulo (Brésil) (6)
  • Université de Sherbrooke (Québec, Canada) (6)
  • Université libre de Bruxelles (1970-....) (6)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (5)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (5)
  • Châtenay-Malabry, Ecole centrale de Paris (5)
  • Paris, HESAM (5)
  • Saint-Etienne (5)
  • Toulon (5)
  • Università degli studi (Turin, Italie) (5)
  • Universität des Saarlandes (5)
  • Université de Paris (2019-....) (5)
  • Université de Tunis (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (5)
  • Antilles (4)
  • Bordeaux 4 (4)
  • Clermont-Ferrand 1 (4)
  • IMT Mines Alès (4)
  • Lille 3 (4)
  • Nancy 2 (4)
  • Nantes, Ecole nationale vétérinaire (4)
  • Paris 2 (4)
  • Paris 9 (4)
  • Saint-Etienne, EMSE (4)
  • Technische Universität (Darmstadt, Allemagne) (4)
  • Toulouse, ENSAE (4)
  • University of Western Sydney (4)
  • Università degli studi (Pise, Italie) (4)
  • Université Paris sciences et lettres (4)
  • Université de Liège (4)
  • Université de Tunis El Manar (4)
  • Université de Yaoundé I (4)
  • Versailles-St Quentin en Yvelines (4)
  • École nationale d'ingénieurs de Tunis (Tunisie) (4)
  • Aix-Marseille 1 (3)
  • Australian national university (3)
  • Chambéry (3)
  • Le Havre (3)
  • Norwegian university of science and technology (Trondheim, Norvège) (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 4 (3)
  • Paris 8 (3)
  • Rouen, INSA (3)
  • Technische Universität (Munich, Allemagne) (3)
  • Universidad del País Vasco (3)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (3)
  • Universidade estadual de Campinas (Brésil) (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Universiteit Leiden (Leyde, Pays-Bas) (3)
  • Università degli studi (Florence, Italie) (3)
  • Università degli studi (Milan, Italie) (3)
  • Università degli studi (Palerme, Italie) (3)
  • Universität Passau (Deutscheland) (3)
  • Université d'Abomey-Calavi (Bénin) (3)
  • Université de Montréal (3)
  • Université de Sfax (Tunisie) (3)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (3)
  • École nationale d'ingénieurs de Sfax (Tunisie) (3)
  • Albert-Ludwigs-Universität (Fribourg-en-Brisgau, Allemagne) (2)
  • Ecole Nationale des Sciences de l'Informatique (2)
  • Ecole nationale supérieure Mines-Télécom Lille Douai (2)
  • Ecole polytechnique (Montréal, Canada) (2)
  • Georgia institute of technology (2)
  • Institut supérieur de gestion (Tunis) (2)
  • Institute of Computing Technologies (Pekin, Chine) (2)
  • International School for Advanced Studies (2)
  • Jouy-en Josas, HEC (2)
  • Kungliga tekniska högskolan (Stockholm) (2)
  • Macquarie university (Sydney, Australie) (2)
  • Montpellier 1 (2)
  • Nantes, Ecole des Mines (2)
  • Nanyang Technological University (2)
  • National Taiwan University (Taipei) (2)
  • Northwestern Polytechnical University (Chine) (2)
  • Paris, ENMP (2)
  • Paris, INALCO (2)
  • Paris, Institut agronomique, vétérinaire et forestier de France (2)
  • Pontifícia universidade católica (Rio de Janeiro, Brésil) (2)
  • Radboud universiteit Nijmegen (2)
  • Shandong University (Jinan, Chine) (2)
  • Sung Kyun Kwan university (Séoul) (2)
  • Supélec (2)
  • Tongji university (Shanghai, Chine) (2)
  • UNIVERSIDADEFEDERALDEMINASGERAIS, UFMG (2)
  • Universidad católica de Chile (2)
  • Universidad de Chile (2)
  • Universidad de Concepción (Chili) (2)
  • Universidad de Sevilla (Espagne) (2)
  • Universidad de la República (Montevideo) (2)
  • Universidad de los Andes (Bogotá) (2)
  • Universidad del País Vasco. Facultad de ciencias (2)
  • Universidade de Lisboa (2)

Etablissements :

Fullscreen

Disciplines :

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

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (255)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (202)
  • École doctorale Informatique, télécommunications et électronique de Paris (189)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (144)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (125)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (122)
  • École doctorale en Informatique et Mathématiques de Lyon (114)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (111)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (109)
  • École doctorale physique (Grenoble) (95)
  • École doctorale Physique en Île-de-France (Paris ; 2014-....) (86)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (75)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (72)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (69)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (65)
  • É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 Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (62)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (56)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (53)
  • École doctorale chimie et science du vivant (Grenoble) (52)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (50)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (48)
  • École doctorale Systèmes (Toulouse) (47)
  • École doctorale Cerveau, cognition, comportement (Paris) (46)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (46)
  • Ecole doctorale de Dauphine (Paris) (42)
  • MATHSTIC (42)
  • École doctorale Particules, hadrons, énergie et noyau : instrumentation, imagerie, cosmos et simulation (Orsay, Essonne ; 2015-....) (42)
  • École doctorale terre, univers, environnement (Grenoble) (42)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (41)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (40)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (40)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (39)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (38)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (38)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (38)
  • École doctorale Sciences fondamentales et appliquées (Nice) (36)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (35)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (35)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (35)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (32)
  • École doctorale Complexité du vivant (Paris) (32)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (32)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (31)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (28)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (28)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (28)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (27)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (26)
  • École doctorale Sciences mécaniques et énergétiques, matériaux et géosciences (Gif-sur-Yvette, Essonne ; 2015-....) (26)
  • École doctorale de l'Institut polytechnique de Paris (26)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (25)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (25)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (25)
  • École doctorale Sciences de l'Homme et de la société (Sceaux, Hauts-de-Seine ; 2015-2020) (24)
  • École doctorale d'Économie (Paris) (24)
  • Ecole doctorale Informatique de Paris-Sud (23)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (23)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (23)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (22)
  • École doctorale Sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (22)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (22)
  • École doctorale des sciences chimiques (Talence, Gironde) (22)
  • École doctorale Biologie-Santé (Rennes) (21)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (21)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (21)
  • École doctorale de Physique et Astrophysique de Lyon (21)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (20)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (20)
  • École doctorale Biologie-Santé (Lille) (19)
  • École doctorale Agriculture, alimentation, biologie, environnement, santé (Paris ; 2015-....) (19)
  • École doctorale Electrical, optical, bio : physics and engineering (Orsay, Essonne ; 2015-....) (19)
  • École doctorale Structure et dynamique des systèmes vivants (Gif-sur-Yvette, Essonne ; 2015-....) (19)
  • IAEM Lorraine (18)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (18)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris ; 2000-....) (18)
  • École doctorale Physique et chimie des matériaux (Paris) (18)
  • École doctorale Frontières de l'innovation en recherche et éducation (Paris ; 2006-....) (17)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (17)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (17)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (16)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne ; 2015-....) (16)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (16)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris ; 2014-....) (16)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (16)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (16)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (16)
  • École doctorale BioSE - Biologie, Santé, Environnement (14)
  • École doctorale Euclide (La Rochelle ; 2018-....) (14)
  • École doctorale Sciences pour l'ingénieur (Nantes) (14)
  • École doctorale Économie, organisations, société (Nanterre) (14)
  • Ecole Doctorale Sciences de l'Environnement (Aix-Marseille) (13)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (13)
  • Sciences Chimiques et Biologiques pour la Santé (Montpellier ; Ecole Doctorale ; 2015-....) (13)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (13)
  • École Doctorale de Chimie (Lyon) (13)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt, Hauts-de-Seine) (13)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (13)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (13)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (13)
  • École doctorale Sciences et technologies de l'information et de la communication (13)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (13)
  • École doctorale de l'École pratique des hautes études (Paris) (13)
  • École doctorale physiologie, physiopathologie et thérapeutique (13)
  • École doctorale sciences de gestion (Grenoble) (13)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (13)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (12)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (Cergy-Pontoise, Val d'Oise) (12)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (12)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (12)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (12)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (12)
  • École doctorale Sciences pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (12)
  • École doctorale Écologie Géosciences Agronomie Alimentation (Rennes) (12)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (11)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (11)
  • Toulouse School of Economics (10)
  • École Doctorale Neurosciences et Cognition (NSCo) (10)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (10)
  • École doctorale Abbé Grégoire (Paris) (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 Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 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 Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-....) (10)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (10)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (10)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (10)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (9)
  • SESAMES - Ecole Doctorale Lorraine de Chimie et Physique Moléculaires (9)
  • École Doctorale Sciences de la Matière (Toulouse) (9)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (9)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (9)
  • École doctorale Ondes et matière (Orsay, Essonne ; 2015-....) (9)
  • École doctorale Pierre Louis de santé publique : épidémiologie et sciences de l'information biomédicale (Paris ; 2000-....) (9)
  • École doctorale SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (9)
  • École doctorale Sciences du végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (9)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (9)
  • École doctorale de l'École des hautes études en sciences sociales (9)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (8)
  • Ecole doctorale Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (Paris) (8)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (8)
  • Mathématiques Informatique Télécommunications de Toulouse (8)
  • Sciences Chimiques (Montpellier ; École Doctorale ; 2015-....) (8)
  • École doctorale Aéronautique-Astronautique (Toulouse) (8)
  • École doctorale Biologie-Santé Nantes-Angers (8)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (8)
  • École doctorale Matière, Molécules et Matériaux (Le Mans) (8)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (8)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (8)
  • École doctorale Sciences du mouvement humain (Marseille) (8)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (8)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (8)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (8)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (8)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (8)
  • Ecole doctorale Sciences du Végétal (1992-2015 ; Orsay, Essonne) (7)
  • Ecole doctorale Sciences et technologies (Orléans) (7)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (7)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (7)
  • École doctorale Philosophie (Paris) (7)
  • École doctorale SIReNa - Science et ingénierie des ressources naturelles (Lorraine) (7)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (7)
  • École doctorale Sciences, technologie et santé (Amiens) (7)
  • École doctorale de Sciences Po (Paris) (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 Érasme (Villetaneuse, Seine-Saint-Denis) (7)
  • Ecole doctorale Santé, sciences, technologies (Tours) (6)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (6)
  • Ed Sis 488 (6)
  • École doctorale Arts, Lettres, Langues (Rennes) (6)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (6)
  • École doctorale Bio Sorbonne Paris Cité (Paris ; 2014-....) (6)
  • École doctorale C2MP - Chimie mécanique matériaux physique (Lorraine) (6)
  • École doctorale Cancérologie : biologie-médecine-santé (Villejuif, Val-de-Marne ; 2015-....) (6)
  • École doctorale Génétique, cellulaire, immunologie, infectiologie et développement (Paris ; ....-2013) (6)
  • École doctorale Hématologie, oncogenèse et biothérapies (Paris ; 2014-....) (6)
  • École doctorale Santé publique (Paris ; 2000-2015) (6)
  • École doctorale Sciences Biologiques et Santé (Limoges) (6)
  • École doctorale Sciences de l'homme et de la société (Tours ; 1996-2018) (6)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (6)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (6)
  • École doctorale Vie-Agro-Santé (Rennes) (6)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (6)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (6)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (6)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (5)
  • Sciences Ecologiques, Vétérinaires, Agronomiques et Bioingénieries (5)
  • École doctorale 58, Langues, Littératures, Cultures, Civilisations (Montpellier ; 2015-....) (5)
  • École doctorale Chimie moléculaire de Paris Centre (Paris) (5)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (5)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (5)
  • École doctorale Organisations, marchés, institutions (Créteil ; 2015-....) (5)
  • École doctorale Sciences du langage (Paris ; 1992-2019) (5)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (5)
  • École doctorale Sciences sociales (Lyon) (5)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (5)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (17)
  • Barkaoui Kamel (11)
  • Méhaut Jean-François (11)
  • Hacid Mohand Saïd (10)
  • Merz Stephan (10)
  • Naccache David (10)
  • Baudry Benoit (9)
  • Cavalli Ana (9)
  • Festor Olivier (9)
  • Kordon Fabrice (9)
  • Oquendo Flavio (9)
  • Pétrot Frédéric (9)
  • Rusinowitch Michaël (9)
  • Girard Antoine (8)
  • Maler Oded (8)
  • Termier Alexandre (8)
  • Toguyeni Abdoul Karim Armand (8)
  • Abdalla Michel (7)
  • Aït-Ameur Yamine (7)
  • Barais Olivier (7)
  • Bozga Dorel Marius (7)
  • Chanussot Jocelyn (7)
  • Faure Jean-Marc (7)
  • Fribourg Laurent (7)
  • Gaaloul Walid (7)
  • Haddad Serge (7)
  • Jensen Thomas (7)
  • Julliand Jacques (7)
  • Le Gall Pascale (7)
  • Lesage Jean-Jacques (7)
  • Morel Jean-Michel (7)
  • Ogier Jean-Marc (7)
  • Pointcheval David (7)
  • Shapiro Marc (7)
  • Allard Bruno (6)
  • Borrione Dominique (6)
  • Cohen Albert Henri (6)
  • Filali Mamoun (6)
  • Fouque Pierre-Alain (6)
  • Kheddar Abderrahmane (6)
  • Lafourcade Pascal (6)
  • Lakhnech Yassine (6)
  • Niel Eric (6)
  • Palma Noël de (6)
  • Prieur Christophe (6)
  • Sifakis Joseph (6)
  • Antoniu Gabriel (5)
  • Bach Francis (5)
  • Blackburn Patrick (5)
  • Bodeveix Jean-Paul (5)
  • Calvary Gaëlle (5)
  • Cortier Véronique (5)
  • Cortés Juan (5)
  • Dang Thao (5)
  • David Bertrand (5)
  • Delahaye David (5)
  • Delaune Stéphanie (5)
  • Demongeot Jacques (5)
  • Drira Khalil (5)
  • Dubois Catherine (5)
  • Gastin Paul (5)
  • Gaubert Stéphane (5)
  • Ghibaudo Gérard (5)
  • Girard Patrick (5)
  • Girault Alain (5)
  • Godart Claude (5)
  • Groz Roland (5)
  • Jard Claude (5)
  • Kirchner Claude (5)
  • Lanet Jean-Louis (5)
  • Le Thanh Nhan (5)
  • Mammar Amel (5)
  • Mateescu Radu (5)
  • Monniaux David (5)
  • Morin-Allory Katell (5)
  • Nicolaïdis Michael (5)
  • Palanque Philippe (5)
  • Percebois Christian (5)
  • Potet Marie-Laure (5)
  • Richard Jean-Pierre (5)
  • Riera Bernard (5)
  • Riveill Michel (5)
  • Rutten Eric (5)
  • Sagot Marie-France (5)
  • Santana Miguel (5)
  • Schoenauer Marc (5)
  • Segoufin Luc (5)
  • Teytaud Olivier (5)
  • Touili Tayssir (5)
  • Toumani Farouk (5)
  • Alami Rachid (4)
  • Amghar Youssef (4)
  • Aniorté Philippe (4)
  • Ausbourg Bruno d' (4)
  • Badr Youakim (4)
  • Bardin Sébastien (4)
  • Beigné Édith (4)
  • Bennis-Zeitouni Karine (4)
  • Bidan Christophe (4)
  • Blazy Sandrine (4)
  • Bon Philippe (4)
  • Bonald Thomas (4)
  • Boniol Frédéric (4)
  • Bonnin Jean-Marie (4)
  • Boulanger Frédéric (4)
  • Brunie Lionel (4)
  • Bérard Béatrice (4)
  • Canudas-de-Wit Carlos (4)
  • Castelluccia Claude (4)
  • Charoy François (4)
  • Chbeir Richard (4)
  • Collart-Dutilleul Simon (4)
  • Comet Jean-Paul (4)
  • Comon-Lundh Hubert (4)
  • Conchon Sylvain (4)
  • Consel Charles (4)
  • Couvreur Jean-Michel (4)
  • Dalibard Jean (4)
  • Demri Stéphane P. (4)
  • Devignes Marie-Dominique (4)
  • Donsez Didier (4)
  • Faugère Jean-Charles (4)
  • Faulon Jean-Loup (4)
  • Fernandez Jean-Claude (4)
  • Fesquet Laurent (4)
  • Filliat David (4)
  • Fournier Jacques J. A. (4)
  • Gasquet Olivier (4)
  • Gaussier Éric (4)
  • Haar Stefan (4)
  • Huchard Marianne (4)
  • Ibrahimbegovic Adnan (4)
  • Imine Abdessamad (4)
  • Iosif Radu (4)
  • Lalanda Philippe (4)
  • Laurat Julien (4)
  • Le Traon Yves (4)
  • Le Viol Isabelle (4)
  • Legay Axel (4)
  • Liberti Leo (4)
  • Loulergue Frédéric (4)
  • Louërat Marie-Minerve (4)
  • Lê Thi Hoai An (4)
  • Maag Stéphane (4)
  • Mallet Luc (4)
  • Marion Jean-Yves (4)
  • Markey Nicolas (4)
  • Marçais Benoît (4)
  • Maudet Nicolas (4)
  • Mokhtari Mounir (4)
  • Monteil Thierry (4)
  • Mosbah Mohamed (4)
  • Mourlin Fabrice (4)
  • Munier-Kordon Alix (4)
  • Muscholl Anca (4)
  • Nakagawa Elisa Yumi (4)
  • Napoli Amedeo (4)
  • Nicolle Christophe (4)
  • Nicot François (4)
  • Parissis Ioannis (4)
  • Pautet Laurent (4)
  • Pesty Sylvie (4)
  • Philippot Alexandre (4)
  • Pommereau Franck (4)
  • Pétin Jean-François (4)
  • Roux Olivier Henri (4)
  • Saitta Antonino Marco (4)
  • Salaün Gwen (4)
  • Shariat Ghodous Parisa (4)
  • Simonot-Lion Françoise (4)
  • Solnon Christine (4)
  • Sunyé Gerson (4)
  • Tata Samir (4)
  • Thomas Gaël (4)
  • Torres Lionel (4)
  • Travé-Massuyès Louise (4)
  • Velazco Raoul (4)
  • Vernadat François B. (4)
  • Walukiewicz Igor (4)
  • Wolff Burkhart (4)
  • Zaïdi Fatiha (4)
  • Afifi Hossam (3)
  • Alamir Mazen (3)
  • Alla Hassane Lotfi (3)
  • Alpan Gülgün (3)
  • Andreu David (3)
  • Aubry Jean-François (3)
  • Audra Philippe (3)
  • Azzag Hanane (3)
  • Ballier Nicolas (3)
  • Beaudouin-Lafon Michel (3)
  • Beldiceanu Nicolas (3)
  • Ben Amor Nahla (3)
  • Ben Yaghlane Boutheïna (3)
  • Bernot Gilles (3)
  • Berruet Pascal (3)
  • Berthomieu Bernard (3)
  • Bessière Christian (3)
  • Beyer Peter (3)
  • Blanch Renaud (3)

Directeurs de thèse :

Fullscreen

Domaines :

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

Domaines :

Fullscreen

5570 thèses pour Model checking

Mathématiques. Logique et fondements de l'informatique

Soutenue en 2015
thèse soutenue

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

Accéder en ligne
Informatique

Soutenue en 2003
thèse soutenue
Informatique

Soutenue le 30-09-2019
thèse soutenue

....Lakhotia. Static verification of worm and virus behaviorin binary executables using model checking. In IEEE Systems...

Accéder en ligne
Sûreté de logiciel et calcul de haute performance

Soutenue le 20-12-2011
thèse soutenue

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

Accéder en ligne
Informatique

Soutenue le 19-11-2014
thèse soutenue

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

Accéder en ligne
Informatique

Soutenue le 05-07-2018
thèse soutenue

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

Accéder en ligne

Malware (virus) detection using model checking

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

Ingenierie informatique

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

Résultats 1 à 10