Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (355)
  • Grenoble Alpes (353)
  • Grenoble (292)
  • Lyon (195)
  • Paris 6 (128)
  • Rennes 1 (120)
  • Paris Sciences et Lettres (113)
  • Bordeaux (109)
  • Toulouse 3 (107)
  • Montpellier (100)
  • Sorbonne Paris Cité (95)
  • Université de Lorraine (95)
  • Paris Est (82)
  • Aix-Marseille (78)
  • Paris, CNAM (48)
  • Paris 11 (47)
  • Pau (43)
  • Brest (42)
  • Côte d'Azur (41)
  • Toulouse, INPT (41)
  • Toulouse, ISAE (39)
  • Nantes (38)
  • Clermont Auvergne (37)
  • Dijon (37)
  • Normandie (36)
  • Ecole centrale de Lille (35)
  • Paris 1 (34)
  • Orléans (33)
  • Bourgogne Franche-Comté (30)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (30)
  • Paris 5 (30)
  • Toulouse 1 (30)
  • Lyon 1 (29)
  • Toulouse, INSA (29)
  • Lorient (26)
  • Cachan, Ecole normale supérieure (25)
  • La Rochelle (25)
  • Besançon (23)
  • Nice (23)
  • Paris, ENSAM (23)
  • Tours (22)
  • Clermont-Ferrand 2 (21)
  • Paris 10 (21)
  • Sorbonne université (21)
  • Belfort-Montbéliard (20)
  • Compiègne (20)
  • Lyon, INSA (20)
  • Strasbourg (20)
  • Troyes (18)
  • Evry, Institut national des télécommunications (16)
  • Lille 2 (16)
  • Limoges (16)
  • Reims (16)
  • Angers (14)
  • Cergy-Pontoise (14)
  • Paris, ENST (14)
  • Ecole centrale de Nantes (13)
  • Montpellier 2 (13)
  • Rennes, INSA (13)
  • Paris 7 (12)
  • Paris, Ecole normale supérieure (12)
  • Bordeaux 1 (11)
  • Ecully, Ecole centrale de Lyon (11)
  • Mulhouse (11)
  • Paris, Muséum national d'histoire naturelle (11)
  • Université libanaise (11)
  • Valenciennes (11)
  • Artois (10)
  • Avignon (10)
  • Grenoble INPG (10)
  • Paris 3 (10)
  • Université Joseph Fourier (Grenoble) (9)
  • Le Mans (8)
  • Nancy 1 (8)
  • Paris, EPHE (8)
  • Toulouse 2 (8)
  • Amiens (7)
  • Evry-Val d'Essonne (7)
  • La Réunion (7)
  • Montpellier, SupAgro (7)
  • Poitiers (7)
  • Università degli studi La Sapienza (Rome) (7)
  • CentraleSupélec (6)
  • Littoral (6)
  • Rennes 2 (6)
  • Rennes, Agrocampus Ouest (6)
  • Toulon (6)
  • Université de Sherbrooke (Québec, Canada) (6)
  • Université normale de la Chine de l'Est (Shanghai) (6)
  • Bordeaux 3 (5)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (5)
  • Châtenay-Malabry, Ecole centrale de Paris (5)
  • Ecole nationale des Mines d'Albi-Carmaux (5)
  • Lille 1 (5)
  • Paris, Institut d'études politiques (5)
  • Universidade de São Paulo (Brésil) (5)
  • Université de Carthage (Tunisie) (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (5)
  • Antilles (4)
  • Brest, École nationale supérieure de techniques avancées Bretagne (4)
  • Ecole centrale de Marseille (4)
  • Lille 3 (4)
  • Nantes, Ecole nationale vétérinaire (4)
  • Paris 8 (4)
  • Paris 9 (4)
  • Paris, EHESS (4)
  • Perpignan (4)
  • Rennes, École normale supérieure (4)
  • Saint-Etienne (4)
  • Universidade estadual de Campinas (Brésil) (4)
  • Università degli studi (Turin, Italie) (4)
  • Université de Liège (4)
  • Université de Tunis (4)
  • Université du Luxembourg (4)
  • Université libre de Bruxelles (1970-....) (4)
  • Versailles-St Quentin en Yvelines (4)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (4)
  • École nationale d'ingénieurs de Tunis (Tunisie) (4)
  • Aix-Marseille 1 (3)
  • Bordeaux 4 (3)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (3)
  • Clermont-Ferrand 1 (3)
  • Le Havre (3)
  • Montpellier 3 (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 13 (3)
  • Paris, AgroParisTech (3)
  • Universidad de Sevilla (Espagne) (3)
  • Universidad del País Vasco (3)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Universiteit Leiden (Leyde, Pays-Bas) (3)
  • University of Western Sydney (3)
  • Université Savoie Mont Blanc (3)
  • Université de Sfax (Tunisie) (3)
  • Université de Yaoundé I (3)
  • Albert-Ludwigs-Universität (Fribourg-en-Brisgau, Allemagne) (2)
  • Bordeaux 2 (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)
  • IMT Mines Alès (2)
  • Institute of Computing Technologies (Pekin, Chine) (2)
  • Kungliga tekniska högskolan (Stockholm) (2)
  • Nantes, Ecole des Mines (2)
  • National Taiwan University (Taipei) (2)
  • Northwestern Polytechnical University (Chine) (2)
  • Norwegian university of science and technology (Trondheim, Norvège) (2)
  • Pontifícia universidade católica (Rio de Janeiro, Brésil) (2)
  • Rouen, INSA (2)
  • Saint-Etienne, EMSE (2)
  • Shandong University (Jinan, Chine) (2)
  • Technische Universität (Munich, Allemagne) (2)
  • UNIVERSIDADEFEDERALDEMINASGERAIS, UFMG (2)
  • Universidad católica de Chile (2)
  • Universidad de Chile (2)
  • Universidad de Concepción (Chili) (2)
  • Universidad de los Andes (Bogotá) (2)
  • Universidade de Lisboa (2)
  • Universiteit Antwerpen (2)
  • Universiteit van Amsterdam (2)
  • University of Minnesota (2)
  • Università degli studi (Cassino, Italie) (2)
  • Università degli studi (Florence, Italie) (2)
  • Università degli studi (Milan, Italie) (2)
  • Università degli studi (Palerme, Italie) (2)
  • Università degli studi (Pise, Italie) (2)
  • Università degli studi (Trente, Italie) (2)
  • Università degli studi di Modena e Reggio Emilia (2)
  • Universität Hannover (2)
  • Universität des Saarlandes (2)
  • Université Libanaise, école doctorale des sciences et technologies (2)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (2)
  • Université de Sfax. Faculté des sciences (2)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (2)
  • Université de Tsukuba (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Université de Tunis. Institut supérieur de gestion (Tunisie) (2)
  • Université du Québec à Montréal (2)
  • Uniwersytet łódzki (2)
  • École nationale d'Ingénieurs de Monastir (Tunisie) (2)
  • École nationale d'ingénieurs de Sfax (Tunisie) (2)
  • 122 Université de Varsovie (1)
  • 126 Aristote Univ of Thessaloniki (1)
  • 216 - University Shandong (1)
  • 239 - Korea University (1)
  • Aalto University (1)
  • Academia de ciencias de Cuba (1)
  • Académie des sciences de Russie (1)
  • Asian institute of technology (1)
  • Australian national university (1)
  • Beihang university (Pékin) (1)
  • Birkbeck college (Londres) (1)
  • Bourges, INSA Centre Val de Loire (1)
  • Brescki dzâržaǔny Ǔniversitet imâ A. S. Puškina (1)
  • Brno University of Technology (MAIS) (1)
  • Caen (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (1033)
  • Physique (121)
  • Sciences économiques (78)
  • Mathématiques appliquées (67)
  • Mathématiques (62)
  • Sciences de gestion (57)
  • Automatique (29)
  • Chimie (29)
  • Mécanique (29)
  • Informatique et applications (28)
  • Sciences et technologie industrielles (28)
  • Neurosciences (27)
  • Mathématiques et Informatique (23)
  • Psychologie (22)
  • Sciences de la vie et de la santé (22)
  • Génie électrique (20)
  • Mathématiques et informatique (19)
  • Nanoélectronique et nanotechnologie (19)
  • Robotique (19)
  • Sciences de la vie (19)
  • Systèmes automatiques et micro-électroniques (19)
  • Matériaux, Mécanique, Génie civil, Electrochimie (18)
  • Génie civil (17)
  • Stic (17)
  • Matériaux, mécanique, génie civil, électrochimie (16)
  • Sciences de l'univers (15)
  • Sciences du langage (15)
  • Automatique - productique (14)
  • Nano electronique et nano technologies (14)
  • Astronomie et Astrophysique (13)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (13)
  • Physique de la matière condensée et du rayonnement (13)
  • Aspects moléculaires et cellulaires de la biologie (12)
  • Biologie (12)
  • Electronique (12)
  • Génie mécanique (12)
  • Sciences agronomiques (12)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (11)
  • Informatique et réseaux (11)
  • Physique des particules (11)
  • Physique subatomique et astroparticules (11)
  • Réseaux, information et communications (11)
  • Acoustique (10)
  • Instrumentation et informatique de l'image (10)
  • Nanophysique (10)
  • Réseaux, télécom, système et architecture (10)
  • Science politique (10)
  • Automatique et productique (9)
  • Bioinformatique (9)
  • Ecologie (9)
  • Immunologie (9)
  • Philosophie (9)
  • Sciences de Gestion (9)
  • Sciences et technologies industrielles (9)
  • Signal, image, paroles, télécoms (9)
  • Astrophysique (8)
  • Biologie de l'environnement, des populations, écologie (8)
  • Dynamique des fluides (8)
  • Génie industriel (8)
  • Microbiologie (8)
  • Mécanique des fluides (8)
  • Mécanique numérique et Matériaux (8)
  • Optimisation et Sûreté des Systèmes (8)
  • Physique théorique (8)
  • Sciences cognitives (8)
  • Sciences de la Terre et de l'Univers et de l'Environnement (8)
  • Sciences de la terre et de l'univers, et de l'environnement (8)
  • Automatique, génie informatique, traitement du signal et images (7)
  • Biologie cellulaire (7)
  • Biologie marine (7)
  • Génie Civil (7)
  • Géosciences (7)
  • Informatique temps réel, robotique et automatique (7)
  • Mathématiques Appliquées (7)
  • Mathématiques fondamentales (7)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (6)
  • Biostatistiques (6)
  • Chimie organique (6)
  • Génie industriel conception et production (6)
  • Image, information, hypermedia (6)
  • Ingénierie Microbienne et Enzymatique (6)
  • Intelligence artificielle (6)
  • Matériaux (6)
  • Mécanique des solides (6)
  • Océanographie (6)
  • Physiologie et biologie des organismes - populations - interactions (6)
  • Physique des Particules et Astroparticules (6)
  • Physique pour les sciences du vivant (6)
  • Réseaux, Télécommunications, Systèmes et Architecture (6)
  • Sciences de l'information et de la communication (6)
  • Sciences economiques (6)
  • Signal image parole telecoms (6)
  • Électronique (6)
  • ATS - Automatique et Traitement de Signal (5)
  • Astroparticules et cosmologie (5)
  • Astrophysique et milieux dilues (5)
  • Automatique, Traitement du signal et des images, Génie informatique (5)
  • Biodiversité écologie environnement (5)
  • Biologie Santé (5)
  • Chimie et physico-chimie des matériaux (5)
  • Conception (5)
  • Droit (5)
  • Ecologie et biodiversité (5)
  • Genie electrique (5)
  • Génie Industriel (5)
  • Génie des Procédés et de l'Environnement (5)
  • Géographie (5)
  • Informatique et télécommunications (5)
  • Mathématiques aux interfaces (5)
  • Mécanique des fluides, procédés, énergétique (5)
  • Météorologie, océanographie, physique de l'environnement (5)
  • Physique des matériaux (5)
  • Sciences Economiques (5)
  • Sciences de l'alimentation (5)
  • Sciences et Techniques de l'Environnement (5)
  • Structure et réactions nucléaires (5)
  • Traitement du signal et télécommunications (5)
  • Virologie microbiologie immunologie (5)
  • Électronique, électrotechnique, automatique (5)
  • Études anglophones (5)
  • Anglais (4)
  • Astronomie et astrophysique (4)
  • Astrophysique, sciences de l'espace, planétologie (4)
  • Automatique, Génie informatique, Traitement du Signal et des Images (4)
  • Automatique, génie informatique, traitement du signal et image (4)
  • Automatique. Automatique, génie informatique (4)
  • Biochimie et biologie moléculaire (4)
  • Biologie des organismes (4)
  • Biostatistique (4)
  • Chimie biologie (4)
  • Chimie physique (4)
  • Energie, Rayonnement, Plasma (4)
  • Epidémiologie (4)
  • Génie Industriel : conception et production (4)
  • Génie des Procédés (4)
  • Génie des procédés (4)
  • Génie des procédés et des produits (4)
  • Génie mécanique, mécanique des matériaux (4)
  • Géochimie et écotoxicologie (4)
  • Géosciences et géoingénierie (4)
  • Informatique. Informatique fondamentale (4)
  • Langues et littératures anglaises et anglo-saxonnes (4)
  • Linguistique anglaise (4)
  • Mathematiques (4)
  • Mécanique-matériaux (4)
  • Physique des Particules (4)
  • Physique des accélérateurs (4)
  • Physique hadronique (4)
  • Physique. Physique de l'Univers (4)
  • Sciences (4)
  • Sciences appliquées (4)
  • Sciences de l'environnement (4)
  • Sciences de l'éducation (4)
  • Sciences de la Vie (4)
  • Sciences et Technologies de l'Information et de la Communication (4)
  • Sciences et génie des activités à risques (4)
  • Signal, Image, Automatique (4)
  • Sociologie (4)
  • Sureté de logiciel et calcul de haute performance (4)
  • Surfaces et interfaces continentales, hydrologie (4)
  • Systèmes automatiques et microélectroniques (4)
  • Sûreté de logiciel et calcul de haute performance (4)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (4)
  • Traitement du signal et de l'image (4)
  • Traitement du signal et des images (4)
  • Vision pour la Robotique (4)
  • Écologie (4)
  • Astrophysique, Sciences de l'Espace, Planétologie (3)
  • Automatique et informatique (3)
  • Automatique et informatique appliquée (3)
  • Automatique et informatique industrielle (3)
  • Automatique, Génie Informatique, Traitement du Signal et des Images (3)
  • Automatique, Productique, Signal et Image, Ingénierie cognitique (3)
  • Automatique, Traitement du signal et des images, Génie Informatique (3)
  • Automatique, génie informatique, traitement du signal et des images (3)
  • Automatique, productique et robotique (3)
  • Automatique, productique, signal et image, ingénierie cognitique (3)
  • Biogéochimie et écosystèmes (3)
  • Biologie et sciences de la santé (3)
  • Biologie structurale et nanobiologie (3)
  • Biophysique (3)
  • Biotechnologie (3)
  • Chimie analytique (3)
  • Complexité du Vivant (3)
  • Développement (3)
  • Ecologie, biodiversité et évolution (3)
  • Ecologie, évolution (3)
  • Economie et finance (3)
  • Environnement (3)
  • Ergonomie (3)
  • Génie Electrique (3)
  • Génie électrique et électronique - Cergy (3)
  • Histoire (3)
  • Imagerie et physique médicale (3)
  • Infectiologie (3)
  • Informatique (STIC) (3)
  • Informatique appliquée (3)
  • Informatique et mathématiques (3)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (3)
  • Intelligence Artificielle (3)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (223)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (111)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (104)
  • École doctorale Informatique, télécommunications et électronique (Paris) (92)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (88)
  • École doctorale physique (Grenoble) (85)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (80)
  • École doctorale en Informatique et Mathématiques de Lyon (80)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (66)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (59)
  • École doctorale Sciences pour l'Ingénieur (Lille) (58)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (53)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (52)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (51)
  • École doctorale Physique en Île-de-France (Paris) (45)
  • École doctorale chimie et science du vivant (Grenoble) (45)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (43)
  • I2S - Information, Structures, Systèmes (41)
  • École doctorale terre, univers, environnement (Grenoble) (39)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (37)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (36)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (34)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (34)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (33)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (33)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (31)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (30)
  • École doctorale Particules, Hadrons, Énergie, Noyau, Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne ; 2015-....) (30)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (30)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (29)
  • École doctorale Systèmes (Toulouse) (28)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (27)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (25)
  • École doctorale Cerveau, cognition, comportement (Paris) (25)
  • École doctorale Sciences fondamentales et appliquées (Nice) (23)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (23)
  • Ecole doctorale de Dauphine (Paris) (22)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (21)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (21)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (21)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (20)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (20)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (20)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (20)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (20)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (19)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (18)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (18)
  • MATHSTIC (18)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (18)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne ; 2015-....) (18)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (17)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (17)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (16)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (16)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (16)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (15)
  • École doctorale d'Économie (Paris) (15)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (15)
  • Ecole doctorale Informatique de Paris-Sud (14)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (14)
  • École doctorale Sciences de la nature et de l'Homme - Évolution et écologie (Paris) (14)
  • École doctorale Frontières de l'innovation en recherche et éducation (13)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (13)
  • École doctorale Biologie-Santé (Lille) (12)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 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 sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (12)
  • Ecole Doctorale Sciences de l'Environnement (Marseille) (11)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (11)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (11)
  • École Doctorale de Chimie (Lyon) (11)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (11)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (11)
  • École doctorale de l'École pratique des hautes études (Paris) (11)
  • École doctorale sciences de gestion (Grenoble) (11)
  • Toulouse School of Economics (10)
  • École doctorale Abbé Grégoire (Paris) (10)
  • École doctorale Biologie-Santé (Rennes) (10)
  • École doctorale Complexité du vivant (Paris) (10)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (10)
  • École doctorale Sciences pour l'ingénieur (Nantes) (10)
  • École doctorale de Physique et d’Astrophysique (Lyon) (10)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (10)
  • École doctorale Économie, organisations, société (Nanterre) (10)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (9)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt) (9)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (9)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (9)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (9)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne ; 2015-....) (9)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (8)
  • Mathématiques Informatique Télécommunications de Toulouse (8)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (8)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne ; 2015-....) (8)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (8)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne ; 2015-....) (8)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (8)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (8)
  • École doctorale Signalisations et réseaux intégratifs en biologie (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-....) (8)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (8)
  • École doctorale de Physique et Astrophysique de Lyon (8)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (8)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (8)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (8)
  • École doctorale Érasme (Villetaneuse, Seine-Saint-Denis) (8)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (7)
  • Sciences et Technologies de l'Information et de la Communication (7)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (7)
  • École Doctorale Neurosciences et Cognition (NSCo) (7)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (7)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (7)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (7)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (7)
  • École doctorale Euclide (La Rochelle ; 2018-....) (7)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (7)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (7)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (7)
  • École doctorale Sciences, technologie et santé (Amiens) (7)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (7)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (7)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (7)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (7)
  • École doctorale Études anglophones, germanophones, et européennes (2009-2019 ; Paris) (7)
  • Biologie-Santé (6)
  • EGAAL (6)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (Cergy-Pontoise, Val d'Oise) (6)
  • SIE - Sciences, Ingénierie et Environnement (6)
  • École Doctorale Sciences de la Matière (Toulouse) (6)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (6)
  • École doctorale Arts, Lettres, Langues (Rennes) (6)
  • École doctorale Génétique, cellulaire, immunologie, infectiologie et développement (....-2013 ; Paris) (6)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (6)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (6)
  • École doctorale Philosophie (Paris) (6)
  • École doctorale Physique et chimie des matériaux (Paris) (6)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (6)
  • École doctorale Sciences de l'homme et de la société (Tours ; 1996-2018) (6)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (6)
  • École doctorale Sciences du mouvement humain (Marseille) (6)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (6)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (6)
  • École doctorale Sciences économiques et gestion (Lyon) (6)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (6)
  • École doctorale des sciences économiques, juridiques, politiques et de gestion (Clermont-Ferrand) (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)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (5)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (5)
  • Ecole Doctorale Cognition, Langage et Education (Aix-en-Provence) (5)
  • Ecole doctorale Sciences et technologies (Orléans) (5)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (5)
  • Ecole doctorale de Sciences du Langage (Paris) (5)
  • Sciences Chimiques Balard (5)
  • Sciences Ecologiques, Vétérinaires, Agronomiques et Bioingénieries (5)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris) (5)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (5)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (5)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (5)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (5)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (5)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (5)
  • École doctorale Sciences de la vie et de la santé (Sophia Antipolis, Alpes-Maritimes) (5)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (Orsay, Essonne ; 2015-....) (5)
  • École doctorale de Sciences Po (Paris) (5)
  • École doctorale des sciences chimiques (Talence, Gironde) (5)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (4)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (4)
  • Ecole doctorale Santé, sciences, technologies (Tours) (4)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (4)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (4)
  • Mathématiques et Informatique (4)
  • OMI - Organisations, Marchés, Institutions (4)
  • SMI - Sciences des Métiers de l'Ingénieur (4)
  • SNI - Sciences du Numérique et de l'Ingénieur (4)
  • Sciences Chimiques et Biologiques pour la Santé (4)
  • Sciences Mathématiques de Paris Centre (4)
  • École Doctorale Sciences de Gestion TSM (Toulouse) (4)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (4)
  • École doctorale Aéronautique-Astronautique (Toulouse) (4)
  • École doctorale Biologie-Santé Nantes-Angers (4)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (4)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (4)
  • École doctorale Humanités Nouvelles - Fernand Braudel (Lorraine) (4)
  • École doctorale Hématologie, oncogenèse et biothérapies (Paris) (4)
  • École doctorale Lettres, langues, spectacles (Nanterre) (4)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (4)
  • École doctorale SJPEG - Sciences Juridiques, Politiques, Economiques et de Gestion (Lorraine) (4)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (4)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (4)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (4)
  • École doctorale Vie-Agro-Santé (Rennes) (4)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (4)
  • École doctorale Végétal-Environnement-Nutrition-Agro-Alimentaire-Mer (Angers) (4)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (4)
  • École doctorale des Sciences chimiques (Talence ; Gironde) (4)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (4)
  • ED EM2PSI - Économie, Management, Mathématiques, Physique et Sciences Informatiques (3)
  • ED65 Sciences de la vie, santé, agronomie, environnement (3)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (2471)
  • français (1521)
  • null (5)
  • espagnol (5)
  • portugais (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 (16)
  • Barkaoui Kamel (11)
  • Méhaut Jean-François (10)
  • Oquendo Flavio (9)
  • Pétrot Frédéric (9)
  • Baudry Benoit (8)
  • Kordon Fabrice (8)
  • Maler Oded (8)
  • Termier Alexandre (8)
  • Bozga Dorel Marius (7)
  • Chanussot Jocelyn (7)
  • Hacid Mohand Saïd (7)
  • Haddad Serge (7)
  • Naccache David (7)
  • Toguyeni Abdoul Karim Armand (7)
  • Allard Bruno (6)
  • Aït-Ameur Yamine (6)
  • Borrione Dominique (6)
  • Filali Mamoun (6)
  • Girard Antoine (6)
  • Julliand Jacques (6)
  • Kheddar Abderrahmane (6)
  • Lakhnech Yassine (6)
  • Le Gall Pascale (6)
  • Merz Stephan (6)
  • Prieur Christophe (6)
  • Sifakis Joseph (6)
  • Bodeveix Jean-Paul (5)
  • Cavalli Ana (5)
  • Dang Thao (5)
  • David Bertrand (5)
  • Drira Khalil (5)
  • Dubois Catherine (5)
  • Fouque Pierre-Alain (5)
  • Gastin Paul (5)
  • Ghibaudo Gérard (5)
  • Groz Roland (5)
  • Jensen Thomas (5)
  • Lanet Jean-Louis (5)
  • Morin-Allory Katell (5)
  • Nicolaïdis Michael (5)
  • Niel Eric (5)
  • Ogier Jean-Marc (5)
  • Palma Noël de (5)
  • Percebois Christian (5)
  • Richard Jean-Pierre (5)
  • Rutten Eric (5)
  • Santana Miguel (5)
  • Schoenauer Marc (5)
  • Abdalla Michel (4)
  • Amghar Youssef (4)
  • Aniorté Philippe (4)
  • Ausbourg Bruno d' (4)
  • Badr Youakim (4)
  • Blazy Sandrine (4)
  • Boniol Frédéric (4)
  • Bérard Béatrice (4)
  • Calvary Gaëlle (4)
  • Canudas-de-Wit Carlos (4)
  • Castelluccia Claude (4)
  • Demongeot Jacques (4)
  • Donsez Didier (4)
  • Festor Olivier (4)
  • Girard Patrick (4)
  • Lafourcade Pascal (4)
  • Lalanda Philippe (4)
  • Le Thanh Nhan (4)
  • Le Viol Isabelle (4)
  • Legay Axel (4)
  • Lesage Jean-Jacques (4)
  • Léon Jean-Claude (4)
  • Mammar Amel (4)
  • Mateescu Radu (4)
  • Mokhtari Mounir (4)
  • Monteil Thierry (4)
  • Mosbah Mohamed (4)
  • Mourlin Fabrice (4)
  • Muscholl Anca (4)
  • Nakagawa Elisa Yumi (4)
  • Nicolle Christophe (4)
  • Nicot François (4)
  • Palanque Philippe (4)
  • Pointcheval David (4)
  • Pommereau Franck (4)
  • Riera Bernard (4)
  • Sagot Marie-France (4)
  • Salaün Gwen (4)
  • Shariat Ghodous Parisa (4)
  • Sunyé Gerson (4)
  • Teytaud Olivier (4)
  • Thuiller Wilfried (4)
  • Touili Tayssir (4)
  • Toumani Farouk (4)
  • Travé-Massuyès Louise (4)
  • Walukiewicz Igor (4)
  • Wolff Burkhart (4)
  • Afifi Hossam (3)
  • Alami Rachid (3)
  • Alamir Mazen (3)
  • Alla Hassane Lotfi (3)
  • Alpan Gülgün (3)
  • Andreu David (3)
  • Antoniu Gabriel (3)
  • Bach Francis (3)
  • Ballier Nicolas (3)
  • Barais Olivier (3)
  • Beigné Édith (3)
  • Beldiceanu Nicolas (3)
  • Ben Yaghlane Boutheïna (3)
  • Bernot Gilles (3)
  • Berruet Pascal (3)
  • Berthomieu Bernard (3)
  • Beyer Peter (3)
  • Blanch Renaud (3)
  • Bon Philippe (3)
  • Bonnin Jean-Marie (3)
  • Boochs Frank (3)
  • Bouajjani Ahmed (3)
  • Boughanem Mohand (3)
  • Bourcier Johann (3)
  • Bouyer-Decitre Patricia (3)
  • Boyer Edmond (3)
  • Brauner Nadia (3)
  • Brogliato Bernard (3)
  • Chalon René (3)
  • Chen Liming (3)
  • Claramunt Christophe (3)
  • Clermidy Fabien (3)
  • Collart-Dutilleul Simon (3)
  • Combescure Alain (3)
  • Comet Jean-Paul (3)
  • Comyn-Wattiau Isabelle (3)
  • Conchon Sylvain (3)
  • Couvreur Jean-Michel (3)
  • Cracowski Jean-Luc (3)
  • Cuppens Frédéric (3)
  • Dague Philippe (3)
  • Dalibard Jean (3)
  • De Vreyer Philippe (3)
  • Delahaye David (3)
  • Delaune Stéphanie (3)
  • Derrien Steven (3)
  • Dilillo Luigi (3)
  • Donard Olivier (3)
  • Dony Christophe (3)
  • El Hadji Gamatié Abdoulaye (3)
  • Encrenaz Emmanuelle (3)
  • Faiz Rim (3)
  • Faron-Zucker Catherine (3)
  • Fernandez Jean-Claude (3)
  • Fesquet Laurent (3)
  • Forbes Florence (3)
  • Foufou Sebti (3)
  • Fribourg Laurent (3)
  • Gaaloul Walid (3)
  • Gaborit Philippe (3)
  • Garambois Stéphane (3)
  • Garavel Hubert (3)
  • Garoche Pierre-Loïc (3)
  • Gaubert Stéphane (3)
  • Gaussier Éric (3)
  • Gaïti Dominique (3)
  • Genet Thomas (3)
  • Genevès Pierre (3)
  • Ghazel Mohamed (3)
  • Girard Philippe (3)
  • Girault Alain (3)
  • Graf Susanne (3)
  • Gravier Guillaume (3)
  • Guidal Michel (3)
  • Hachem Elie (3)
  • Henrion Didier (3)
  • Hill David R. C. (3)
  • Huchard Marianne (3)
  • Héam Pierre-Cyrille (3)
  • Iosif Radu (3)
  • Jard Claude (3)
  • Jong Hidde de (3)
  • Kaafar Mohamed Ali (3)
  • Kerbiriou Christian (3)
  • Khalil Mohamad (3)
  • Kheddouci Hamamache (3)
  • Kouchnarenko Olga (3)
  • Lang Frédéric (3)
  • Laurini Robert (3)
  • Layaida Nabil (3)
  • Lbath Ahmed (3)
  • Ledru Yves (3)
  • Lefèvre Sébastien (3)
  • Loulergue Frédéric (3)
  • Lê Thi Hoai An (3)
  • Maag Stéphane (3)
  • Martin Hervé (3)
  • Maudet Nicolas (3)
  • Meunier Tristan (3)
  • Misbah Chaouqi (3)
  • Monfroy Éric (3)
  • Monniaux David (3)
  • Montagnat Johan (3)
  • Moschetta Jean-Marc (3)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1269)
  • Sciences de l'ingénieur (752)
  • Physique (373)
  • Sciences de la vie, biologie, biochimie (352)
  • Mathématiques (233)
  • Médecine et santé (201)
  • Sciences de la terre (132)
  • Chimie, minéralogie, cristallographie (114)
  • Economie (110)
  • Gestion et organisation de l'entreprise (84)
  • Informatique, information, généralités (70)
  • Astronomie, cartographie, géodésie (57)
  • Psychologie (36)
  • Technologie (Sciences appliquées) (34)
  • Agronomie, agriculture et médecine vétérinaire (30)
  • Sciences sociales, sociologie, anthropologie (23)
  • Langues et linguistique (22)
  • Linguistique générale (21)
  • Génie chimique, technologies alimentaires (20)
  • Science politique (15)
  • Langue anglaise. Anglo-saxon (14)
  • Animaux. Zoologie (14)
  • Fabrication industrielle (14)
  • Sciences de la nature et mathématiques (13)
  • Philosophie, psychologie (12)
  • Education et enseignement (12)
  • Droit (11)
  • Sport (10)
  • Géographie et voyages (10)
  • Littératures anglaise et anglo-saxonne (9)
  • Epistémologie, causalité, genre humain (7)
  • Plantes. Botanique (6)
  • Bibliothéconomie et sciences de l'information (5)
  • Autres langues (5)
  • Bâtiments (5)
  • Urbanisme (5)
  • Médias d'information, journalisme, édition (4)
  • Statistiques générales (4)
  • Commerce, communications, transports (3)
  • Arts du spectacle, loisirs (3)
  • Histoire et critique littéraires, rhétorique (3)
  • Géographie et histoire (3)
  • Morale (éthique) (2)
  • Problèmes et services sociaux (2)
  • Ethnologie (2)
  • Langues romanes. Français (2)
  • Langues espagnole et portugaise (2)
  • Arts. Beaux-arts et arts décoratifs (2)
  • Architecture (2)
  • Littérature américaine en anglais (2)
  • Littérature de langues romanes. Littérature française (2)
  • Littératures espagnole et portugaise (2)
  • Histoire générale de l'Amérique du Nord (2)
  • Philosophie occidentale moderne et philosophies non orientales (1)
  • Religion (1)
  • Autres religions (1)
  • Paléontologie. Paléozoologie (1)
  • Arts graphiques (1)
  • Photographie et les photographies, art numérique (1)
  • Musique (1)
  • Histoire ancienne et préhistoire (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

3800 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
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

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

Model checking de codes binaires exécutables

par Xin Ye sous la direction de Tayssir Touili et de Jifeng He. - Université de Paris (2019-....)

Informatique

En préparation depuis le 09-12-2014
 thèse en cours de préparation
Soutenance prévue le 30-09-2019

Model-checking pour l'agriculture de précision

par Rim Saddem (Yagoubi) sous la direction de Didier Crestani - Montpellier

SYAM - Systèmes Automatiques et Micro-Électroniques

Soutenue le 20-06-2019
 thèse en cours de préparation

...Symposium on Model Checking of Software(SPIN’13), volume 7976 of Lecture Notes in Computer Science, pages 81...

Accéder en ligne

Résultats 1 à 10