Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (59)
  • Grenoble (51)
  • Rennes 1 (35)
  • Grenoble Alpes (33)
  • Paris 6 (22)
  • Dijon (21)
  • Lyon (21)
  • Paris 11 (21)
  • Pau (20)
  • Toulouse 3 (19)
  • Troyes (17)
  • Paris 5 (16)
  • Bordeaux (14)
  • Nice (13)
  • Paris Est (12)
  • Lorient (11)
  • Paris 7 (11)
  • Montpellier (10)
  • Université de Lorraine (10)
  • Besançon (9)
  • Paris, CNAM (9)
  • Mulhouse (8)
  • Orléans (8)
  • Vandoeuvre-les-Nancy, INPL (8)
  • Brest (7)
  • Cachan, Ecole normale supérieure (7)
  • Grenoble INPG (7)
  • Paris Sciences et Lettres (7)
  • Aix-Marseille (6)
  • Nancy 1 (6)
  • Paris, ENMP (6)
  • Sorbonne Paris Cité (6)
  • Toulouse, INPT (6)
  • Côte d'Azur (5)
  • Evry, Institut national des télécommunications (5)
  • Le Mans (5)
  • Lille 2 (5)
  • Montpellier 2 (5)
  • Nantes (5)
  • Toulouse, ISAE (5)
  • Clermont-Ferrand 2 (4)
  • Limoges (4)
  • Palaiseau, Ecole polytechnique (4)
  • Paris 1 (4)
  • Paris 3 (4)
  • Paris, ENSAM (4)
  • Rennes, INSA (4)
  • Toulouse, INSA (4)
  • Avignon (3)
  • Cergy-Pontoise (3)
  • Compiègne (3)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (3)
  • La Rochelle (3)
  • Strasbourg (3)
  • University of Waterloo (Canada) (3)
  • Vaulx-en-Velin, Ecole nationale des travaux publics (3)
  • Antilles (2)
  • Châtenay-Malabry, Ecole centrale de Paris (2)
  • Clermont Auvergne (2)
  • Clermont-Ferrand 1 (2)
  • Ecole centrale de Lille (2)
  • Littoral (2)
  • Lyon, INSA (2)
  • Montpellier 3 (2)
  • Paris 10 (2)
  • Paris 13 (2)
  • Perpignan (2)
  • Reims (2)
  • Strasbourg 1 (2)
  • Télécom Bretagne (2)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (2)
  • Université Joseph Fourier (Grenoble) (2)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (2)
  • Valenciennes (2)
  • Versailles-St Quentin en Yvelines (2)
  • Paris, ENMP (1)
  • Angers (1)
  • Bordeaux 3 (1)
  • Bourges, INSA Centre Val de Loire (1)
  • Brno University of Technology (MAIS) (1)
  • Colorado state university (1)
  • Columbia university (New York) (1)
  • East China Normal University (Shanghai) (1)
  • Ecole nationale des Mines d'Albi-Carmaux (1)
  • Evry-Val d'Essonne (1)
  • Institut National Agronomique de Tunisie (1)
  • Institut Polytechnique (Hanoï) (1)
  • Institute for Physical Research (Ashtarak) (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)
  • Istituto di Ricovero e Cura a Carattere Scientifico. Fondazione Casimiro Mondino (1)
  • Johannes-Kepler-Universität (Linz, Autriche) (1)
  • Jouy-en Josas, HEC (1)
  • La Réunion (1)
  • Lille 1 (1)
  • Lille 3 (1)
  • Loughborough university (1)
  • Lyon, École normale supérieure (sciences) (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, SupAgro (1)
  • Northeastern University (Shenyang) (1)
  • Oldenburg, Carl v. Ossietzky Universität (1)
  • Paris 12 (1)
  • Paris 4 (1)
  • Paris 8 (1)
  • Paris, AgroParisTech (1)
  • Paris, ENST (1)
  • Paris, Ecole normale supérieure (1)
  • Paris, Institut d'études politiques (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, Agrocampus Ouest (1)
  • Rouen, INSA (1)
  • Saint-Etienne (1)
  • Saint-Etienne, EMSE (1)
  • Seoul National University (1)
  • Technische universiteit (Delft, Pays-Bas) (1)
  • Toulouse, ENSAE (1)
  • Tours (1)
  • UNIVERSITE D'ABOMEY-CALAVI (1)
  • Universidad de Sevilla (Espagne) (1)
  • Universidad de la República (Montevideo) (1)
  • Universidad del País Vasco (1)
  • Universidad politecnica de Madrid (1)
  • Universidade de Aveiro (Portugal) (1)
  • Universidade de São Paulo (Brésil) (1)
  • Universidade do Porto (1)
  • Universidade federal de Minas Gerais (1)
  • Université polytechnique de Madrid (Espagne) (1)
  • University de Rennes 1 (1)
  • University of Chemistry and Technology, Prague (1)
  • University of Hertfordshire (Hatfield (GB)) (1)
  • University of New South Wales (1)
  • University of Sheffield (1)
  • University of Teheran (1)
  • Università commerciale Luigi Bocconi (Milan, Italie) (1)
  • Università degli studi (Milan, Italie) (1)
  • Universität Dortmund (1)
  • Universität Hannover (1)
  • Universität Wien (1)
  • Université Huazhong des Sciences et Technologies (Wuhan, Chine) (1)
  • Université Mohammed V (Rabat) (1)
  • Université Mohammed-V Agdal, Rabat, Maroc (1)
  • Université Moulay Ismaïl (Meknès, Maroc) (1)
  • Université Saint-Joseph (Beyrouth). Ecole supérieure d'ingénieurs de Beyrouth (1)
  • Université Toulouse 1 Capitole (1)
  • Université de Cocody (Abidjan, Côte d'Ivoire) (1)
  • Université de Montréal (1)
  • Université de Saint-Louis (Sénégal) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université de Tunis El Manar (1)
  • Université de Yaoundé I (1)
  • Université du Caire (1)
  • Université du Luxembourg (1)
  • Université du Québec à Montréal (1)
  • Université européenne de Bretagne (1)
  • Univerzita Komenského (Bratislava) (1)
  • Villeneuve d'Ascq, École centrale de Lille (1)
  • Zhongguo ke xue yuan (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (241)
  • Physique (14)
  • Stic (7)
  • Génie civil (6)
  • Instrumentation et informatique de l'image (6)
  • Mathématiques (6)
  • Neurosciences (6)
  • Optimisation et Sûreté des Systèmes (6)
  • Sciences de gestion (6)
  • Automatique (5)
  • Biochimie et biologie moléculaire (5)
  • Sciences appliquées (5)
  • Sciences économiques (5)
  • Biologie (4)
  • Biologie Santé (4)
  • Chimie (4)
  • Electronique (4)
  • Génie Civil (4)
  • Informatique et applications (4)
  • Informatique, temps réel, robotique et automatique (4)
  • Mathématiques appliquées (4)
  • Mathématiques et Informatique (4)
  • Mécanique (4)
  • Psychologie (4)
  • Sciences et technologies industrielles (4)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (3)
  • Droit (3)
  • Développement Durable (3)
  • Epidémiologie (3)
  • Génie électrique (3)
  • Géotechnique (3)
  • Ingénierie Sociotechnique des Connaissances, des Réseaux et du Développement Durable (3)
  • Océan, atmosphère, hydrologie (3)
  • Sciences de l'information et de la communication (3)
  • Sciences de la vie (3)
  • Sciences et Techniques de l'Environnement (3)
  • Systèmes Mécaniques et Matériaux (3)
  • Traitement du signal et télécommunications (3)
  • Aspects moléculaires et cellulaires de la biologie (2)
  • Astronomie et Astrophysique (2)
  • Biodiversité écologie environnement (2)
  • Biologie marine (2)
  • Biophysique (2)
  • Chimie Analytique et Environnement (2)
  • Chimie analytique (2)
  • Electronique-Electrotechnique-Automatique (2)
  • Energétique (2)
  • Geographie (2)
  • Génie des Procédés et de l'Environnement (2)
  • Génie des procédés (2)
  • Génie industriel conception et production (2)
  • Géographie (2)
  • Informatique. Systèmes et communication (2)
  • Linguistique (2)
  • Linguistique anglaise (2)
  • Matériaux, Mécanique, Optique et Nanotechnologie (2)
  • Mécanique des fluides (2)
  • Mécanique des matériaux (2)
  • Mécanique et énergétique (2)
  • Physique Quantique (2)
  • Physique de la matière condensée et du rayonnement (2)
  • Physique et Chimie des Matériaux (2)
  • Réseaux, télécoms, systèmes et architecture (2)
  • Science et Génie des Matériaux (2)
  • Science politique (2)
  • Sciences de l'alimentation (2)
  • Sciences de la terre (2)
  • Sciences de la terre et de l'univers et de l'environnement (2)
  • Sciences de la terre et de l'univers, et de l'environnement (2)
  • Sciences des matériaux (2)
  • Sciences du langage (2)
  • Sciences et technologie industrielles (2)
  • Sciences pour l'ingénieur (2)
  • Signal, image, paroles, télécoms (2)
  • Sureté de logiciel et calcul de haute performance (2)
  • Terre solide (2)
  • Électronique (2)
  • Études anglophones (2)
  • Acoustique (1)
  • Agrosystèmes, écosystèmes et environnement (1)
  • Aménagement de l'espace, Urbanisme (1)
  • Astrophysique et Cosmologie (1)
  • Astrophysique et milieux dilues (1)
  • Astrophysique, sciences de l'espace, planétologie (1)
  • Automatique et traitement du signal et des images (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Aéronautique et Astronautique (1)
  • Biochimie (1)
  • Bioinformatique (1)
  • Biologie Cellulaire et Moléculaire (1)
  • Biologie-santé. Recherche clinique, évaluation des risques, épidémiologie (1)
  • Biomécanique et ingénierie pour la santé (AM) (1)
  • Biotechnologie (1)
  • Biotechnologie : Unité de recherche Génie Enzymatique et Cellulaire - GEC (FRE-3580) (1)
  • Biotechnologies (1)
  • Biothérapies et biotechnologies (1)
  • Chimie - physique (1)
  • Chimie Physique Moléculaire et Structurale (1)
  • Chimie analytique et Environnement (1)
  • Chimie analytique et environnementale (1)
  • Chimie analytique, Environnement et matériaux (1)
  • Chimie des matériaux (1)
  • Chimie et physicochimie des matériaux (1)
  • Chimie moléculaire (1)
  • Chimie physique (1)
  • Chimie. Radiochimie (1)
  • Complexité du Vivant (1)
  • Conception (1)
  • Conception des systèmes hétérogènes (1)
  • Constituants élémentaires et physique théorique (1)
  • Cosmologie (1)
  • Didactique des langues, cultures et civilisations nationales et étrangères (1)
  • Droit Public (1)
  • Dynamique des Fluides (1)
  • Ecologie (1)
  • Ecologie et Biodiversité (1)
  • Electronique et optoélectronique, nano et microtechnologies (1)
  • Energétique et Génie des Procédés (1)
  • Energétique et Procédés (1)
  • Energétique, thermique et combustion (1)
  • Ergonomie (1)
  • Frontières du vivant (1)
  • Genie electrique (1)
  • Gestion (1)
  • Génie Biomédical (1)
  • Génie civil - Cergy (1)
  • Génie civil - hydrosystèmes - géotechnique (1)
  • Génie des procédés et des produits (1)
  • Génie industriel (1)
  • Génie mécanique (1)
  • Génie mécanique. Mécanique des fluides et énergétique (1)
  • Génétique (1)
  • Génétique et Génomique Moléculaire (1)
  • Génétique humaine (1)
  • Géochimie (1)
  • Géophysique (1)
  • Hydrogéologie (1)
  • Hydrologie et hydrogéologie quantitatives (1)
  • Hydrologie, sédimentologie (1)
  • Image, Vision, Signal (1)
  • Imagerie et physique médicale (1)
  • Immunologie (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et Télécommunications (1)
  • Informatique et applications (1)
  • Informatique et réseaux (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique, Télécommunication et Électronique (1)
  • Ingénierie Microbienne et Enzymatique (1)
  • Ingénierie de la conception : Unité de recherche COSTECH (EA-2223) (1)
  • Ingénierie des fonctions biologiques (1)
  • Mathématiques Appliquées (1)
  • Mathématiques et informatique (1)
  • Mathématiques-Informatique (1)
  • Matière condensée et Nanosciences (1)
  • Micro et nanosystèmes (1)
  • Micro-électronique (1)
  • Microbiologie (1)
  • Microbiologie/Parasitologie (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique et Génie Civil (1)
  • Mécanique - Génie civil (1)
  • Mécanique et Ingénierie (1)
  • Mécanique. Génie mécanique. Génie civil (1)
  • Médecine (1)
  • Météorologie, océanographie, physique de l'environnement (1)
  • Nano electronique et nano technologies (1)
  • Nanomédecine (1)
  • Nanophysique (1)
  • Nanoélectronique et nanotechnologie (1)
  • Neuroscience (1)
  • Neurosciences - Neurobiologie (1)
  • Océan, Atmosphère et Hydrologie (1)
  • Océan, atmosphère et surfaces continentales (1)
  • Océan, atmosphère, climat (1)
  • Océanographie physique (1)
  • Océanographie spatiale (1)
  • Optique Quantique (1)
  • Optique, optoélectronique, microondes (1)
  • Pathologie humaine (1)
  • Pharmacochimie moléculaire (1)
  • Pharmacologie (1)
  • Pharmacologie fondamentale (1)
  • Philosophie (1)
  • Physico-Chimie de la Matière Condensée (1)
  • Physico-chimie de la matière condensée (1)
  • Physicochimie théorique (1)
  • Physiologie (1)
  • Physiologie et biologie des organismes - populations - interactions (1)
  • Physiologie et biologie des organismes-populations-interactions (1)
  • Physiologie, biologie des organismes, populations, interactions (1)
  • Physiologie, physiopathologie (1)
  • Physique de l'atmosphère (1)
  • Physique des Particules et Astroparticules (1)
  • Physique pour les sciences du vivant (1)
  • Physique théorique (1)
  • Physique/Informatique (1)
  • Polymères (1)
  • Psycholinguistique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (37)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (33)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (20)
  • École doctorale Informatique, télécommunications et électronique (Paris) (18)
  • Ecole doctorale Sciences et Technologies (Troyes, Aube) (17)
  • École doctorale Sciences exactes et leurs applications. UFR Sciences et Techniques (Pau) (17)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (15)
  • École doctorale terre, univers, environnement (Grenoble) (14)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (12)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (11)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (10)
  • École doctorale physique (Grenoble) (9)
  • Ecole doctorale Sciences des métiers de l'ingénieur (Paris) (8)
  • École Doctorale d'Informatique et Mathématiques (Lyon) (8)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (8)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (8)
  • Ecole doctorale Informatique de Paris-Sud (7)
  • École doctorale Sciences de l’univers, de l’environnement et de l’espace (Toulouse) (7)
  • École doctorale chimie et science du vivant (Grenoble) (7)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (6)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (6)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (Villeurbanne) (5)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (5)
  • Sciences et Technologies de l'Information et de la Communication (5)
  • École doctorale Biologie-Santé (Lille) (5)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (5)
  • École doctorale Environnements, Santé (Dijon ; Besançon ; 2012-....) (5)
  • École doctorale Sciences de la matière (Rennes) (5)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (5)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (5)
  • Sciences Chimiques et Biologiques pour la Santé (4)
  • École doctorale Astronomie et Astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (4)
  • École doctorale Cerveau, cognition, comportement (Paris) (4)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (4)
  • École doctorale Frontières du vivant (4)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (4)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg) (4)
  • École doctorale Physique en Île-de-France (Paris) (4)
  • École doctorale Systèmes (Toulouse) (4)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (3)
  • Ecole doctorale Sciences et technologies (Orléans) (3)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (3)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (3)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (3)
  • École Doctorale Sciences de la Matière (Toulouse) (3)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (3)
  • École doctorale Cognition, comportements, conduites humaines (Boulogne-Billancourt) (3)
  • École doctorale Complexité du vivant (Paris) (3)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (3)
  • École doctorale Sciences Mécaniques et Energétiques, Matériaux et Géosciences (Cachan, Val-de-Marne) (3)
  • École doctorale Sciences de la mer (Plouzané, Finistère) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (3)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (3)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (3)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (2)
  • Ecole Doctorale Sciences de la Vie et de la Santé (Marseille) (2)
  • Ecole Doctorale d'Informatique, Télécommunications et Electronique (EDITE) (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)
  • GAIA - Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (2)
  • IAEM Lorraine (2)
  • MATISSE (2)
  • Mécanique, Energétique, Génie Civil, Procédés (2)
  • Sciences pour l'ingénieur (SPI) (2)
  • École Doctorale Electronique, Electrotechnique, Automatique (Lyon) (2)
  • École Doctorale de Chimie (Lyon) (2)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (2)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne) (2)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (2)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (2)
  • École doctorale Electrical, optical, bio-physics and engineering (Orsay, Essonne) (2)
  • École doctorale Entreprise, économie, société (Pessac, Gironde) (2)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (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 Médicament, toxicologie, chimie, imageries (Paris) (2)
  • École doctorale Physique et chimie des matériaux (Paris) (2)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (2)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges) (2)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques - S2IM (Limoges) (2)
  • École doctorale Sciences humaines et sociales (Rennes) (2)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (2)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • École doctorale Sciences sociales et humanités (Pau) (2)
  • École doctorale biologie-santé - Bio-santé (Limoges) (2)
  • École doctorale d'Économie (Paris) (2)
  • École doctorale de Physique et d’Astrophysique (Lyon) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale des Sciences chimiques (Talence ; Gironde) (2)
  • École doctorale des sciences chimiques (Talence, Gironde) (2)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (2)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (2)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (2)
  • École doctorale Énergie environnement (Perpignan) (2)
  • 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)
  • 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 du Mouvement Humain (Marseille) (1)
  • Ecole doctorale 483 « Sciences sociales » (1)
  • Ecole doctorale Arts et Métiers (Paris) (1)
  • Ecole doctorale Langages, Idées, Sociétés, Institutions, Territoires (Dijon ; 2007-2016) (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 Sciences Pour l'Ingénieur et Microtechniques (Besançon) (1)
  • Ecole doctorale Sciences du Végétal (1992-2015 ; Orsay, Essonne) (1)
  • Ecole doctorale de Dauphine (Paris) (1)
  • Ecole doctorale Économie, Management, Mathématiques et Physique (EM2P) (Cergy-Pontoise, Val d'Oise) (1)
  • Electrical,Optical,Bio: PHYSICS_AND_ENGINEERING (1)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (1)
  • I2S - Information, Structures, Systèmes (1)
  • Innovation thérapeutique : du fondamental à l'appliqué (1)
  • Institut d'études politiques (Paris). École doctorale (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques et STIC (MathSTIC) (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • Milieu insulaire tropical : dynamiques de développement, sociétés, patrimoine et culture dans l'espace Caraïbes-Amériques (ED 588) (1)
  • Particules, hadrons, énergie et noyaux: Instrumentation, Imagerie, Cosmos et Simulation (1)
  • Physique (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; ...-2014) (1)
  • Sciences Ecologiques, Vétérinaires, Agronomiques et Bioingénieries (1)
  • Sciences Mathématiques de Paris Centre (1)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (1)
  • VTT - Ville, Transports et Territoires (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École Doctorale Génie Électrique, Électronique et Télécommunications (Toulouse) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École Doctorale Mécanique, Energétique, Génie Civil, Acoustique (Lyon) (1)
  • École Doctorale Mécanique, Énergétique, Génie civil et Procédés (Toulouse) (1)
  • École Doctorale Neurosciences et Cognition (NSCo) (1)
  • École Doctorale Sciences de Gestion (Toulouse) (1)
  • École Doctorale cognition, langage, interaction (Saint-Denis, Seine-Saint-Denis) (1)
  • École Doctorale de Biologie Moléculaire Intégrative et Cellulaire (Lyon) (1)
  • École Doctorale de Droit et de Science Politique (Nanterre) (1)
  • École doctorale 60, Territoires, Temps, Sociétés et Développement (Montpellier ; ....-2014) (1)
  • École doctorale 60, Territoires, Temps, Sociétés et Développement (Montpellier ; 2015-....) (1)
  • École doctorale Arts, lettres, langues (Rennes) (1)
  • École doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École doctorale Biochimie, biothérapies, biologie moléculaire, infectiologie (2009-2013 ; Paris) (1)
  • École doctorale Biologie et biotechnologie (1997-2014 ; Paris) (1)
  • École doctorale Biologie-Santé Nantes-Angers (1)
  • École doctorale Carnot (Dijon ; .....-2012) (1)
  • École doctorale Chimie physique et chimie analytique de Paris Centre (Paris) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Génétique, cellulaire, immunologie, infectiologie et développement (....-2013 ; Paris) (1)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (1)
  • École doctorale Histoire, géographie, aménagement, urbanisme, archéologie, sciences politiques, sociologie, anthropologie (Lyon) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Matériaux, Matières, Molécules en Pays de la Loire (3MPL) (Le Mans) (1)
  • École doctorale Médicament, toxicologie, chimie, environnement (2010-2013 ; Paris) (1)
  • École doctorale Ondes et Matière (2015-.... ; Orsay, Essonne) (1)
  • École doctorale Physique et chimie-physique (Strasbourg) (1)
  • École doctorale Santé publique (2000-2015 ; Paris) (1)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences chimiques (Strasbourg) (1)
  • École doctorale Sciences chimiques : molécules, matériaux, instrumentation et biosystèmes (Orsay, Essonne) (1)
  • École doctorale Sciences de l'Homme et de la Société (Cachan, Val-de-Marne) (1)
  • École doctorale Sciences de l'homme et de la société (Orléans) (1)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences de la nature et de l'Homme. Évolution et écologie (Paris) (1)
  • École doctorale Sciences du Management Gestion-Organisation-Décision-Information (Paris) (1)
  • École doctorale Sciences du Végétal : du gène à l'écosystème (2015-.... ; Orsay, Essonne) (1)
  • École doctorale Sciences du sport, de la motricité et du mouvement humain (2015-.... ; Orsay, Essonne) (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences pour l'ingénieur (Nantes) (1)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (1)
  • École doctorale Sciences économiques et gestion (Lyon) (1)
  • École doctorale Sciences, Ingénierie et Environnement (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Structure et Dynamique des Systèmes Vivants (Gif-sur-Yvette, Essonne) (1)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (1)
  • École doctorale de droit et sciences humaines (Cergy-Pontoise, Val-d'Oise) (1)
  • École doctorale de droit public et de droit fiscal (Paris) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne) (1)
  • École doctorale des Sciences de la vie et de la santé (Bordeaux) (1)
  • École doctorale des sciences fondamentales (Clermont-Ferrand) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale pluridisciplinaire (Pointe-à-Pitre) (1)
  • École doctorale sciences de l'homme, du politique et du territoire (Grenoble) (1)
  • École doctorale sciences pour l'environnement - Gay Lussac (La Rochelle) (1)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (385)
  • français (298)
  • polonais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Jensen Thomas (11)
  • Baudry Benoit (5)
  • Blazy Sandrine (5)
  • Marché Claude (5)
  • Barthe Gilles (4)
  • Bouajjani Ahmed (4)
  • Loulergue Frédéric (4)
  • Paulin-Mohring Christine (4)
  • Filliâtre Jean-Christophe (3)
  • Genet Thomas (3)
  • Giorgetti Alain (3)
  • Gotlieb Arnaud (3)
  • Iosif Radu (3)
  • Kouchnarenko Olga (3)
  • Muller Jean-Michel (3)
  • Méhaut Jean-François (3)
  • Nicolle Christophe (3)
  • Oquendo Flavio (3)
  • Pétrot Frédéric (3)
  • Rueher Michel (3)
  • Sainrat Pascal (3)
  • Wolff Burkhart (3)
  • Aglzim El-Hassane (2)
  • Anghel Lorena (2)
  • Aniorté Philippe (2)
  • Barais Olivier (2)
  • Barbier Franck (2)
  • Bensalem Saddek (2)
  • Benzaken Véronique (2)
  • Bhargavan Karthikeyan (2)
  • Boldo Sylvie (2)
  • Bonilla Luis Fabián (2)
  • Boniol Frédéric (2)
  • Boochs Frank (2)
  • Brossier Romain (2)
  • Cassé Hugues (2)
  • Clauss Philippe (2)
  • Collavizza Hélène (2)
  • Donard Olivier (2)
  • Gastin Paul (2)
  • Goubault Éric (2)
  • Goubault-Larrecq Jean (2)
  • Gravier Guillaume (2)
  • Guéron Jacqueline (2)
  • Hill David R. C. (2)
  • Irigoin François (2)
  • Jalby William (2)
  • Julliand Jacques (2)
  • Kutoyants Yury A. (2)
  • Lakhnech Yassine (2)
  • Lanet Jean-Louis (2)
  • Le Cardinal Julie (2)
  • Le Moyne Luis (2)
  • Le gall Pascale (2)
  • Leroy Xavier (2)
  • Lescanne Pierre (2)
  • Maler Oded (2)
  • Marangozova Vania (2)
  • Maraninchi Florence (2)
  • Marion Jean-Yves (2)
  • Mercklé Jean (2)
  • Merz Stephan (2)
  • Monin Jean-François (2)
  • Monniaux David (2)
  • Montay Guillaume (2)
  • Morineau Thierry (2)
  • Méry Dominique (2)
  • Palamidessi Catuscia (2)
  • Parissis Ioannis (2)
  • Pierron Fabrice (2)
  • Pouzet Marc (2)
  • Puaut Isabelle (2)
  • Rusinowitch Michaël (2)
  • Sadou Salah (2)
  • Santana Miguel (2)
  • Schoenauer Marc (2)
  • Sentieys Olivier (2)
  • Teytaud Olivier (2)
  • Thibon Christian (2)
  • Thuillier Sandrine (2)
  • Touili Tayssir (2)
  • Vincent Nicole (2)
  • Virieux Jean (2)
  • Abadie Stéphane (1)
  • Abbadie Luc (1)
  • Aboutajdine Driss (1)
  • Adam Michel (1)
  • Adolphe Dominique (1)
  • Adragna Pierre-Antoine (1)
  • Afifi Hossam (1)
  • Afonso Gallegos Ana (1)
  • Ahmadi Aras (1)
  • Aichelin Jörg (1)
  • Aifa Mohamed-Tahar (1)
  • Aiguier Marc (1)
  • Aktouf Oum-El-Kheir (1)
  • Alla Hassane Lotfi (1)
  • Allorge Delphine (1)
  • Aly Mohamad (1)
  • Amalric Marianne (1)
  • Ammi Chantal (1)
  • Andrade-Campos António Gil D'orey de (1)
  • Andreff Nicolas (1)
  • Andreu David (1)
  • Andrews John (1)
  • Angot Thierry (1)
  • Anquetin Sandrine (1)
  • Antoniu Gabriel (1)
  • Arenou Frédéric (1)
  • Arnaud Catherine (1)
  • Asperti Andréa (1)
  • Assad Safwan el- (1)
  • Atifi Hassan (1)
  • Attali Isabelle (1)
  • Aubin Véronique (1)
  • Aubry Denis (1)
  • Autiero Dario (1)
  • Aït-Ameur Yamine (1)
  • Babusiaux Carine (1)
  • Bacher Cédric (1)
  • Bahsoun Jean-Paul (1)
  • Baillet Laurent (1)
  • Bajkowski Jerzy (1)
  • Balat Vincent (1)
  • Baldas Lucien (1)
  • Banks David (1)
  • Banuls Anne-Laure (1)
  • Baratchart Laurent (1)
  • Bard Pierre-Yves (1)
  • Barkaoui Kamel (1)
  • Barot Sébastien (1)
  • Barrat Jean-Louis (1)
  • Barret Didier (1)
  • Barthou Denis (1)
  • Bartoli Adrien (1)
  • Bartout Pascal (1)
  • Barucq Hélène (1)
  • Bastin Sophie (1)
  • Baumard Philippe (1)
  • Beauseroy Pierre (1)
  • Beghin Laurent (1)
  • Bellaïche Yohanns (1)
  • Benammar Elgaaied Amel (1)
  • Benavides David (1)
  • Benbernou Salima (1)
  • Benchaouir Rachid (1)
  • Benezeth Yannick (1)
  • Benoit Alain (1)
  • Benoit Anne (1)
  • Bensrhair Abdelaziz (1)
  • Bera Michel (1)
  • Berger Imre (1)
  • Bergez Jacques-Eric (1)
  • Bernard Pascal (1)
  • Berroir Jean-Marc (1)
  • Berruet Pascal (1)
  • Berry Gérard (1)
  • Bert Didier (1)
  • Berthomieu Bernard (1)
  • Bertin Nancy (1)
  • Bertot Yves (1)
  • Bertrand Nathalie (1)
  • Besacier Laurent (1)
  • Best Eike (1)
  • Bijl Hester (1)
  • Biémi Jean (1)
  • Blanc Christine (1)
  • Blanco Éric (1)
  • Blanqui Frédéric (1)
  • Boelle Jean-Luc (1)
  • Boggio-Pasqua Martial (1)
  • Boitel-Conti Michèle (1)
  • Bontempi Bruno (1)
  • Bony Sandrine (1)
  • Bou Maroun Elias (1)
  • Boucher Jean-Luc (1)
  • Bouchiat Vincent (1)
  • Bouhouch Khaled (1)
  • Bourcier Johann (1)
  • Bourennane El-Bay (1)
  • Bourgeois Dominique (1)
  • Bourgeois Olivier (1)
  • Bouvier Michel Rolland (1)
  • Bouyer-Decitre Patricia (1)
  • Bozga Dorel Marius (1)
  • Braud Isabelle (1)
  • Bravin Alberto (1)
  • Breton Vincent (1)
  • Brice Alexis (1)
  • Brost Vincent (1)
  • Bréban Maxime (1)
  • Buclet Nicolas (1)
  • Buhan Patrick de (1)
  • Bun Sok-Siya (1)
  • Burdy Lilian (1)
  • Burgisser Alain (1)
  • Bégout Anras Marie-Laure (1)
  • Bérenguer Christophe (1)
  • Caboche Gilles (1)
  • Cachera David (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (272)
  • Sciences de l'ingénieur (129)
  • Physique (51)
  • Sciences de la vie, biologie, biochimie (50)
  • Sciences de la terre (41)
  • Médecine et santé (32)
  • Chimie, minéralogie, cristallographie (29)
  • Mathématiques (18)
  • Informatique, information, généralités (16)
  • Gestion et organisation de l'entreprise (11)
  • Economie (9)
  • Science politique (7)
  • Psychologie (6)
  • Astronomie, cartographie, géodésie (6)
  • Droit (5)
  • Fabrication industrielle (5)
  • Sciences sociales, sociologie, anthropologie (4)
  • Langues et linguistique (4)
  • Technologie (Sciences appliquées) (4)
  • Linguistique générale (3)
  • Génie chimique, technologies alimentaires (3)
  • Bibliothéconomie et sciences de l'information (2)
  • Philosophie, psychologie (2)
  • Langue anglaise. Anglo-saxon (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Sport (2)
  • Géographie et voyages (2)
  • Histoire ancienne et préhistoire (2)
  • Commerce, communications, transports (1)
  • Langues romanes. Français (1)
  • Sciences de la nature et mathématiques (1)
  • Paléontologie. Paléozoologie (1)
  • Plantes. Botanique (1)
  • Bâtiments (1)
  • Arts du spectacle, loisirs (1)
  • Géographie et histoire (1)

Domaines :

Fullscreen

666 thèses pour Program verification

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
Informatique

Soutenue en 1985
thèse soutenue

Résultats 1 à 10