Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (230)
  • Grenoble Alpes (224)
  • Paris Saclay (149)
  • Lyon (71)
  • Rennes 1 (56)
  • Paris 6 (55)
  • Bordeaux (46)
  • Toulouse 3 (46)
  • Paris Est (43)
  • Aix-Marseille (41)
  • Montpellier (41)
  • Paris Sciences et Lettres (38)
  • Université de Lorraine (37)
  • Paris, CNAM (29)
  • Dijon (27)
  • Pau (27)
  • Ecole centrale de Lille (26)
  • Paris 11 (25)
  • Orléans (24)
  • Sorbonne Paris Cité (24)
  • Côte d'Azur (23)
  • Brest (22)
  • Lorient (19)
  • Toulouse, INPT (17)
  • Troyes (17)
  • Nice (16)
  • Paris 1 (16)
  • Paris 5 (16)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (14)
  • Nantes (14)
  • Strasbourg (14)
  • Besançon (12)
  • Evry, Institut national des télécommunications (12)
  • Normandie (12)
  • Paris 10 (12)
  • Avignon (11)
  • Paris 7 (11)
  • Toulouse, ISAE (11)
  • Clermont-Ferrand 2 (10)
  • Mulhouse (10)
  • La Rochelle (9)
  • Paris, ENSAM (9)
  • Paris, ENST (9)
  • Bourgogne Franche-Comté (8)
  • Clermont Auvergne (8)
  • Compiègne (8)
  • Le Mans (8)
  • Lille 2 (8)
  • Toulouse, INSA (8)
  • Tours (8)
  • Valenciennes (8)
  • Vandoeuvre-les-Nancy, INPL (8)
  • Cachan, Ecole normale supérieure (7)
  • Cergy-Pontoise (7)
  • Grenoble INPG (7)
  • Montpellier 2 (7)
  • Paris, ENMP (7)
  • Châtenay-Malabry, Ecole centrale de Paris (6)
  • Limoges (6)
  • Littoral (6)
  • Nancy 1 (6)
  • Paris, Ecole normale supérieure (6)
  • Rennes, INSA (6)
  • Montpellier, SupAgro (5)
  • Palaiseau, Ecole polytechnique (4)
  • Paris 3 (4)
  • Toulouse 1 (4)
  • University of Waterloo (Canada) (4)
  • Université de Yaoundé I (4)
  • Angers (3)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (3)
  • Clermont-Ferrand 1 (3)
  • East China Normal University (Shanghai) (3)
  • La Réunion (3)
  • Lyon, INSA (3)
  • Montpellier 3 (3)
  • Paris 4 (3)
  • Paris, Institut d'études politiques (3)
  • Perpignan (3)
  • Télécom Bretagne (3)
  • Universidad del País Vasco (3)
  • Universitatea politehnica (Bucarest) (3)
  • Université de Sherbrooke (Québec, Canada) (3)
  • Université du Québec à Montréal (3)
  • Vaulx-en-Velin, Ecole nationale des travaux publics (3)
  • École nationale d'ingénieurs de Tunis (Tunisie) (3)
  • Antilles (2)
  • Artois (2)
  • Belfort-Montbéliard (2)
  • Bordeaux 1 (2)
  • Bordeaux 3 (2)
  • Ecole centrale de Nantes (2)
  • Ecole nationale des Mines d'Albi-Carmaux (2)
  • Lille 1 (2)
  • Lille 3 (2)
  • Paris 13 (2)
  • Paris 8 (2)
  • Paris, Muséum national d'histoire naturelle (2)
  • Reims (2)
  • Rennes 2 (2)
  • Rennes, Agrocampus Ouest (2)
  • Strasbourg 1 (2)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (2)
  • Universidade de São Paulo (Brésil) (2)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (2)
  • Universitat politécnica de Catalunya (2)
  • Università degli studi (Cassino, Italie) (2)
  • Université Aristote (Thessalonique, Grèce) (2)
  • Université Joseph Fourier (Grenoble) (2)
  • Université d'Abomey-Calavi (Bénin) (2)
  • Université de Cocody (Abidjan, Côte d'Ivoire) (2)
  • Université de Montréal (2)
  • Université de Tunis El Manar (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Université libanaise (2)
  • Univerzita Karlova (Prague) (2)
  • Versailles-St Quentin en Yvelines (2)
  • Paris, ENMP (1)
  • 239 - Korea University (1)
  • ?cole Mohammadia d'ing?nieurs (Rabat, Maroc) (1)
  • Academia de Muzică Gheorghe Dima (Cluj-Napoca) (1)
  • Académie des Etudes Economiques de la Moldavie (1)
  • Amiens (1)
  • Asian institute of technology (1)
  • Bourges, INSA Centre Val de Loire (1)
  • Brno University of Technology (MAIS) (1)
  • C?te d'Azur (1)
  • Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (Mexico) (1)
  • Cergy-Pontoise, Ecole supérieure des sciences économiques et commerciales (1)
  • Chongqing university (1)
  • Colorado state university (1)
  • Columbia university (New York) (1)
  • Dalian Institute of Chemical Physics (Chine) (1)
  • Ecole centrale de Marseille (1)
  • Ecole nationale d'ingénieurs de Sfax (1)
  • Ecole polytechnique (Montréal, Canada) (1)
  • Ecully, Ecole centrale de Lyon (1)
  • Evry-Val d'Essonne (1)
  • Flinders university of South Australia (1)
  • Georgia State university (1)
  • Hôpital Sainte-Justine (Montréal, Canada) (1)
  • Inst.Tecno.y de Est.Sup.de Monterrey (1)
  • Institut National Agronomique de Tunisie (1)
  • Institut Polytechnique (Hanoï) (1)
  • Institut international d'ingénierie de l'eau et de l'environnement (1)
  • Institute for Physical Research (Ashtarak) (1)
  • Institute of Computing Technologies (Pekin, Chine) (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • Instituto nacional de pesquisas da Amazônia (Brésil) (1)
  • Instituto superior técnico (Lisbonne) (1)
  • Instytut biologii doświadczalnej im. M. Nenckiego (Pologne) (1)
  • International conference on the algebraic and arithmetic theory of quadratic forms (2002 ; Université de Talca, Talca, Chili) (1)
  • Istituto di Ricovero e Cura a Carattere Scientifico. Fondazione Casimiro Mondino (1)
  • Johannes-Kepler-Universität (Linz, Autriche) (1)
  • Jouy-en Josas, HEC (1)
  • Kazimierz Wielki University. Institute of Mechanics and Applied Computer Science, Bydgoszcz (Pologne) (1)
  • Kuban State agrarian university (1)
  • Kungliga tekniska högskolan (Stockholm) (1)
  • Laboratoire de catalyse organométallique et chimie de coordination (Liban) (1)
  • Le Havre (1)
  • Loughborough university (1)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Macquarie university (Sydney, Australie) (1)
  • Mahidol University (Bangkok, Thaïlande) (1)
  • Mahāwitthayālai Chīang Mai (1)
  • Malardalen University (1)
  • Martin-Luther-Universität Halle-Wittenberg (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Metz (1)
  • Montpellier 1 (1)
  • Northeastern University (Shenyang) (1)
  • Oldenburg, Carl v. Ossietzky Universität (1)
  • Orta Doğu teknik üniversitesi (Ankara) (1)
  • Panepistīmio Patrṓn (1)
  • Paris 12 (1)
  • Paris 2 (1)
  • Paris 9 (1)
  • Paris, AgroParisTech (1)
  • Paris, EPHE (1)
  • Poitiers (1)
  • Politechnika Gdańska (Pologne) (1)
  • Politechnika Warszawska (1)
  • Politechnika krakowska (1)
  • Politecnico di Milano (1)
  • Politecnico di Torino (1)
  • Pontifícia universidade católica (Rio de Janeiro, Brésil) (1)
  • Prove & Run (1)
  • Québec, Université Laval (1)
  • Rennes, École normale supérieure (1)
  • Rouen, INSA (1)
  • Saint Petersburg National Research University of Information Technologies, Mechanics and Optics (Saint-Pétersbourg) (1)
  • Saint-Etienne (1)
  • Saint-Etienne, EMSE (1)
  • School of law (Berkeley, Calif.) (1)
  • Seconda università degli studi (Naples, Italie) (1)
  • Seoul National University (1)
  • Sung Kyun Kwan university (Séoul) (1)
  • Supélec (1)
  • Technical University of chemistry and technology (Prague) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (504)
  • Physique (49)
  • Génie civil (26)
  • Sciences et technologie industrielles (26)
  • Sciences économiques (25)
  • Sciences de gestion (24)
  • Génie électrique (17)
  • Chimie (16)
  • Sciences de la vie et de la santé (16)
  • Nanoélectronique et nanotechnologie (15)
  • Neurosciences (14)
  • Mathématiques (12)
  • Mathématiques appliquées (12)
  • Mécanique (12)
  • Nano electronique et nano technologies (12)
  • Stic (12)
  • Biologie (11)
  • Informatique et applications (11)
  • Sciences de l'univers (11)
  • Mathématiques et Informatique (10)
  • Matériaux, mécanique, génie civil, électrochimie (10)
  • Sciences de la terre et de l'univers, et de l'environnement (10)
  • Géographie (9)
  • Matériaux, Mécanique, Génie civil, Electrochimie (9)
  • Psychologie (9)
  • Astronomie et Astrophysique (8)
  • Sciences de la vie (8)
  • Systèmes automatiques et micro-électroniques (8)
  • Automatique (7)
  • Biochimie et biologie moléculaire (7)
  • Biologie Santé (7)
  • Instrumentation et informatique de l'image (7)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (7)
  • Mécanique des fluides, procédés, énergétique (7)
  • Physique de la matière condensée et du rayonnement (7)
  • Sciences de la Terre et de l'Univers et de l'Environnement (7)
  • Sciences et technologies industrielles (7)
  • Sciences pour l'ingénieur (7)
  • Électronique (7)
  • Automatique et productique (6)
  • Génie Civil (6)
  • Génie industriel (6)
  • Mécanique des fluides (6)
  • Optimisation et Sûreté des Systèmes (6)
  • Robotique (6)
  • Sciences de l'information et de la communication (6)
  • Sciences des matériaux (6)
  • Signal, image, paroles, télécoms (6)
  • Traitement du signal et télécommunications (6)
  • Automatique et informatique industrielle (5)
  • Biodiversité écologie environnement (5)
  • Biologie marine (5)
  • Droit (5)
  • Electronique (5)
  • Genie electrique (5)
  • Mathématiques Appliquées (5)
  • Mathématiques et informatique (5)
  • Mécanique et énergétique (5)
  • Océan, atmosphère, hydrologie (5)
  • Sciences appliquées (5)
  • Sciences et Techniques de l'Environnement (5)
  • Acoustique (4)
  • Aspects moléculaires et cellulaires de la biologie (4)
  • Automatique - productique (4)
  • Automatique, génie informatique, traitement du signal et des images (4)
  • Energie, Rayonnement, Plasma (4)
  • Energétique (4)
  • Epidémiologie (4)
  • Génie Industriel (4)
  • Génie industriel conception et production (4)
  • Géotechnique (4)
  • Informatique et r?seaux (4)
  • Informatique, temps réel, robotique et automatique (4)
  • Microbiologie (4)
  • Mécanique, génie mécanique (4)
  • Médecine (4)
  • Nanophysique (4)
  • Pathologie, Toxicologie, Génétique et Nutrition (4)
  • Physique pour les sciences du vivant (4)
  • Sciences de Gestion (4)
  • Sciences de l'éducation (4)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (3)
  • Automatique, génie informatique, traitement du signal et images (3)
  • Biologie structurale et nanobiologie (3)
  • Biotechnologie, instrumentation, signal et imagerie pour la biologie, la médecine et l'environnement (3)
  • Droit public (3)
  • Dynamique des fluides (3)
  • Développement Durable (3)
  • Electronique et communications (3)
  • Génie Industriel : conception et production (3)
  • Génie des Procédés (3)
  • Génie des procédés (3)
  • Génie mécanique (3)
  • Ingénierie Microbienne et Enzymatique (3)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (3)
  • Micro et nanoélectronique (3)
  • Océanographie (3)
  • Physique des Particules et Astroparticules (3)
  • Physique des plasmas (3)
  • Science politique (3)
  • Sciences de l'alimentation (3)
  • Sciences de l'environnement (3)
  • Sciences de la Terre (3)
  • Sciences de la Vie et de la Santé (3)
  • Sciences du langage (3)
  • Sciences economiques (3)
  • Sciences et g?nie des activit?s ? risques (3)
  • Sciences et génie des matériaux (3)
  • Sciences politiques (3)
  • Sciences Économiques (3)
  • Sureté de logiciel et calcul de haute performance (3)
  • Surfaces et interfaces continentales, hydrologie (3)
  • Systèmes Mécaniques et Matériaux (3)
  • Terre solide (3)
  • Études anglophones (3)
  • Aménagement de l'espace, Urbanisme (2)
  • Arts (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Automatique, génie informatique, traitement du signal et image (2)
  • Biochimie (2)
  • Biologie cellulaire (2)
  • Biophysique (2)
  • Chimie - physique (2)
  • Chimie Analytique et Environnement (2)
  • Chimie analytique (2)
  • Chimie analytique et environnementale (2)
  • Chimie séparative, matériaux et procédés (2)
  • Ecologie fonctionnelle (2)
  • Electronique-Electrotechnique-Automatique (2)
  • Energétique et Procédés (2)
  • Energétique et Transferts (2)
  • Energétique, thermique et combustion (2)
  • Energétique, thermique, combustion (2)
  • Etudes anglophones (2)
  • Geographie (2)
  • Génie Electrique (2)
  • Génie Mécanique, Mécanique des Matériaux (2)
  • Génie civil et sciences de l'habitat (2)
  • Génie des Procédés et de l'Environnement (2)
  • Génie des procédés et des produits (2)
  • Génie des systèmes industriels (2)
  • Génie mécanique, mécanique des matériaux (2)
  • Génétique (2)
  • Géochimie (2)
  • Hydrogéologie (2)
  • Image, Vision, Signal (2)
  • Informatique et réseaux (2)
  • Informatique temps réel, robotique et automatique (2)
  • Informatique-traitement du signal (2)
  • Informatique. Systèmes et communication (2)
  • Ingénierie de la Cognition, de l'interaction, de l'Apprentissage et de la création (2)
  • Linguistique (2)
  • Linguistique anglaise (2)
  • Mathématiques et informatique. Automatique (2)
  • Mathématiques et modélisation (2)
  • Matière condensée et Nanosciences (2)
  • Matériaux, Mécanique, Optique et Nanotechnologie (2)
  • Mécanique - Génie civil (2)
  • Mécanique Avancée : Unité de recherche en Mécanique - Laboratoire Roberval (UMR-7337) (2)
  • Mécanique des matériaux (2)
  • Mécanique des solides (2)
  • Mécanique des solides, des matériaux, des structures et des surfaces (2)
  • Météorologie, océanographie, physique de l'environnement (2)
  • Neurosciences - Neurobiologie (2)
  • Océan, Atmosphère, Hydrologie (2)
  • Océan, atmosphère et climat (2)
  • Océanographie physique (2)
  • Oenologie (2)
  • Optique et radiofréquence (2)
  • Paléontologie (2)
  • Parasitologie (2)
  • Pathologie humaine. Maladies infectieuses (2)
  • Pharmacologie (2)
  • Pharmacotechnie et biopharmacie (2)
  • Philosophie (2)
  • Physiologie (2)
  • Physiologie-Physiopathogies-Pharmacologie (2)
  • Physique Quantique (2)
  • Physique appliquée (2)
  • Physique de l'environnement (2)
  • Physique et Chimie des Matériaux (2)
  • Physique. Matière condensée et interfaces (2)
  • Recherche clinique, innovation technologique, santé publique (2)
  • Réseaux, Télécommunications, Systèmes et Architecture (2)
  • Réseaux, télécom, système et architecture (2)
  • Réseaux, télécoms, systèmes et architecture (2)
  • Santé publique. Option Biostatistique (2)
  • Science et Génie des Matériaux (2)
  • Sciences de l'Environnement (2)
  • Sciences de l'ingénieur (2)
  • Sciences de la Vie (2)
  • Sciences de la planète et de l'univers (2)
  • Sciences de la terre (2)
  • Sciences du mouvement humain (2)
  • Sciences et Génie des Matériaux (2)
  • Sciences et Technologies de l'Information et de la Communication (2)
  • Sciences et techniques de l'environnement (2)
  • Sciences pour l'Ingénieur (2)
  • Signal et images (2)
  • Sociologie (2)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (149)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (85)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (48)
  • École doctorale Informatique, télécommunications et électronique (Paris) (42)
  • École doctorale terre, univers, environnement (Grenoble) (40)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (39)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (38)
  • École doctorale physique (Grenoble) (38)
  • École doctorale Sciences pour l'Ingénieur (Lille) (36)
  • École doctorale chimie et science du vivant (Grenoble) (30)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (26)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (23)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (22)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (22)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (21)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (20)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (20)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (18)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (17)
  • I2S - Information, Structures, Systèmes (17)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (16)
  • Sciences et Technologies de l'Information et de la Communication (16)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (16)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (16)
  • École doctorale en Informatique et Mathématiques de Lyon (16)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (15)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (15)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (13)
  • École doctorale Cerveau, cognition, comportement (Paris) (11)
  • École doctorale Mécanique, énergétique, génie civil et procédés (Toulouse) (11)
  • École doctorale Physique en Île-de-France (Paris) (11)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (11)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (10)
  • Ecole doctorale Informatique de Paris-Sud (10)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (10)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (10)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (10)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (9)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (9)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (9)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (9)
  • École doctorale Sciences fondamentales et appliquées (Nice) (9)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne) (9)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (9)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (9)
  • École doctorale sciences économiques (Grenoble) (9)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (9)
  • ?cole doctorale Informatique, t?l?communications et ?lectronique (Paris) (8)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (8)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (8)
  • École doctorale Biologie-Santé (Lille) (8)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (8)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (8)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (8)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (8)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (8)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (8)
  • École doctorale Systèmes (Toulouse) (8)
  • École doctorale d'Économie (Paris) (8)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (8)
  • ?cole doctorale Sciences des m?tiers de l'ing?nieur (Paris) (7)
  • MATHSTIC (7)
  • Sciences Chimiques et Biologiques pour la Santé (7)
  • École doctorale Sciences pour l'ingénieur (Nantes) (7)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (7)
  • Ecole doctorale Sciences et technologies (Orléans) (6)
  • Ecole doctorale de Dauphine (Paris) (6)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (6)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (6)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (6)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (6)
  • École doctorale Sciences de la matière (Rennes) (6)
  • École doctorale Sciences de la nature et de l'Homme. Évolution et écologie (Paris) (6)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (6)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (6)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (6)
  • Ecole Doctorale Sciences de l'Environnement (Marseille) (5)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (5)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (5)
  • École Doctorale Sciences de la Matière (Toulouse) (5)
  • École doctorale Abbé Grégoire (Paris) (5)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (5)
  • École doctorale Complexité du vivant (Paris) (5)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (5)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (5)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (5)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (5)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (5)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (5)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (5)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (5)
  • ?cole doctorale Sciences M?caniques et Energ?tiques, Mat?riaux et G?osciences (Cachan, Val-de-Marne) (4)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (4)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (4)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (4)
  • École Doctorale Neurosciences et Cognition (NSCo) (4)
  • École Doctorale de Chimie (Lyon) (4)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (4)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne) (4)
  • École doctorale Frontières du vivant (4)
  • École doctorale Particules, Hadrons, Énergie, Noyau, Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne) (4)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (4)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (4)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (4)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne) (4)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (4)
  • École doctorale de Physique et Astrophysique de Lyon (4)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (4)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (4)
  • École doctorale Économie, organisations, société (Nanterre) (4)
  • ?cole doctorale Sciences et Ing?nierie, Mat?riaux, Mod?lisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (3)
  • ?cole doctorale Sciences et ing?nierie (Cergy-Pontoise, Val d'Oise) (3)
  • Electrical,Optical,Bio: PHYSICS_AND_ENGINEERING (3)
  • MATISSE (3)
  • Mathématiques, Sciences et technologies de l'information, Informatique (3)
  • Mécanique, Energétique, Génie Civil, Procédés (3)
  • Sciences Ecologiques, Vétérinaires, Agronomiques et Bioingénieries (3)
  • Signalisations et Réseaux Intégratifs en Biologie (3)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (3)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (3)
  • École doctorale Bio Sorbonne Paris Cité (Paris) (3)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne) (3)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (3)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt) (3)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (3)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (3)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (2015-.... ; Châtenay-Malabry, Hauts-de-Seine) (3)
  • École doctorale Médicament, toxicologie, chimie, imageries (Paris) (3)
  • École doctorale Ondes et Matière (2015-.... ; Orsay, Essonne) (3)
  • École doctorale Physique et chimie des matériaux (Paris) (3)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne) (3)
  • École doctorale Sciences de la Terre et Environnement (Strasbourg ; 2000) (3)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (3)
  • École doctorale Sciences pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (3)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (3)
  • École doctorale Sciences sociales (Lyon) (3)
  • École doctorale Sciences économiques et gestion (Lyon) (3)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (3)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (3)
  • École doctorale de Sciences Po (Paris) (3)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (3)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne) (3)
  • École doctorale des sciences chimiques (Talence, Gironde) (3)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (3)
  • École doctorale sciences de gestion (Grenoble) (3)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (3)
  • École doctorale Éducation, langages, interactions, cognition, clinique (Nantes) (3)
  • École doctorale Énergie environnement (Perpignan) (3)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (3)
  • ?cole doctorale ?conomie, organisations, soci?t? (Nanterre) (2)
  • ?cole doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (2)
  • BioSE - Ecole Doctorale Biologie, Santé, Environnement (2)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (2)
  • Ecole Doctorale Sociétés, Politique, Santé publique (SP2) (Bordeaux) (2)
  • Ecole doctorale Arts et Métiers (Paris) (2)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (2)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (2)
  • Ecole doctorale Santé, sciences, technologies (Tours) (2)
  • Ecole doctorale Sciences Pour l'Ingénieur et Microtechniques (Besançon) (2)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne) (2)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (2)
  • Ecole doctorale sciences et technologies de Versailles (2010-2015) (2)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (Cergy-Pontoise, Val d'Oise) (2)
  • IAEM Lorraine (2)
  • MSTIC : Math?matiques et Sciences et Technologies de l'Information et de la Communication (2)
  • SIE - Sciences, Ing?nierie et Environnement (2)
  • SMI - Sciences des Métiers de l'Ingénieur (2)
  • Sciences Chimiques (Montpellier ; École Doctorale ; 2015-....) (2)
  • Sciences pour l'ingénieur (SPI) (2)
  • VIE-AGRO-SANTE (2)
  • VTT - Ville, Transports et Territoires (2)
  • École Doctorale Droit et Science Politique (Nanterre) (2)
  • École doctorale 60, Territoires, Temps, Sociétés et Développement (Montpellier ; 2015-....) (2)
  • École doctorale Biologie-Santé (Rennes) (2)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris) (2)
  • École doctorale Cognition, langage, interaction (Saint-Denis, Seine-Saint-Denis) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (2)
  • École doctorale Milieux, cultures et sociétés du passé et du présent (Nanterre) (2)
  • École doctorale Normande de biologie intégrative, santé, environnement (Mont-Saint-Aignan, Seine-Maritime) (2)
  • École doctorale Sciences de l'Homme et de la Société (Cachan, Val-de-Marne) (2)
  • École doctorale Sciences de l'environnement (Talence ; Gironde) (2)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (2)
  • École doctorale Sciences de la terre et de l'environnement et physique de l'univers (Paris) (2)
  • École doctorale Sciences de la vie et de la santé (Strasbourg ; 2000-....) (2)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (2015-.... ; Orsay, Essonne) (2)
  • École doctorale Sciences du mouvement humain (Marseille) (2)
  • École doctorale Sciences humaines et sociales (Rennes) (2)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (2)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (2)
  • École doctorale Ville et Environnement (Champs-sur-Marne, Seine-et-Marne) (2)
  • École doctorale biologie-santé - Bio-santé (Limoges ; 2009-2018) (2)
  • École doctorale de l'École pratique des hautes études (Paris) (2)
  • École doctorale des Sciences chimiques (Talence ; Gironde) (2)
  • École doctorale physiologie, physiopathologie et thérapeutique (2)
  • École doctorale École transdisciplinaire Lettres/Sciences (Paris) (2)
  • ?cole doctorale Environnements, Sant? (Dijon ; Besan?on ; 2012-....) (1)
  • ?cole doctorale Math?matiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • ?cole doctorale Ondes et Mati?re (2015-.... ; Orsay, Essonne) (1)
  • ?cole doctorale Sciences de l'Homme et de la Soci?t? (Cachan, Val-de-Marne) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (1099)
  • français (831)
  • espagnol (2)
  • polonais (1)
  • roumain (1)
  • slovène (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Jensen Thomas (12)
  • Méhaut Jean-François (12)
  • Bensalem Saddek (11)
  • Fesquet Laurent (8)
  • Maler Oded (8)
  • Barkaoui Kamel (7)
  • Baudry Benoit (7)
  • Bozga Dorel Marius (7)
  • Bacha Seddik (6)
  • Bard Pierre-Yves (6)
  • Loulergue Frédéric (6)
  • Marché Claude (6)
  • Naccache David (6)
  • Pétrot Frédéric (6)
  • Blazy Sandrine (5)
  • Ghibaudo Gérard (5)
  • Lakhnech Yassine (5)
  • Morin-Allory Katell (5)
  • Nicolaïdis Michael (5)
  • Oquendo Flavio (5)
  • Santana Miguel (5)
  • Termier Alexandre (5)
  • Toguyeni Abdoul Karim Armand (5)
  • Barthe Gilles (4)
  • Bouajjani Ahmed (4)
  • Dang Thao (4)
  • Dubois Catherine (4)
  • Giorgetti Alain (4)
  • Groz Roland (4)
  • Paulin-Mohring Christine (4)
  • Rutten Eric (4)
  • Schoenauer Marc (4)
  • Sentieys Olivier (4)
  • Sifakis Joseph (4)
  • Virieux Jean (4)
  • Wolff Burkhart (4)
  • Wurtz Étienne (4)
  • Anghel Lorena (3)
  • Aniorté Philippe (3)
  • Barais Olivier (3)
  • Barucq Hélène (3)
  • Besacier Laurent (3)
  • Brossier Romain (3)
  • Calvary Gaëlle (3)
  • Cassé Hugues (3)
  • Ciais Philippe (3)
  • Clauss Philippe (3)
  • Collart-Dutilleul Simon (3)
  • Criqui Patrick (3)
  • Di Ciaccio Lucia (3)
  • Donsez Didier (3)
  • Ducournau Roland (3)
  • Dupuy-Chessa Sophie (3)
  • El Kamel Abdelkader (3)
  • Fautrelle Yves (3)
  • Filliâtre Jean-Christophe (3)
  • Fradet Pascal (3)
  • Geiselmann Johannes (3)
  • Genet Thomas (3)
  • Girard Antoine (3)
  • Girard Patrick (3)
  • Girault Alain (3)
  • Gotlieb Arnaud (3)
  • Gökalp Iskender (3)
  • Hammadi Slim (3)
  • Iosif Radu (3)
  • Irigoin François (3)
  • Julliand Jacques (3)
  • Kheddar Abderrahmane (3)
  • Kouchnarenko Olga (3)
  • Le Tallec Patrick (3)
  • Marangozova Vania (3)
  • Maraninchi Florence (3)
  • Monniaux David (3)
  • Mounier Laurent (3)
  • Muller Jean-Michel (3)
  • Nicolle Christophe (3)
  • Palamidessi Catuscia (3)
  • Palma Noël de (3)
  • Pichardie David (3)
  • Rastello Fabrice (3)
  • Rimpault Gérald (3)
  • Rueher Michel (3)
  • Sainrat Pascal (3)
  • Santamarina Alain (3)
  • Schmid Cordelia (3)
  • Sunyé Gerson (3)
  • Tchuenté Maurice (3)
  • Thuiller Wilfried (3)
  • Woloszyn Monika (3)
  • Zwolinski Peggy (3)
  • Abadie Stéphane (2)
  • Adam Jean-François (2)
  • Afifi Hossam (2)
  • Agbossou Amen (2)
  • Aglzim El-Hassane (2)
  • Allenet Benoît (2)
  • Alpan Gülgün (2)
  • Andreu David (2)
  • Arnaud Fabien (2)
  • Audra Philippe (2)
  • Aït-Ameur Yamine (2)
  • Badel Adrien (2)
  • Barbier Franck (2)
  • Barthou Denis (2)
  • Bastin Sophie (2)
  • Bedouch Pierrick (2)
  • Benoit Anne (2)
  • Benzaken Véronique (2)
  • Berger Imre (2)
  • Beroulle Vincent (2)
  • Berruet Pascal (2)
  • Bhargavan Karthikeyan (2)
  • Biémi Jean (2)
  • Blanco Éric (2)
  • Boldo Sylvie (2)
  • Bon Philippe (2)
  • Bonastre Jean-François (2)
  • Bonilla Luis Fabián (2)
  • Boniol Frédéric (2)
  • Boochs Frank (2)
  • Borrione Dominique (2)
  • Bouchenak Sara (2)
  • Bourennane El-Bay (2)
  • Bousquet Lydie du (2)
  • Braud Isabelle (2)
  • Brogliato Bernard (2)
  • Cachera David (2)
  • Caire Raphaël (2)
  • Caplier Alice (2)
  • Casalis Grégoire (2)
  • Castelli Eric (2)
  • Castelluccia Claude (2)
  • Cavalli Ana Rosa (2)
  • Cazenave Anny (2)
  • Chaljub Emmanuel (2)
  • Chapurlat Vincent (2)
  • Charlet Laurent (2)
  • Chartron Ghislaine (2)
  • Chebbo Ghassan (2)
  • Cinquin Philippe (2)
  • Collavizza Hélène (2)
  • Collet Christine (2)
  • Collet Philippe (2)
  • Combemale Benoît (2)
  • Comyn-Wattiau Isabelle (2)
  • Cristoloveanu Sorin (2)
  • Debusschere Vincent (2)
  • Dehais Frédéric (2)
  • Delahaye David (2)
  • Demongeot Jacques (2)
  • Desreumaux Pierre (2)
  • Desrues Jacques (2)
  • Diedhiou Arona (2)
  • Donard Olivier (2)
  • Dony Christophe (2)
  • Dorioz Jean Marcel (2)
  • Dufour Frédéric (2)
  • Dumas Jean-Guillaume (2)
  • Estublier Jacky (2)
  • Estève François (2)
  • Estève Yannick (2)
  • Ewbank Jonathan (2)
  • Faulon Jean-Loup (2)
  • Fernandez Jean-Claude (2)
  • Flechet Bernard (2)
  • Formosa Fabien (2)
  • Fouché-Grobla Olivier (2)
  • Foufou Sebti (2)
  • François Bruno (2)
  • Galle Sylvie (2)
  • Garambois Stéphane (2)
  • Garavel Hubert (2)
  • Garbey Marc (2)
  • Garbolino Emmanuel (2)
  • Gastin Paul (2)
  • Gava Frédéric (2)
  • Genevès Pierre (2)
  • Gerbaud Laurent (2)
  • Ghazel Mohamed (2)
  • Goessler Gregor (2)
  • Gogniat Guy (2)
  • Goubault Éric (2)
  • Goubault-Larrecq Jean (2)
  • Goubin Louis (2)
  • Graf Susanne (2)
  • Gravier Guillaume (2)
  • Gribonval Rémi (2)
  • Guarnieri Franck (2)
  • Guéguen Philippe (2)
  • Guéron Jacqueline (2)
  • Gérard Sébastien (2)
  • Halbwachs Nicolas (2)
  • Hammad Ahmed (2)
  • Hassenforder Michel (2)
  • Hilaire Thibault (2)
  • Hill David R. C. (2)
  • Hoxha Dashnor (2)
  • Huvet Arnaud (2)
  • Isani Shaeda (2)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (588)
  • Sciences de l'ingénieur (433)
  • Sciences de la vie, biologie, biochimie (167)
  • Physique (163)
  • Sciences de la terre (108)
  • Médecine et santé (103)
  • Mathématiques (60)
  • Chimie, minéralogie, cristallographie (55)
  • Economie (40)
  • Gestion et organisation de l'entreprise (35)
  • Informatique, information, généralités (28)
  • Astronomie, cartographie, géodésie (23)
  • Technologie (Sciences appliquées) (19)
  • Psychologie (15)
  • Agronomie, agriculture et médecine vétérinaire (13)
  • Droit (12)
  • Sciences sociales, sociologie, anthropologie (10)
  • Science politique (9)
  • Génie chimique, technologies alimentaires (8)
  • Fabrication industrielle (8)
  • Philosophie, psychologie (7)
  • Plantes. Botanique (7)
  • Langue anglaise. Anglo-saxon (6)
  • Géographie et voyages (6)
  • Education et enseignement (5)
  • Langues et linguistique (5)
  • Linguistique générale (5)
  • Sciences de la nature et mathématiques (5)
  • Sport (5)
  • Bibliothéconomie et sciences de l'information (4)
  • Bâtiments (4)
  • Commerce, communications, transports (3)
  • Paléontologie. Paléozoologie (3)
  • Géographie et histoire (3)
  • Administration publique. Arts et science militaires (2)
  • Animaux. Zoologie (2)
  • Urbanisme (2)
  • Architecture (2)
  • Littératures anglaise et anglo-saxonne (2)
  • Histoire ancienne et préhistoire (2)
  • Ethnologie (1)
  • Langues romanes. Français (1)
  • Langues helléniques. Grec classique (1)
  • Fabrication de produits à usages spécifiques (1)
  • Photographie et les photographies, art numérique (1)
  • Musique (1)
  • Arts du spectacle, loisirs (1)
  • Histoire générale de l'Amérique du Nord (1)
  • Histoire générale de l'Amérique du Sud (1)

Domaines :

Fullscreen

1833 thèses pour Program verification

Informatique

Soutenue le 19-07-2018
thèse soutenue

...does p.84 CHAPTER 5. PROGRAM SLICING FOR VERIFICATION But on 2, q1 ends normally while p fails at line...

Accéder en ligne
Informatique

Soutenue le 14-01-2013
thèse soutenue

...’exécution.La génération de conditions de vérification est une technique censée aider le program-meur à prouver les...

Accéder en ligne

...-checking, static analysisor program proof. Formal software verification is becoming increasingly popular in the...

Accéder en ligne

...Automatic verifica-tion of finite-state concurrent systems using temporal logic specifications...

Accéder en ligne
Informatique, temps réel, robotique et automatique

Soutenue en 2010
thèse soutenue
Informatique

Soutenue le 28-04-2014
thèse soutenue

...verification. Last but not least, for our mupliple experimentsinvolving increasing resolution, the state spaces...

Accéder en ligne

...-interference verification using the program transformation T 515.1 Attackers’ observations for both programs in Listings 5...

Accéder en ligne

Résultats 1 à 10