Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (321)
  • Grenoble (292)
  • Paris Saclay (285)
  • Lyon (157)
  • Paris 6 (119)
  • Rennes 1 (102)
  • Bordeaux (98)
  • Toulouse 3 (94)
  • Paris Sciences et Lettres (93)
  • Montpellier (88)
  • Université de Lorraine (87)
  • Paris Est (74)
  • Sorbonne Paris Cité (72)
  • Aix-Marseille (57)
  • Paris 11 (45)
  • Paris, CNAM (44)
  • Pau (40)
  • Brest (36)
  • Côte d'Azur (36)
  • Dijon (36)
  • Ecole centrale de Lille (35)
  • Normandie (31)
  • Toulouse, INPT (31)
  • Paris 5 (30)
  • Orléans (29)
  • Paris 1 (28)
  • Toulouse, ISAE (28)
  • Clermont Auvergne (27)
  • Nantes (27)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (25)
  • Cachan, Ecole normale supérieure (24)
  • La Rochelle (24)
  • Lorient (24)
  • Toulouse, INSA (24)
  • Besançon (23)
  • Bourgogne Franche-Comté (23)
  • Nice (23)
  • Clermont-Ferrand 2 (21)
  • Lyon 1 (21)
  • Paris, ENSAM (21)
  • Paris 10 (20)
  • Strasbourg (20)
  • Lyon, INSA (18)
  • Tours (18)
  • Troyes (17)
  • Compiègne (16)
  • Evry, Institut national des télécommunications (15)
  • Lille 2 (15)
  • Toulouse 1 (15)
  • Limoges (14)
  • Paris, ENST (14)
  • Rennes, INSA (13)
  • Montpellier 2 (12)
  • Paris 7 (12)
  • Paris, Ecole normale supérieure (12)
  • Reims (12)
  • Angers (11)
  • Belfort-Montbéliard (11)
  • Mulhouse (11)
  • Artois (10)
  • Avignon (10)
  • Bordeaux 1 (10)
  • Cergy-Pontoise (10)
  • Ecole centrale de Nantes (10)
  • Grenoble INPG (10)
  • Paris 3 (10)
  • Sorbonne université (10)
  • Université libanaise (10)
  • Valenciennes (10)
  • Ecully, Ecole centrale de Lyon (9)
  • Grenoble 1 (9)
  • Nancy 1 (8)
  • La Réunion (7)
  • Le Mans (7)
  • Montpellier, SupAgro (7)
  • Paris, EPHE (7)
  • Paris, Muséum national d'histoire naturelle (7)
  • Poitiers (7)
  • Toulouse 2 (7)
  • Evry-Val d'Essonne (6)
  • Rennes 2 (6)
  • Rennes, Agrocampus Ouest (6)
  • Università degli studi La Sapienza (Rome) (6)
  • Bordeaux 3 (5)
  • CentraleSupélec (5)
  • Ecole nationale des Mines d'Albi-Carmaux (5)
  • Lille 1 (5)
  • Littoral (5)
  • Toulon (5)
  • Universidade de São Paulo (Brésil) (5)
  • Université de Sherbrooke (Québec, Canada) (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (5)
  • Amiens (4)
  • Nantes, Ecole nationale vétérinaire (4)
  • Paris 8 (4)
  • Paris, EHESS (4)
  • Paris, Institut d'études politiques (4)
  • Universidade estadual de Campinas (Brésil) (4)
  • Université de Carthage (Tunisie) (4)
  • Université du Luxembourg (4)
  • Université libre de Bruxelles (1970-....) (4)
  • Université normale de la Chine de l'Est (Shanghai) (4)
  • Versailles-St Quentin en Yvelines (4)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (4)
  • Antilles (3)
  • Bordeaux 4 (3)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (3)
  • Chambéry (3)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (3)
  • Clermont-Ferrand 1 (3)
  • Ecole centrale de Marseille (3)
  • Le Havre (3)
  • Lille 3 (3)
  • Montpellier 3 (3)
  • Palaiseau, Ecole polytechnique (3)
  • Paris 9 (3)
  • Perpignan (3)
  • Rennes, École normale supérieure (3)
  • Saint-Etienne (3)
  • Universidad de Sevilla (Espagne) (3)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (3)
  • Universiteit Leiden (Leyde, Pays-Bas) (3)
  • Università degli studi (Turin, Italie) (3)
  • Université de Liège (3)
  • Université de Yaoundé I (3)
  • École nationale d'ingénieurs de Tunis (Tunisie) (3)
  • Bordeaux 2 (2)
  • Châtenay-Malabry, Ecole centrale de Paris (2)
  • Ecole Nationale des Sciences de l'Informatique (2)
  • Ecole polytechnique (Montréal, Canada) (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)
  • Paris, AgroParisTech (2)
  • Pontifícia universidade católica (Rio de Janeiro, Brésil) (2)
  • Rouen, INSA (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)
  • Universidad del País Vasco (2)
  • Universidade de Lisboa (2)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (2)
  • Universiteit Antwerpen (2)
  • Universiteit van Amsterdam (2)
  • University of Minnesota (2)
  • Università degli studi (Cassino, Italie) (2)
  • Università degli studi (Milan, Italie) (2)
  • Università degli studi (Palerme, 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é de Sfax (Tunisie) (2)
  • Université de Sfax. Faculté des sciences (2)
  • Université de Sfax. Faculté des sciences. Département de mathématiques (2)
  • Université de Tunis (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Université du Québec à Montréal (2)
  • Uniwersytet łódzki (2)
  • École nationale d'Ingénieurs de Monastir (Tunisie) (2)
  • 122 Université de Varsovie (1)
  • 126 Aristote Univ of Thessaloniki (1)
  • 216 - University Shandong (1)
  • 239 - Korea University (1)
  • Aalto University (1)
  • Académie des sciences de Russie (1)
  • Aix-Marseille 1 (1)
  • Albert-Ludwigs-Universität (Fribourg-en-Brisgau, Allemagne) (1)
  • Asian institute of technology (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)
  • Central China Normal University (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aéronautique (1)
  • Chennai Mathematical Institute (1)
  • Clemson university (1)
  • Colorado state university (1)
  • Corte (1)
  • Coventry University (1)
  • E.N.S. DE L'EST DE LA CHINE (1)
  • ENS (1)
  • Eberhard-Karls-Universität (Tübingen, Allemagne) (1)
  • Ecole Centrale de Lille (1)
  • Ecole nationale supérieure Mines-Télécom Lille Douai (1)
  • Ecole supérieure polytechnique d'Antsiranana (Madagascar) (1)
  • Ege Üniversitesi (Izmir, Turquie) (1)
  • Evry, Institut National des Télécommunications (1)
  • Faculté de droit et des sciences économiques de Phnom Penh (1)

Etablissements :

Fullscreen

Disciplines :

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

Disciplines :

Fullscreen

Ecoles Doctorales :

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

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (2091)
  • français (1363)
  • null (5)
  • espagnol (4)
  • portugais (2)
  • 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)
  • Pétrot Frédéric (9)
  • Baudry Benoit (8)
  • Kordon Fabrice (8)
  • Maler Oded (8)
  • Oquendo Flavio (8)
  • Termier Alexandre (8)
  • Bozga Dorel Marius (7)
  • Chanussot Jocelyn (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)
  • Julliand Jacques (6)
  • Kheddar Abderrahmane (6)
  • Lakhnech Yassine (6)
  • Prieur Christophe (6)
  • Sifakis Joseph (6)
  • Bodeveix Jean-Paul (5)
  • Dang Thao (5)
  • David Bertrand (5)
  • Drira Khalil (5)
  • Dubois Catherine (5)
  • Gastin Paul (5)
  • Girard Antoine (5)
  • Groz Roland (5)
  • Hacid Mohand Saïd (5)
  • Merz Stephan (5)
  • Morin-Allory Katell (5)
  • Nicolaïdis Michael (5)
  • Niel Eric (5)
  • Palma Noël de (5)
  • Richard Jean-Pierre (5)
  • Rutten Eric (5)
  • Santana Miguel (5)
  • Schoenauer Marc (5)
  • Amghar Youssef (4)
  • Aniorté Philippe (4)
  • Ausbourg Bruno d' (4)
  • Blazy Sandrine (4)
  • Boniol Frédéric (4)
  • Bérard Béatrice (4)
  • Canudas-de-Wit Carlos (4)
  • Castelluccia Claude (4)
  • Cavalli Ana (4)
  • Demongeot Jacques (4)
  • Donsez Didier (4)
  • Fouque Pierre-Alain (4)
  • Ghibaudo Gérard (4)
  • Girard Patrick (4)
  • Girault Alain (4)
  • Jensen Thomas (4)
  • Lafourcade Pascal (4)
  • Lalanda Philippe (4)
  • Lanet Jean-Louis (4)
  • Le Gall Pascale (4)
  • Le Thanh Nhan (4)
  • Lesage Jean-Jacques (4)
  • Léon Jean-Claude (4)
  • Mateescu Radu (4)
  • Mokhtari Mounir (4)
  • Monteil Thierry (4)
  • Mosbah Mohamed (4)
  • Mourlin Fabrice (4)
  • Muscholl Anca (4)
  • Nakagawa Elisa Yumi (4)
  • Ogier Jean-Marc (4)
  • Percebois Christian (4)
  • Pointcheval David (4)
  • Pommereau Franck (4)
  • Riera Bernard (4)
  • Sunyé Gerson (4)
  • Teytaud Olivier (4)
  • Thuiller Wilfried (4)
  • Touili Tayssir (4)
  • Toumani Farouk (4)
  • Walukiewicz Igor (4)
  • Wolff Burkhart (4)
  • Abdalla Michel (3)
  • Afifi Hossam (3)
  • Alami Rachid (3)
  • Alamir Mazen (3)
  • Alla Hassane Lotfi (3)
  • Alpan Gülgün (3)
  • Andreu David (3)
  • Badr Youakim (3)
  • Barais Olivier (3)
  • Beldiceanu Nicolas (3)
  • Berthomieu Bernard (3)
  • Blanch Renaud (3)
  • Bon Philippe (3)
  • Boochs Frank (3)
  • Bourcier Johann (3)
  • Boyer Edmond (3)
  • Brauner Nadia (3)
  • Brogliato Bernard (3)
  • Calvary Gaëlle (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)
  • Delahaye David (3)
  • Delaune Stéphanie (3)
  • Derrien Steven (3)
  • Dilillo Luigi (3)
  • Donard Olivier (3)
  • El Hadji Gamatié Abdoulaye (3)
  • Encrenaz Emmanuelle (3)
  • Faron-Zucker Catherine (3)
  • Fernandez Jean-Claude (3)
  • Fesquet Laurent (3)
  • Festor Olivier (3)
  • Forbes Florence (3)
  • Foufou Sebti (3)
  • Gaaloul Walid (3)
  • Gaborit Philippe (3)
  • Garambois Stéphane (3)
  • Garavel Hubert (3)
  • Gaubert Stéphane (3)
  • Gaussier Éric (3)
  • Genet Thomas (3)
  • Genevès Pierre (3)
  • Ghazel Mohamed (3)
  • Girard Philippe (3)
  • Gravier Guillaume (3)
  • Guidal Michel (3)
  • Hachem Elie (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)
  • Khalil Mohamad (3)
  • Kouchnarenko Olga (3)
  • Lang Frédéric (3)
  • Laurini Robert (3)
  • Layaida Nabil (3)
  • Lbath Ahmed (3)
  • Le Viol Isabelle (3)
  • Ledru Yves (3)
  • Lefèvre Sébastien (3)
  • Legay Axel (3)
  • Loulergue Frédéric (3)
  • Lê Thi Hoai An (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)
  • Mounier Laurent (3)
  • Mountassir Hassan (3)
  • Moy Matthieu (3)
  • Munier-Kordon Alix (3)
  • Nicolle Christophe (3)
  • Nicot François (3)
  • Pagetti Claire (3)
  • Palanque Philippe (3)
  • Parissis Ioannis (3)
  • Pautet Laurent (3)
  • Pazat Jean-Louis (3)
  • Philippot Alexandre (3)
  • Pichardie David (3)
  • Pierre Laurence (3)
  • Potet Marie-Laure (3)
  • Prieur Clémentine (3)
  • Pétin Jean-François (3)
  • Quéma Vivien (3)
  • Ramel Jean-Yves (3)
  • Ray Cyril (3)
  • Roux Olivier F. (3)
  • Roux Olivier Henri (3)
  • Rouzeyre Bruno (3)
  • Rueher Michel (3)
  • Rusinowitch Michaël (3)
  • Salaün Gwen (3)
  • Schnoebelen Philippe (3)
  • Sentieys Olivier (3)
  • Seznec André (3)
  • Shariat Ghodous Parisa (3)
  • Solnon Christine (3)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (1135)
  • Sciences de l'ingénieur (661)
  • Physique (323)
  • Sciences de la vie, biologie, biochimie (298)
  • Mathématiques (200)
  • Médecine et santé (155)
  • Sciences de la terre (115)
  • Chimie, minéralogie, cristallographie (93)
  • Economie (89)
  • Gestion et organisation de l'entreprise (71)
  • Informatique, information, généralités (62)
  • Astronomie, cartographie, géodésie (51)
  • Technologie (Sciences appliquées) (30)
  • Psychologie (28)
  • Agronomie, agriculture et médecine vétérinaire (25)
  • Sciences sociales, sociologie, anthropologie (18)
  • Langues et linguistique (18)
  • Génie chimique, technologies alimentaires (17)
  • Linguistique générale (16)
  • Langue anglaise. Anglo-saxon (14)
  • Fabrication industrielle (13)
  • Science politique (12)
  • Sciences de la nature et mathématiques (12)
  • Education et enseignement (11)
  • Philosophie, psychologie (10)
  • Animaux. Zoologie (10)
  • Sport (9)
  • Littératures anglaise et anglo-saxonne (9)
  • Géographie et voyages (9)
  • Droit (8)
  • Epistémologie, causalité, genre humain (7)
  • Bâtiments (5)
  • Bibliothéconomie et sciences de l'information (4)
  • Statistiques générales (4)
  • Autres langues (4)
  • Plantes. Botanique (4)
  • Urbanisme (4)
  • Médias d'information, journalisme, édition (3)
  • Commerce, communications, transports (3)
  • Arts du spectacle, loisirs (3)
  • Géographie et histoire (3)
  • Morale (éthique) (2)
  • Problèmes et services sociaux (2)
  • Ethnologie (2)
  • Langues espagnole et portugaise (2)
  • Arts. Beaux-arts et arts décoratifs (2)
  • Architecture (2)
  • Histoire et critique littéraires, rhétorique (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)
  • Langues romanes. Français (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

3299 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 - Sorbonne Paris Cité

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. - Sorbonne Paris Cité

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, Olivier Naud et de Karen Godary-dejean. - Montpellier

SYAM - Systèmes Automatiques et Micro-Électroniques

En préparation depuis le 01-10-2015
 thèse en cours de préparation
Soutenance prévue le 20-06-2019

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