Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (230)
  • Grenoble Alpes (210)
  • Paris Saclay (123)
  • Lyon (55)
  • Rennes 1 (54)
  • Paris 6 (42)
  • Bordeaux (41)
  • Aix-Marseille (39)
  • Paris Est (36)
  • Université de Lorraine (35)
  • Montpellier (34)
  • Paris Sciences et Lettres (34)
  • Toulouse 3 (33)
  • Paris, CNAM (29)
  • Pau (27)
  • Ecole centrale de Lille (26)
  • Dijon (25)
  • Paris 11 (24)
  • Côte d'Azur (19)
  • Lorient (18)
  • Sorbonne Paris Cité (18)
  • Toulouse, INPT (17)
  • Troyes (17)
  • Brest (16)
  • Nice (16)
  • Paris 5 (16)
  • Paris 1 (15)
  • Strasbourg (13)
  • Besançon (12)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (12)
  • Nantes (12)
  • Orléans (12)
  • Paris 10 (12)
  • Paris 7 (11)
  • Normandie (10)
  • Avignon (9)
  • Mulhouse (9)
  • Paris, ENST (9)
  • Toulouse, ISAE (9)
  • Clermont Auvergne (8)
  • Compiègne (8)
  • Grenoble INPG (8)
  • La Rochelle (8)
  • Le Mans (8)
  • Lille 2 (8)
  • Vandoeuvre-les-Nancy, INPL (8)
  • Bourgogne Franche-Comté (7)
  • Cachan, Ecole normale supérieure (7)
  • Evry, Institut national des télécommunications (7)
  • Paris, ENSAM (7)
  • Valenciennes (7)
  • Cergy-Pontoise (6)
  • Clermont-Ferrand 2 (6)
  • Montpellier 2 (6)
  • Nancy 1 (6)
  • Paris, ENMP (6)
  • Paris, Ecole normale supérieure (6)
  • Toulouse, INSA (6)
  • Limoges (5)
  • Littoral (5)
  • Montpellier, SupAgro (5)
  • Rennes, INSA (5)
  • Tours (5)
  • Palaiseau, Ecole polytechnique (4)
  • Paris 3 (4)
  • University of Waterloo (Canada) (4)
  • Angers (3)
  • Châtenay-Malabry, Ecole centrale de Paris (3)
  • Clermont-Ferrand 1 (3)
  • East China Normal University (Shanghai) (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é de Yaoundé I (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 3 (2)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Ecole nationale des Mines d'Albi-Carmaux (2)
  • Grenoble 1 (2)
  • La Réunion (2)
  • Lille 1 (2)
  • Paris 13 (2)
  • Paris 8 (2)
  • Reims (2)
  • Strasbourg 1 (2)
  • Toulouse 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é d'Abomey-Calavi (Bénin) (2)
  • Université de Cocody (Abidjan, Côte d'Ivoire) (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)
  • 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)
  • 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 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)
  • 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)
  • Institute of Microelectronics University of Ulm (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)
  • 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)
  • Laboratoire de catalyse organométallique et chimie de coordination (Liban) (1)
  • Le Havre (1)
  • Lille 3 (1)
  • Loughborough university (1)
  • Lyon, École normale supérieure (sciences) (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)
  • Paris, Muséum national d'histoire naturelle (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 2 (1)
  • Rennes, Agrocampus Ouest (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)
  • Technische Universität (Munich, Allemagne) (1)
  • Technische universiteit (Delft, Pays-Bas) (1)
  • Tongji university (Shanghai, Chine) (1)
  • Toulouse, ENSAE (1)
  • Universidad de Sevilla (Espagne) (1)
  • Universidad de la República (Montevideo) (1)
  • Universidad de los Andes (Bogotá) (1)
  • Universidad del País Vasco. Facultad de ciencias (1)
  • Universidad del País Vasco. Facultad de ciencias economicas (1)
  • Universidad politecnica de Madrid (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (463)
  • Physique (38)
  • Sciences et technologie industrielles (26)
  • Génie civil (23)
  • Sciences de gestion (23)
  • Sciences économiques (22)
  • Génie électrique (17)
  • Nanoélectronique et nanotechnologie (15)
  • Chimie (14)
  • Sciences de la vie et de la santé (14)
  • Mécanique (13)
  • Mathématiques (12)
  • Neurosciences (12)
  • Stic (12)
  • Informatique et applications (11)
  • Nano electronique et nano technologies (11)
  • Biologie (10)
  • Mathématiques appliquées (10)
  • Matériaux, mécanique, génie civil, électrochimie (10)
  • Sciences de l'univers (10)
  • Sciences de la terre et de l'univers, et de l'environnement (10)
  • Géographie (8)
  • Matériaux, Mécanique, Génie civil, Electrochimie (8)
  • Psychologie (8)
  • Mathématiques et Informatique (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)
  • Astronomie et Astrophysique (6)
  • Automatique (6)
  • Automatique et productique (6)
  • Biologie Santé (6)
  • Instrumentation et informatique de l'image (6)
  • Mécanique des fluides (6)
  • Optimisation et Sûreté des Systèmes (6)
  • Sciences de la Terre et de l'Univers et de l'Environnement (6)
  • Sciences de la vie (6)
  • Sciences et technologies industrielles (6)
  • Sciences pour l'ingénieur (6)
  • Signal, image, paroles, télécoms (6)
  • Systèmes automatiques et micro-électroniques (6)
  • Traitement du signal et télécommunications (6)
  • Automatique et informatique industrielle (5)
  • Biochimie et biologie moléculaire (5)
  • Biodiversité écologie environnement (5)
  • Droit (5)
  • Electronique (5)
  • Genie electrique (5)
  • Génie Civil (5)
  • Génie des procédés (5)
  • Informatique et réseaux (5)
  • Mathématiques et informatique (5)
  • Océan, atmosphère, hydrologie (5)
  • Sciences appliquées (5)
  • Sciences de l'information et de la communication (5)
  • Sciences des matériaux (5)
  • Sciences et Techniques de l'Environnement (5)
  • Électronique (5)
  • Automatique - productique (4)
  • Automatique, génie informatique, traitement du signal et des images (4)
  • Biologie marine (4)
  • Energie, Rayonnement, Plasma (4)
  • Energétique (4)
  • Epidémiologie (4)
  • Génie Industriel (4)
  • Génie industriel (4)
  • Génie industriel conception et production (4)
  • Géotechnique (4)
  • Informatique, temps réel, robotique et automatique (4)
  • Mathématiques Appliquées (4)
  • Mécanique et énergétique (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)
  • Robotique (4)
  • Sciences et génie des activités à risques (4)
  • Acoustique (3)
  • Aménagement de l'espace, Urbanisme (3)
  • Aspects moléculaires et cellulaires de la biologie (3)
  • 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)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (3)
  • Micro et nanoélectronique (3)
  • Mécanique des solides (3)
  • Physique des Particules et Astroparticules (3)
  • Science politique (3)
  • Sciences de Gestion (3)
  • Sciences de l'alimentation (3)
  • Sciences de l'environnement (3)
  • Sciences de l'éducation (3)
  • Sciences de la Terre (3)
  • Sciences du langage (3)
  • Sciences economiques (3)
  • Sciences politiques (3)
  • Sciences Économiques (3)
  • Surfaces et interfaces continentales, hydrologie (3)
  • Systèmes Mécaniques et Matériaux (3)
  • Terre solide (3)
  • Études anglophones (3)
  • Arts (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Automatique, génie informatique, traitement du signal et image (2)
  • Biophysique (2)
  • Chimie - physique (2)
  • Chimie Analytique et Environnement (2)
  • Chimie analytique (2)
  • Chimie analytique et environnementale (2)
  • Ecologie fonctionnelle (2)
  • Electronique-Electrotechnique-Automatique (2)
  • Energétique et Transferts (2)
  • Energétique et génie des procédés (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 (2)
  • Génie des Procédés et de l'Environnement (2)
  • Génie des procédés et des produits (2)
  • Génie mécanique (2)
  • Génie électrique et électronique - Cergy (2)
  • Génétique (2)
  • Géosciences (2)
  • Hydrogéologie (2)
  • Informatique temps réel, robotique et automatique (2)
  • Informatique-traitement du signal (2)
  • Informatique. Systèmes et communication (2)
  • Ingénierie Microbienne et Enzymatique (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)
  • 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, 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 (2)
  • Océanographie physique (2)
  • Oenologie (2)
  • Optique et radiofréquence (2)
  • Pharmacologie (2)
  • Philosophie (2)
  • Physiologie (2)
  • Physiologie-Physiopathogies-Pharmacologie (2)
  • Physique Quantique (2)
  • Physique appliquée (2)
  • Physique de l'environnement (2)
  • Physique des plasmas (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é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'ingénieur (2)
  • Sciences de la Vie (2)
  • Sciences de la Vie et de la Santé (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 génie des matériaux (2)
  • Sciences et techniques de l'environnement (2)
  • Sciences pour l'Ingénieur (2)
  • Sociologie (2)
  • Sociologie, démographie (2)
  • Staps (2)
  • Structures et Matériaux (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Sureté de logiciel et calcul de haute performance (2)
  • Vision pour la Robotique (2)
  • Électronique. Micro et nano technologie (2)
  • Administration publique (1)
  • Agrosystèmes, écosystèmes et environnement (1)
  • Aménagement de l'espace, urbanisme (1)
  • Anthropologie (1)
  • Architecture (1)
  • Aspect moléculaires et cellulaires de la biologie (1)
  • Aspects moléculaires et cellulaires de la biologie. Infectiologie, microbiologie (1)
  • Astronomie et astrophysique (1)
  • Astrophysique (1)
  • Astrophysique et Cosmologie (1)
  • Astrophysique et milieux dilues (1)
  • Astrophysique et milieux dilués (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (142)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (72)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (47)
  • École doctorale Informatique, télécommunications et électronique (Paris) (43)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (39)
  • École doctorale terre, univers, environnement (Grenoble) (39)
  • École doctorale physique (Grenoble) (38)
  • École doctorale Sciences pour l'Ingénieur (Lille) (36)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (33)
  • École doctorale chimie et science du vivant (Grenoble) (30)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (25)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (23)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (22)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (20)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (19)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (19)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (18)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (17)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (16)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (16)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (16)
  • École doctorale en Informatique et Mathématiques de Lyon (15)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (15)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (14)
  • I2S - Information, Structures, Systèmes (13)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (12)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (11)
  • Ecole doctorale Informatique de Paris-Sud (10)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (10)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (10)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (10)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (9)
  • Sciences et Technologies de l'Information et de la Communication (9)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (9)
  • École Doctorale Mécanique, Énergétique, Génie civil et Procédés (Toulouse) (9)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (9)
  • École doctorale Physique en Île-de-France (Paris) (9)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne) (9)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (9)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (8)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (8)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (8)
  • École doctorale Biologie-Santé (Lille) (8)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (8)
  • École doctorale Cerveau, cognition, comportement (Paris) (8)
  • École doctorale d'Économie (Paris) (8)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (8)
  • École doctorale sciences économiques (Grenoble) (8)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (7)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (7)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (7)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (7)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (7)
  • École doctorale Sciences fondamentales et appliquées (Nice) (7)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (7)
  • MATHSTIC (6)
  • Sciences Chimiques et Biologiques pour la Santé (6)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (6)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (6)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (6)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (6)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne) (6)
  • École doctorale Sciences de la matière (Rennes) (6)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (6)
  • École doctorale Sciences et Ingénierie des Matériaux, Mécanique, Energétique et Aéronautique (Poitiers ; 2009-2018) (6)
  • École doctorale Systèmes (Toulouse) (6)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (6)
  • École doctorale Économie, organisations, société (Nanterre) (6)
  • Ecole Doctorale Sciences de l'Environnement (Marseille) (5)
  • Ecole doctorale de Dauphine (Paris) (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 E2S Environnements, Santé, STIC (Dijon ; ....-2012) (5)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (5)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (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 l'environnement d'Île-de-France (Paris) (5)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (5)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (5)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (5)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (4)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (4)
  • École doctorale Frontières du vivant (4)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (4)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (4)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (4)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (4)
  • École doctorale Sciences pour l'ingénieur (Nantes) (4)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (4)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (4)
  • Ecole doctorale Sciences et technologies (Orléans) (3)
  • Electrical,Optical,Bio: PHYSICS_AND_ENGINEERING (3)
  • MATISSE (3)
  • Mécanique, Energétique, Génie Civil, Procédés (3)
  • SIE - Sciences, Ingénierie et Environnement (3)
  • École Doctorale Neurosciences et Cognition (NSCo) (3)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (3)
  • École Doctorale de Chimie (Lyon) (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 Complexité du vivant (Paris) (3)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (3)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne) (3)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (3)
  • École doctorale Ondes et Matière (2015-.... ; Orsay, Essonne) (3)
  • École doctorale Particules, Hadrons, Énergie, Noyau, Instrumentation, Imagerie, Cosmos et Simulation (Orsay, Essonne) (3)
  • École doctorale Physique et chimie des matériaux (Paris) (3)
  • École doctorale Physique et chimie-physique (Strasbourg ; 1994-....) (3)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne) (3)
  • École doctorale Sciences de l'Homme et de la Société (Cachan, Val-de-Marne) (3)
  • École doctorale Sciences de la Terre et Environnement (Strasbourg ; 2000) (3)
  • École doctorale Sciences de la nature et de l'Homme. Évolution et écologie (Paris) (3)
  • École doctorale Sciences et Environnements (Pessac, Gironde) (3)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (3)
  • École doctorale Sciences sociales (Lyon) (3)
  • École doctorale de Physique et Astrophysique de Lyon (3)
  • École doctorale de Sciences Po (Paris) (3)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne) (3)
  • École doctorale des Sciences physiques et de l’Ingénieur (Talence ; Gironde) (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 Énergie environnement (Perpignan) (3)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (3)
  • 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 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 et Physique (EM2P) (Cergy-Pontoise, Val d'Oise) (2)
  • IAEM Lorraine (2)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (2)
  • SMI - Sciences des Métiers de l'Ingénieur (2)
  • Sciences Ecologiques, Vétérinaires, Agronomiques et Bioingénieries (2)
  • Sciences pour l'ingénieur (SPI) (2)
  • VTT - Ville, Transports et Territoires (2)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (2)
  • École Doctorale Droit et Science Politique (Nanterre) (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale 60, Territoires, Temps, Sociétés et Développement (Montpellier ; 2015-....) (2)
  • École doctorale Bio Sorbonne Paris Cité (Paris) (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 Innovation thérapeutique : du fondamental à l'appliqué (2015-.... ; Châtenay-Malabry, Hauts-de-Seine) (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 Médicament, toxicologie, chimie, imageries (Paris) (2)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (2)
  • École doctorale Sciences de l'environnement (Talence ; Gironde) (2)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (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 pour l'environnement - Gay Lussac (La Rochelle ; 2009-2018) (2)
  • École doctorale Sciences pour l'ingénieur, Géosciences, Architecture (Nantes) (2)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • École doctorale Sciences économiques et gestion (Lyon) (2)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (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 Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale biologie-santé - Bio-santé (Limoges ; 2009-2018) (2)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (2)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (2)
  • École doctorale de l'École pratique des hautes études (Paris) (2)
  • École doctorale des Sciences chimiques (Talence ; Gironde) (2)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (2)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (2)
  • École doctorale École transdisciplinaire Lettres/Sciences (Paris) (2)
  • BioSE - Ecole Doctorale Biologie, Santé, Environnement (1)
  • Biologie-Santé (1)
  • Droit, Économie-Gestion, Environnement, Sociétés, Territoires (1)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • ED SI - Sciences et Ingénierie (1)
  • ED SIS 488 (1)
  • ED65 Sciences de la vie, santé, agronomie, environnement (1)
  • Ecole Doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (2000-2015 ; Paris) (1)
  • Ecole Doctorale Matériaux de Lyon (Villeurbanne) (1)
  • Ecole Doctorale Sciences Economiques et de Gestion d'Aix-Marseille (Aix-en-Provence) (1)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (1)
  • Ecole doctorale Economies, Espaces, Sociétés, Civilisations : pensée critique, politique et pratiques sociales (Paris) (1)
  • Ecole doctorale Modélisation et Instrumentation en Physique, Energie, Géosciences et Environnement (Orsay, Essonne) (1)
  • Ecole doctorale Physique de la Région Parisienne (....-2013) (1)
  • Ecole doctorale Santé, sciences, technologies (Tours) (1)
  • Ecole doctorale Sciences du Végétal (1992-2015 ; Orsay, Essonne) (1)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • Environnements - Santé (ES) (1)
  • Innovation thérapeutique : du fondamental à l'appliqué (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (968)
  • français (753)
  • 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)
  • Barkaoui Kamel (7)
  • Baudry Benoit (7)
  • Bozga Dorel Marius (7)
  • Maler Oded (7)
  • Bacha Seddik (6)
  • Marché Claude (6)
  • Naccache David (6)
  • Pétrot Frédéric (6)
  • Bard Pierre-Yves (5)
  • 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)
  • Dubois Catherine (4)
  • Giorgetti Alain (4)
  • Groz Roland (4)
  • Loulergue Frédéric (4)
  • Paulin-Mohring Christine (4)
  • Rutten Eric (4)
  • Schoenauer Marc (4)
  • Sentieys Olivier (4)
  • Sifakis Joseph (4)
  • Virieux Jean (4)
  • Wurtz Étienne (4)
  • Anghel Lorena (3)
  • Aniorté Philippe (3)
  • Barucq Hélène (3)
  • Brossier Romain (3)
  • Calvary Gaëlle (3)
  • Ciais Philippe (3)
  • Clauss Philippe (3)
  • Collart-Dutilleul Simon (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 Patrick (3)
  • Girault Alain (3)
  • Gotlieb Arnaud (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)
  • Pichardie David (3)
  • Rimpault Gérald (3)
  • Rueher Michel (3)
  • Sainrat Pascal (3)
  • Santamarina Alain (3)
  • Schmid Cordelia (3)
  • Thuiller Wilfried (3)
  • Wolff Burkhart (3)
  • Woloszyn Monika (3)
  • Zwolinski Peggy (3)
  • Abadie Stéphane (2)
  • Adam Jean-François (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)
  • Barais Olivier (2)
  • Barbier Franck (2)
  • Barthou Denis (2)
  • Bedouch Pierrick (2)
  • Benzaken Véronique (2)
  • Berger Imre (2)
  • Beroulle Vincent (2)
  • Berruet Pascal (2)
  • Bert Didier (2)
  • Besacier Laurent (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)
  • Bousquet Lydie du (2)
  • Braud Isabelle (2)
  • Brogliato Bernard (2)
  • Cachera David (2)
  • Caire Raphaël (2)
  • Caplier Alice (2)
  • Caron Jean-François (2)
  • Casalis Grégoire (2)
  • Cassé Hugues (2)
  • Castelli Eric (2)
  • Castelluccia Claude (2)
  • Cazenave Anny (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)
  • Criqui Patrick (2)
  • Cristoloveanu Sorin (2)
  • Dang Thao (2)
  • Debusschere Vincent (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)
  • Girard Antoine (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)
  • Hill David R. C. (2)
  • Hoxha Dashnor (2)
  • Isani Shaeda (2)
  • Jacquemod Gilles (2)
  • Jalby William (2)
  • Jomaah Jalal (2)
  • Jong Hidde de (2)
  • Kerr Yann H. (2)
  • Khelil Abdelouahab (2)
  • Kosmatov Nikolaï (2)
  • Kutoyants Yury A. (2)
  • Lafourcade Pascal (2)
  • Lalanda Philippe (2)
  • Lanet Jean-Louis (2)
  • Lang Frédéric (2)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (533)
  • Sciences de l'ingénieur (390)
  • Physique (146)
  • Sciences de la vie, biologie, biochimie (138)
  • Sciences de la terre (101)
  • Médecine et santé (88)
  • Mathématiques (49)
  • Chimie, minéralogie, cristallographie (49)
  • Economie (35)
  • Gestion et organisation de l'entreprise (32)
  • Informatique, information, généralités (25)
  • Astronomie, cartographie, géodésie (19)
  • Technologie (Sciences appliquées) (15)
  • Psychologie (13)
  • Agronomie, agriculture et médecine vétérinaire (12)
  • Droit (11)
  • Sciences sociales, sociologie, anthropologie (10)
  • Science politique (9)
  • Génie chimique, technologies alimentaires (8)
  • Fabrication industrielle (8)
  • Philosophie, psychologie (6)
  • Education et enseignement (5)
  • Langues et linguistique (5)
  • Linguistique générale (5)
  • Langue anglaise. Anglo-saxon (5)
  • Plantes. Botanique (5)
  • Sport (5)
  • Géographie et voyages (5)
  • Bibliothéconomie et sciences de l'information (4)
  • Sciences de la nature et mathématiques (4)
  • Bâtiments (4)
  • Commerce, communications, transports (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)
  • Paléontologie. Paléozoologie (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

1633 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